Add rank1dynamic+distributed-static to install_all

edsko · edsko · commit ffeece84e3ee · 2012-08-10T17:31:46.000+01:00
diff --git a/install_all.sh b/install_all.sh
@@ -7,5 +7,5 @@ if [ "$CABAL" == "" ]; then
   CABAL=cabal
 fi
 
-$CABAL install --with-ghc=$GHC ./network-transport ./network-transport-tcp ./network-transport-inmemory ./distributed-process ./distributed-process-simplelocalnet --reinstall $*
+$CABAL install --with-ghc=$GHC ./rank1dynamic ./distributed-static ./network-transport ./network-transport-tcp ./network-transport-inmemory ./distributed-process ./distributed-process-simplelocalnet --reinstall $*
 
