[ travis ] bring merged .travis.yml over from master

Author: gallais

.travis.yml

@@ -27,14 +27,36 @@ before_install:
 install:
   - cabal update
   - sed -i 's/^jobs:/-- jobs:/' $HOME/.cabal/config
-  # installing the dev version of Agda
-  - cd ../
-  - git clone https://github.com/agda/agda
-  - cd agda
-  - git checkout 08dd23df8dd894737af98463f0b3f69d616e7b48
+
+  # installing dependencies
+  - cabal install alex happy cpphs
+
+  # installing Agda
+  # Even if there seems to be duplicated code for master & experimental,
+  # DO NOT refactor: they regularly get out of sync (typically master
+  # builds with the released version while experimental uses some dev
+  # version).
+
+  # No matter the path, we should generate a $HOME/installplan.txt to
+  # check whether the cache needs updating.
+
+  - if [[ $TRAVIS_BRANCH = "master" ]]; then
+       cd ../ &&
+       git clone https://github.com/agda/agda &&
+       cd agda &&
+       git checkout 08dd23df8dd894737af98463f0b3f69d616e7b48 &&
+       cabal install --only-dependencies --dry -v > $HOME/installplan.txt ;
+    fi
+
+  - if [[ $TRAVIS_BRANCH = "experimental" ]]; then
+       cd ../ &&
+       git clone https://github.com/agda/agda &&
+       cd agda &&
+       git checkout c2d5ec4b2403c68d615b81258d6131774e492797 &&
+       cabal install --only-dependencies --dry -v > $HOME/installplan.txt ;
+    fi
+
   # checking whether .ghc is still valid
-  - cabal install alex happy
-  - cabal install --only-dependencies --dry -v > $HOME/installplan.txt
   - sed -i -e '1,/^Resolving /d' $HOME/installplan.txt; cat $HOME/installplan.txt
   - touch $HOME/.cabsnap/installplan.txt
   - mkdir -p $HOME/.cabsnap/ghc $HOME/.cabsnap/lib $HOME/.cabsnap/share $HOME/.cabsnap/bin
@@ -49,24 +71,40 @@ install:
       rm -rf $HOME/.cabsnap;
       mkdir -p $HOME/.ghc $HOME/.cabal/lib $HOME/.cabal/share $HOME/.cabal/bin;
     fi
-  - cabal install cpphs
-  - cabal install
+
+  - if [[ $TRAVIS_BRANCH = "master" ]]; then
+      cabal install ;
+    fi
+
+  - if [[ $TRAVIS_BRANCH = "experimental" ]]; then
+      cabal install ;
+    fi
+
   # snapshot package-db on cache miss
   - echo "snapshotting package-db to build-cache";
     mkdir $HOME/.cabsnap;
     cp -a $HOME/.ghc $HOME/.cabsnap/ghc;
     cp -a $HOME/.cabal/lib $HOME/.cabal/share $HOME/.cabal/bin $HOME/installplan.txt $HOME/.cabsnap/;
-  # returning to stdlib directory
-  - cd ../agda-stdlib
+
+  - if [[ $TRAVIS_BRANCH = "master" ]]; then
+      cd ../ ;
+    fi
+
+  - if [[ $TRAVIS_BRANCH = "experimental" ]]; then
+      cd ../ ;
+    fi
+
   # installing fix-whitespace
   - git clone https://github.com/agda/fix-whitespace --depth=1
   - cd fix-whitespace
   - cabal install fix-whitespace.cabal
-  - cd -
+  - cd ../
+
   # generating Everything.agda
   - cd agda-stdlib
   - cabal install lib.cabal
   - runghc GenerateEverything.hs
+
   # setting up travis-specific scripts and files
   - cp travis/* .
 
@@ -90,8 +128,14 @@ script:
   # building the docs
   - agda $RTS_OPTIONS -i . -i src/ --html safe.agda
   - agda $RTS_OPTIONS -i . -i src/ --html index.agda
-  # moving everything to the main directory
-  - mv html/* .
+
+  # moving everything to the appropriate directory
+  - if [[ $TRAVIS_BRANCH = "master" ]]; then
+      mv html/* . ;
+    fi
+  - if [[ $TRAVIS_BRANCH = "experimental" ]]; then
+      mv html/* experimental/ ;
+    fi
 
 after_success:
   # uploading to gh-pages
@@ -100,11 +144,16 @@ after_success:
   - git config --global user.email "[email protected]"
   - git remote add upstream https://[email protected]/agda/agda-stdlib.git &>/dev/null
   - git fetch upstream && git reset upstream/gh-pages
-  - git checkout HEAD -- *.html v0.16/ v0.17/ v1.0/ v1.1/ v1.2/ experimental/
+  - if [[ $TRAVIS_BRANCH = "master" ]]; then
+      git checkout HEAD -- v0.16/ v0.17/ v1.0/ v1.1/ v1.2/ experimental/ ;
+    fi
+  - if [[ $TRAVIS_BRANCH = "experimental" ]]; then
+      git checkout HEAD -- *.html v0.16/ v0.17/ v1.0/ v1.1/ v1.2/ ;
+    fi
   - git add -f \*.html
   - git commit -m "Automatic HTML update via Travis"
-  - if [ "$TRAVIS_PULL_REQUEST" = "false" ] && [ "$TRAVIS_BRANCH" = "master" ];
-    then git push -q upstream HEAD:gh-pages &>/dev/null;
+  - if [[ $TRAVIS_PULL_REQUEST = "false" && ($TRAVIS_BRANCH = "master" || $TRAVIS_BRANCH = "experimental") ]]; then
+       git push -q upstream HEAD:gh-pages &>/dev/null;
     fi
 
 notifications: