cabal: removed mate-common

[mate.git] / tools / installhaskellenv.sh

diff --git a/tools/installhaskellenv.sh b/tools/installhaskellenv.sh
index 159d2528641a805019eba535ef0e64ac73487198..caec90ccee6258f7763517a3d2f713e270efd37b 100755 (executable)
--- a/tools/installhaskellenv.sh
+++ b/tools/installhaskellenv.sh
@@ -1,30 +1,23 @@
 #!/bin/bash -x
 
+CABAL_OPT="--enable-shared -p"
 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
-
-git clone git://wien.tomnetworks.com/disassembler.git
-cd disassembler
-cabal install --enable-shared
-cd ..
-rm -rf disassembler
-
-git clone git://wien.tomnetworks.com/harpy.git
-cd harpy
-cabal install --enable-shared
-cd ..
-rm -rf harpy
+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/hs-java.git
 cd hs-java
-cabal install --enable-shared
+cabal install $CABAL_OPT
 cd ..
 rm -rf hs-java
 
+cabal install disassembler $CABAL_OPT
+cabal install harpy $CABAL_OPT
+
 echo DONE