diff options
| author | Camil Staps | 2018-10-23 21:12:40 +0200 |
|---|---|---|
| committer | Camil Staps | 2018-10-23 21:12:40 +0200 |
| commit | fa29357e40327367f063509ecab98f7df9e6e161 (patch) | |
| tree | 423ce02dcefe0a56a49fa2876de705c25c85de36 /make_abc.sh | |
| parent | Update readme and Clean version (diff) | |
Bring up to date
Diffstat (limited to 'make_abc.sh')
| -rwxr-xr-x | make_abc.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/make_abc.sh b/make_abc.sh index e82de6e..1f7d5fd 100755 --- a/make_abc.sh +++ b/make_abc.sh @@ -1,5 +1,5 @@ #!/bin/bash -libs="ArgEnv Directory Dynamics Gast Generics MersenneTwister StdEnv TCPIP Platform Platform/Deprecated/StdLib" +libs="Directory Dynamics Gast GraphCopy StdEnv TCPIP Platform Platform/Deprecated/ArgEnv Platform/Deprecated/Generics Platform/Deprecated/MersenneTwister Platform/Deprecated/StdLib" shopt -s globstar for lib in $libs do @@ -10,6 +10,6 @@ do if [[ "$mod" == "**/*.icl" ]]; then continue; fi mod="${mod/.icl/}" mod="${mod/\//.}" - clm $(echo "-I /opt/clean/lib/${libs// / -I \/opt\/clean\/lib\/}") -ABC "$mod" + clm $(echo "-IL ${libs// / -IL }") -ABC "$mod" done done |