[ fix ] remember to deploy installed libraries

Author: gallais

.travis.yml

@@ -17,6 +17,7 @@ cache:
   directories:
     - $HOME/.cabal/
     - $HOME/.ghc/
+    - $HOME/.agda/
 
 install:
   - export PATH=$HOME/.cabal/bin:/opt/ghc/8.2.2/bin:/opt/cabal/2.0/bin:$PATH

travis/install_agda.sh

@@ -5,14 +5,15 @@ if ! type "agda" > /dev/null || [ ! `agda -V | sed "s/[^2]*//"` = "$AGDA_VERSION
   cabal update
   cabal install alex happy cpphs --force-reinstalls
   cabal install Agda-"$AGDA_VERSION" --force-reinstalls
-  mkdir -p $HOME/.agda
-  cp libraries-${VERSION} $HOME/.agda/
-  cd $HOME/.agda/
-  wget https://github.com/agda/agda-stdlib/archive/v0.17.tar.gz
-  tar -xvzf v0.17.tar.gz
-  cd -
 fi
 
+mkdir -p $HOME/.agda
+cp libraries-${VERSION} $HOME/.agda/
+cd $HOME/.agda/
+wget https://github.com/agda/agda-stdlib/archive/v0.17.tar.gz
+tar -xvzf v0.17.tar.gz
+cd -
+
 # mkdir -p $HOME/.agda
 # cp libraries-"$AGDA_VERSION" $HOME/.agda/
 # cd $HOME/.agda/