tools: install libs with profile information

diff --git a/tools/installhaskellenv.sh b/tools/installhaskellenv.sh
index 6bfb63af8a97a6be6434f14c870dafad587a8d51..37851137e4a5eda8851d399444cbe395baae5e54 100755 (executable)
--- a/tools/installhaskellenv.sh
+++ b/tools/installhaskellenv.sh
@@ -1,30 +1,31 @@
 #!/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
-cabal install split --enable-shared
+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/disassembler.git
 cd disassembler
-cabal install --enable-shared
+cabal install $CABAL_OPT
 cd ..
 rm -rf disassembler
 
 git clone git://wien.tomnetworks.com/harpy.git
 cd harpy
-cabal install --enable-shared
+cabal install $CABAL_OPT
 cd ..
 rm -rf harpy
 
 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