diff --git a/Make.sh b/Make.sh index 30a8bfc8a..97870d31d 100755 --- a/Make.sh +++ b/Make.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash # --- # Non-Haskell RGL build script for Unix-based machines @@ -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" diff --git a/README.md b/README.md index acca5ba7d..4cd0b2449 100644 --- a/README.md +++ b/README.md @@ -79,11 +79,12 @@ clean - `CMDS` is one or more of: `prelude`, -`all` (default), +`all`, `lang`, `api`, `compat`, or an explicit module name (e.g. `ExtraEng.gf`. You don't need to specify to language subdirectory, but there is a restriction that the module must exist in a **direct** subdirectory of `src`). +If ommitted, the default command is `prelude all`. - `MODE` is one of: `present`, `alltenses`