summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
3c1c135)
and provide a simple shell function for installing from a git
repository
#!/bin/bash -x
CABAL_OPT="--enable-shared -p"
#!/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
rm -rf ~/.ghc ~/.cabal
cabal update
cabal install cabal-install $CABAL_OPT
cabal install plugins $CABAL_OPT
cabal install split $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 disassembler $CABAL_OPT
-cabal install harpy $CABAL_OPT
+# cabal install harpy $CABAL_OPT
+gitinstall git://wien.tomnetworks.com/harpy.git