From fa29357e40327367f063509ecab98f7df9e6e161 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Tue, 23 Oct 2018 21:12:40 +0200
Subject: Bring up to date

---
 make_abc.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'make_abc.sh')

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
-- 
cgit v1.2.3