aboutsummaryrefslogtreecommitdiff
path: root/compile.c
diff options
context:
space:
mode:
authorMart Lubbers2018-01-23 14:17:19 +0100
committerCamil Staps2018-01-23 14:34:55 +0100
commitaaee9e0244f953e8076037c32ed31207dd378f5d (patch)
tree59de29148cb449b85b808c3a5b0b8032d92471b8 /compile.c
parentUpdate for debian stretch (diff)
Add a local lib directory
This allows people to mount their local directory to /opt/clean/lib/Local and import the files from it. This can be extended to allow more mounting in /opt/clean/lib and let the clm command import all directories from there but not with this commit.
Diffstat (limited to 'compile.c')
-rw-r--r--compile.c1
1 files changed, 1 insertions, 0 deletions
diff --git a/compile.c b/compile.c
index 7378343..a991dbf 100644
--- a/compile.c
+++ b/compile.c
@@ -78,6 +78,7 @@ int64_t compile(CleanString path, CleanString module) {
"-I $CLEAN_HOME/lib/Platform/Deprecated/ArgEnv "
"-I $CLEAN_HOME/lib/Platform/Deprecated/MersenneTwister "
"-I $CLEAN_HOME/lib/Platform/Deprecated/StdLib "
+ "-I $CLEAN_HOME/lib/Local "
"-b -nt -h 20M %s -o %s",
pathchars, modulechars, modulechars);