Merge pull request #246 from MatthewFluet/mlton-script-with-gmp-dir

Fix definitions of `gmp{CC,Link}Opts` in `./bin/mlton-script`
MLton · Feb 7, 2018 · c9dcd2f · c9dcd2f
2 parents 1d08ef1 + 4affc6e
commit c9dcd2f
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/bin/mlton-script b/bin/mlton-script
@@ -62,12 +62,12 @@ CC="gcc"
 # You may need to set 'GMP_INC_DIR' so the C compiler can find gmp.h.
 GMP_INC_DIR=
 if [ -n "$GMP_INC_DIR" ]; then
-gmpCCOpts="-cc-opt '-I$GMP_INC_DIR'"
+gmpCCOpts="-cc-opt -I$GMP_INC_DIR"
 fi
 # You may need to set 'GMP_LIB_DIR' so the C compiler can find libgmp.
 GMP_LIB_DIR=
 if [ -n "$GMP_LIB_DIR" ]; then
-gmpLinkOpts="-link-opt '-L$GMP_LIB_DIR' -target-link-opt netbsd '-Wl,-R$GMP_LIB_DIR'"
+gmpLinkOpts="-link-opt -L$GMP_LIB_DIR -target-link-opt netbsd -Wl,-R$GMP_LIB_DIR"
 fi
 
 doit "$lib" \