X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=clean%2F.local%2Fbin%2Finstall_clean.sh;h=59d5e9f4cf719dfcc690f59e6b487f8aba83c732;hb=37a88a14fd119cb8ef43b2f421c268aef436e5f4;hp=acf04f0086213bf58bdb033daf9f6888cc7f25ae;hpb=7553d3a3fcf877457ea1c93d2d7ab1e3ba11487a;p=dotfiles.git

diff --git a/clean/.local/bin/install_clean.sh b/clean/.local/bin/install_clean.sh
index acf04f0..59d5e9f 100755
--- a/clean/.local/bin/install_clean.sh
+++ b/clean/.local/bin/install_clean.sh
@@ -1,4 +1,126 @@
-#!/bin/sh
-mv /opt/clean /opt/clean.bak
-curl ftp://ftp.cs.ru.nl/pub/Clean/builds/linux-x64/clean-bundle-complete-linux-x64-latest.tgz | tar -xz
-mv clean-bundle-complete /opt/clean
+#!/bin/bash
+set -e
+
+DISTRO="https://ftp.cs.ru.nl/Clean/builds/linux-x64/clean-bundle-complete-linux-x64-latest.tgz"
+TAGS="https://gitlab.science.ru.nl/cloogle/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="${CLEAN_HOME:-/opt/clean}"
+
+echo "Cleaning up the old distro"
+rm -rf "$CLEAN_HOME"/*
+echo "Downloading clean"
+curl -sSL "$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
+
+echo "Patching StdEnv for binumap"
+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
+
+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
+
+echo "Adding the iTasks-git environment"
+patch  /opt/clean/etc/IDEEnvs <<EOPATCH
+--- 	2019-07-24 02:47:02.000000000 +0200
++++ IDEEnvs	2019-07-24 08:22:52.713808372 +0200
+@@ -45,7 +45,42 @@
+ 			Path:	{Application}/lib/Platform/Deprecated/StdLib
+ 			Path:	{Application}/lib/ABCInterpreter
+ 			Path:	{Application}/lib/GraphCopy
+-			Path:	{Application}/lib/iTasks
++  			Path:	{Application}/lib/iTasks
++ 			Path:	{Application}/lib/Gast
++ 		EnvironmentCompiler:	lib/exe/cocl::-dynamics
++ 		EnvironmentCodeGen:	lib/exe/cg
++ 		EnvironmentLinker:	lib/exe/linker|lib/exe/itasks-web-collector
++ 		EnvironmentDynLink:	lib/exe/linker
++ 		EnvironmentABCOptimise:	lib/exe/abcopt
++ 		EnvironmentByteCodeGen:	lib/exe/bcgen
++ 		EnvironmentByteCodeLink:	lib/exe/bclink
++ 		EnvironmentByteCodeStrip:	lib/exe/bcstrip
++ 		EnvironmentByteCodePrelink:	lib/exe/bcprelink
++ 		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:	/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:	{Application}/lib/ABCInterpreter
++ 			Path:	{Application}/lib/GraphCopy
++ 			Path:	/home/mrl/projects/clean/iTasks-SDK/Libraries
++ 			Path:	{Application}/lib/iTasks
++ 			Path:	{Application}/lib/Gast
+ 		EnvironmentCompiler:	lib/exe/cocl::-dynamics
+ 		EnvironmentCodeGen:	lib/exe/cg
+ 		EnvironmentLinker:	lib/exe/linker|lib/exe/itasks-web-collector
+EOPATCH