#!/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
+}
+
rm -rf ~/.ghc ~/.cabal
cabal update
-cabal install cabal-install --enable-shared
+cabal install cabal-install $CABAL_OPT
export PATH=~/.cabal/bin:$PATH
cabal update
-cabal install missingh --enable-shared
-cabal install heap --enable-shared
-cabal install plugins --enable-shared
-cabal install split --enable-shared
-
-git clone git://wien.tomnetworks.com/disassembler.git
-cd disassembler
-cabal install --enable-shared
-cd ..
-rm -rf disassembler
+cabal install missingh $CABAL_OPT
+cabal install heap $CABAL_OPT
+cabal install plugins $CABAL_OPT
+cabal install split $CABAL_OPT
-git clone git://wien.tomnetworks.com/harpy.git
-cd harpy
-cabal install --enable-shared
-cd ..
-rm -rf harpy
+# cabal install hs-java $CABAL_OPT
+gitinstall git://wien.tomnetworks.com/hs-java.git
-git clone git://wien.tomnetworks.com/hs-java.git
-cd hs-java
-cabal install --enable-shared
-cd ..
-rm -rf hs-java
+cabal install disassembler $CABAL_OPT
+# cabal install harpy $CABAL_OPT
+gitinstall git://wien.tomnetworks.com/harpy.git
echo DONE