diff options
author | Mart Lubbers | 2018-01-23 14:17:19 +0100 |
---|---|---|
committer | Camil Staps | 2018-01-23 14:34:55 +0100 |
commit | aaee9e0244f953e8076037c32ed31207dd378f5d (patch) | |
tree | 59de29148cb449b85b808c3a5b0b8032d92471b8 /compile.c | |
parent | Update 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.c | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -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); |