[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