X-Git-Url: http://wien.tomnetworks.com/gitweb/?a=blobdiff_plain;f=tools%2Finstallhaskellenv.sh;h=5bbe9914c2d5b36ff7a05b609a6012664aaf51fd;hb=3573020fca0413c6d7823e2a1d70108f25766db0;hp=c9dd8f8230e0da87fbf57d5bd70dd94d417f7d1c;hpb=95cc49e2567d0903d871a1672b059499f11e0291;p=mate.git

diff --git a/tools/installhaskellenv.sh b/tools/installhaskellenv.sh
index c9dd8f8..5bbe991 100755
--- a/tools/installhaskellenv.sh
+++ b/tools/installhaskellenv.sh
@@ -1,27 +1,46 @@
 #!/bin/bash -x
 
+CABAL_OPT="--enable-shared -p"
+
+function gitinstall {
+	url=$1
+	git clone $url tmprepo
+	cd tmprepo
+	cabal install $CABAL_OPT
+	cd ..
+	rm -rf tmprepo
+}
+
+#hs: i ran into the problem that cabal install does not execute
+#my Setup.hs - as workaround i invoke runhaskell Setup.hs etc directly
+function gitinstallWithCustomSetup {
+	url=$1
+	git clone $url tmprepo
+	cd tmprepo
+        runhaskell Setup.hs configure --user $CABAL_OPT
+        runhaskell Setup.hs build 
+        runhaskell Setup.hs install
+	cd ..
+	rm -rf tmprepo
+}
+
 rm -rf ~/.ghc ~/.cabal
 cabal update
-cabal install cabal-install
+cabal install cabal-install $CABAL_OPT
 export PATH=~/.cabal/bin:$PATH
 cabal update
-cabal install hs-java --enable-shared
-cabal install harpy --enable-shared
-cabal install missingh --enable-shared
-cabal install heap --enable-shared
-cabal install plugins --enable-shared
-
-git clone git://wien.tomnetworks.com/harpy.git
-cd harpy
-cabal install --enable-shared
-cd ..
-rm -rf harpy
-
-git clone git://wien.tomnetworks.com/hs-java.git
-cd hs-java
-git checkout -t origin/v0.2
-cabal install --enable-shared
-cd ..
-rm -rf hs-java
+cabal install missingh $CABAL_OPT
+cabal install heap $CABAL_OPT
+cabal install plugins $CABAL_OPT
+cabal install split $CABAL_OPT
+
+# cabal install hs-java $CABAL_OPT
+gitinstall git://wien.tomnetworks.com/hs-java.git
+
+cabal install disassembler $CABAL_OPT
+# cabal install harpy $CABAL_OPT
+gitinstall git://wien.tomnetworks.com/harpy.git
+
+gitinstallWithCustomSetup git://wien.tomnetworks.com/hs-boehmgc.git 
 
 echo DONE