installenv: use custom harpy repo

and provide a simple shell function for installing from a git
repository

diff --git a/tools/installhaskellenv.sh b/tools/installhaskellenv.sh
index caec90ccee6258f7763517a3d2f713e270efd37b..893cc954f2da406d4952f36c88199602ed3a57dc 100755 (executable)
--- a/tools/installhaskellenv.sh
+++ b/tools/installhaskellenv.sh
@@ -1,6 +1,16 @@
 #!/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 $CABAL_OPT
@@ -11,13 +21,11 @@ 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 $CABAL_OPT
-cd ..
-rm -rf hs-java
+# cabal install hs-java $CABAL_OPT
+gitinstall git://wien.tomnetworks.com/hs-java.git
 
 cabal install disassembler $CABAL_OPT
-cabal install harpy $CABAL_OPT
+# cabal install harpy $CABAL_OPT
+gitinstall git://wien.tomnetworks.com/harpy.git
 
 echo DONE