[MLton-user] mlton script typo
Vesa Karvonen
vesa.a.j.k at gmail.com
Fri Oct 12 04:47:20 PDT 2007
On 10/10/07, Petersen, Leaf <leaf.petersen at intel.com> wrote:
> There seems to be a minor problem with the /bin/mlton script in the new
> cygwin binary release (20070826). Specifically, the binding of the lib
> variable on line 8 is given as:
>
> lib='//lib/mlton'
>
> instead of:
>
> lib='/lib/mlton'
>
> The former generates a syntax error from bash. Easily diagnosed and
> fixed, but I thought I'd mention it.
I think that the /bin/mlton script is generated by the root Makefile
and the following patch should fix the above problem:
Index: Makefile
===================================================================
--- Makefile (revision 6066)
+++ Makefile (working copy)
@@ -362,7 +362,7 @@
DESTDIR := $(CURDIR)/install
PREFIX := /usr
ifeq ($(TARGET_OS), cygwin)
-PREFIX := /
+PREFIX :=
endif
ifeq ($(TARGET_OS), darwin)
PREFIX := /usr/local
Unfortunately, I can't test this, because I don't have a Windows
machine (hardware donations are welcome :-)). So, if someone would
test that this works correctly (by building MLton under Windows+Cygwin
*after* applying the above patch), I could then commit the patch.
-Vesa Karvonen
More information about the MLton-user
mailing list