X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=clean%2F.local%2Fbin%2Finstall_clean.sh;h=e9be47eb0659e1d8c82ce9a7e063cc3d790fbdd7;hb=HEAD;hp=745a9e110d1ad4c9539cedfca688864b00ccf207;hpb=32a0f89bc0eea5252e432f626d16b7ecdddcc97f;p=dotfiles.git

diff --git a/clean/.local/bin/install_clean.sh b/clean/.local/bin/install_clean.sh
index 745a9e1..e9be47e 100755
--- a/clean/.local/bin/install_clean.sh
+++ b/clean/.local/bin/install_clean.sh
@@ -1,107 +1,31 @@
-#!/bin/sh
-cd /tmp
-curl ftp://ftp.cs.ru.nl/pub/Clean/builds/linux-x64/clean-bundle-complete-linux-x64-latest.tgz | tar -xz
-rm -rf /opt/clean
-mv clean-bundle-complete /opt/clean
+#!/bin/bash
+set -e
 
-patch /opt/clean/lib/StdEnv/StdGeneric.dcl <<EOPATCH
---- StdGeneric.dcl	2018-12-17 02:43:55.000000000 +0100
-+++ StdGeneric.dcl	2018-12-17 11:06:09.196234236 +0100
-@@ -64,6 +64,16 @@
- derive bimap FIELD
- derive bimap (->)
- 
-+generic binumap a b | binumap b a :: a -> b
-+derive binumap c
-+derive binumap PAIR
-+derive binumap EITHER
-+derive binumap OBJECT
-+derive binumap CONS
-+derive binumap RECORD
-+derive binumap FIELD
-+derive binumap (->)
-+
- // HACK: dictionaries for all generics.
- // It works since all generic classes have only one method and do not inherit 
- // from other classes
-EOPATCH
+if [ $# -ne 1 ]
+then
+	echo "Usage: $0 [x86|x64]"
+	exit 1
+fi
 
-patch /opt/clean/lib/StdEnv/StdGeneric.icl <<EOPATCH
---- StdGeneric.icl	2018-12-17 02:43:55.000000000 +0100
-+++ StdGeneric.icl	2018-12-17 11:06:09.196234236 +0100
-@@ -21,6 +21,23 @@
- 
- bimap{|(->)|} _ ba fr _ f = comp3 fr f ba
- 
-+binumap{|c|} x = x
-+
-+binumap{|PAIR|} fx _ fy _ (PAIR x y) = PAIR (fx x) (fy y)
-+
-+binumap{|EITHER|} fl _ fr _ (LEFT x) 	= LEFT (fl x)
-+binumap{|EITHER|} fl _ fr _ (RIGHT x)	= RIGHT (fr x)
-+
-+binumap{|CONS|} fx _ (CONS x) = CONS (fx x)
-+
-+binumap{|RECORD|} fx _ (RECORD x) = RECORD (fx x)
-+
-+binumap{|FIELD|} fx _ (FIELD x) = FIELD (fx x)
-+
-+binumap{|OBJECT|} fx _ (OBJECT x) = OBJECT (fx x)
-+
-+binumap{|(->)|} _ ba fr _ f = comp3 fr f ba
-+
- comp3 :: !(.a -> .b) u:(.c -> .a) !(.d -> .c) -> u:(.d -> .b)
- comp3 f g h
- 	| is_id f
-EOPATCH
+DISTRO="https://ftp.cs.ru.nl/Clean/builds/linux-$1/clean-bundle-complete-linux-$1-latest.tgz"
+TAGS="https://gitlab.com/cloogle/periphery/cloogle-tags/-/jobs/artifacts/master/raw/cloogletags?job=build"
+CLMMAN="https://gitlab.science.ru.nl/clean-and-itasks/clm/raw/master/clm.1"
+CP2CG="https://gitlab.science.ru.nl/clean-and-itasks/cleanprof2callgrind/-/jobs/artifacts/master/raw/cleanprof2callgrind?job=test"
+CLEAN_HOME="/opt/clean-$1"
 
-patch /opt/clean/etc/IDEEnvs <<EOPATCH
---- IDEEnvs	2018-12-17 11:58:48.876039159 +0100
-+++ IDEEnvs	2018-12-17 12:00:52.384066455 +0100
-@@ -35,13 +35,44 @@
- 			Path:	{Application}/lib/StdEnv
- 			Path:	{Application}/lib/Dynamics
- 			Path:	{Application}/lib/TCPIP
-+			Path:	{Application}/lib/Gast
- 			Path:	{Application}/lib/Platform
- 			Path:	{Application}/lib/Platform/Deprecated/Generics
-+			Path:	{Application}/lib/Platform/Deprecated/ArgEnv
-+			Path:	{Application}/lib/Platform/Deprecated/MersenneTwister
- 			Path:	{Application}/lib/Platform/Deprecated/StdLib
- 			Path:	{Application}/lib/Sapl
- 			Path:	{Application}/lib/GraphCopy
- 			Path:	{Application}/lib/iTasks
--		EnvironmentCompiler:	lib/exe/cocl::-dynamics -sapl
-+		EnvironmentCompiler:	lib/exe/cocl:-h 500m -s 20m:-dynamics -sapl
-+		EnvironmentCodeGen:	lib/exe/cg
-+		EnvironmentLinker:	lib/exe/linker|lib/exe/sapl-collector-linker|lib/exe/itasks-web-collector
-+		EnvironmentDynLink:	lib/exe/linker
-+		EnvironmentVersion:	920
-+		EnvironmentRedirect:	False
-+		EnvironmentCompileMethod:	Pers
-+		EnvironmentProcessor:	I386
-+		Environment64BitProcessor:	True
-+	Environment
-+		EnvironmentName:	iTasks-git
-+		EnvironmentPaths
-+			Path:	{Application}/lib/StdEnv
-+			Path:	{Application}/lib/Dynamics
-+			Path:	{Application}/lib/TCPIP
-+			Path:	{Application}/lib/Sapl
-+			Path:	{Application}/lib/GraphCopy
-+			Path:	{Application}/lib/Gast
-+			Path:	/home/mrl/projects/clean/clean-platform/src/libraries/Platform-x86
-+			Path:	/home/mrl/projects/clean/clean-platform/src/libraries/OS-Posix
-+			Path:	/home/mrl/projects/clean/clean-platform/src/libraries/OS-Linux
-+			Path:	/home/mrl/projects/clean/clean-platform/src/libraries/OS-Linux-64
-+			Path:	/home/mrl/projects/clean/clean-platform/src/libraries/OS-Independent
-+			Path:	/home/mrl/projects/clean/clean-platform/src/libraries/OS-Independent/Deprecated/Generics
-+			Path:	/home/mrl/projects/clean/clean-platform/src/libraries/OS-Independent/Deprecated/StdLib
-+			Path:	/home/mrl/projects/clean/clean-platform/src/libraries/OS-Independent/Deprecated/ArgEnv
-+			Path:	/home/mrl/projects/clean/clean-platform/src/libraries/OS-Independent/Deprecated/MersenneTwister
-+			Path:	/home/mrl/projects/clean/iTasks-SDK/Libraries
-+		EnvironmentCompiler:	lib/exe/cocl:-h 500m -s 20m:-dynamics -sapl
- 		EnvironmentCodeGen:	lib/exe/cg
- 		EnvironmentLinker:	lib/exe/linker|lib/exe/sapl-collector-linker|lib/exe/itasks-web-collector
- 		EnvironmentDynLink:	lib/exe/linker
-EOPATCH
+echo "Cleaning up the old distro"
+rm -rf "$CLEAN_HOME"/*
+mkdir -p "$CLEAN_HOME"
+echo "Downloading clean"
+curl -ksSL "$DISTRO" | tar -C "$CLEAN_HOME" --strip-components=1 -xz
+echo "Installing manpages"
+mkdir -p ~/.local/man/man1
+curl -sSLo ~/.local/man/man1/clm.1 "$CLMMAN"
+echo "Downloading cleanprof2callgrind"
+curl -sSLo "$CLEAN_HOME/bin/cleanprof2callgrind" "$CP2CG"
+chmod +x "$CLEAN_HOME"/bin/cleanprof2callgrind
+echo "Downloading cloogletags"
+curl -sSLo "$CLEAN_HOME"/bin/cloogletags "$TAGS"
+chmod +x "$CLEAN_HOME"/bin/cloogletags
+echo "Generating tags"
+cloogletags -a -c -d "$CLEAN_HOME"/lib -o "$CLEAN_HOME"/lib/tags 2>/dev/null