Add dist to --gf-lib-path in Make.sh

Otherwise an externally set GF_LIB_PATH will mess it up Might also need to make same change in Make.hs
2018-08-10 18:27:19 +02:00
parent 0fe46a6d17
commit 989c6f5893
1 changed files with 1 additions and 1 deletions
--- a/Make.sh
+++ b/Make.sh
@@ -53,7 +53,7 @@ fi
 # A few more definitions before we get started
 src="src"
 dist="dist"
-gfc="${gf} --batch --quiet"
+gfc="${gf} --batch --quiet --gf-lib-path=${dist}"

 # Make directories if not present
 mkdir -p "${dist}/prelude"