Fixing installation process
authorAdam Chlipala <adamc@hcoop.net>
Wed, 22 Sep 2004 03:07:33 +0000 (03:07 +0000)
committerAdam Chlipala <adamc@hcoop.net>
Wed, 22 Sep 2004 03:07:33 +0000 (03:07 +0000)
BUILDING
build

index fc10ec6..f978244 100644 (file)
--- a/BUILDING
+++ b/BUILDING
@@ -27,10 +27,6 @@ variable definition in src/config.sml to a different path, or you can
 leave it as is and provide all configuration in the local mlt.conf
 file for each project.
 
-You should also edit the paths in the simple install script in this
-directory if you want to install system-wide binaries and scripts to
-somewhere besides /usr/local/bin.
-
 These changes may be made for you by a fancy configuration program in
 a future release.
 
diff --git a/build b/build
index 05add6d..803d915 100755 (executable)
--- a/build
+++ b/build
@@ -3,6 +3,7 @@
 source settings
 
 echo $SMLBIN/sml @SMLload=$BIN/mlt.$PLATFORM >src/mlt
+chmod +x src/mlt
 
 cd src