forked from agda/agda-stdlib
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy path.travis.yml
113 lines (103 loc) · 3.67 KB
/
.travis.yml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
language: c
branches:
only:
- master
- experimental
dist: xenial
cache:
directories:
- $HOME/.cabsnap
matrix:
include:
- env: TEST=MAIN GHC_VER=8.4.4 BUILD=CABAL CABAL_VER=2.2
addons:
apt:
packages:
- cabal-install-2.2
- ghc-8.4.4
sources:
- hvr-ghc
before_install:
- export PATH=/opt/ghc/$GHC_VER/bin:/opt/cabal/$CABAL_VER/bin:/opt/alex/3.1.7/bin:/opt/happy/1.19.5/bin:~/.cabal/bin/:$PATH;
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
# 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
- if diff -u $HOME/.cabsnap/installplan.txt $HOME/installplan.txt;
then
echo "cabal build-cache HIT";
rm -rfv .ghc;
cp -a $HOME/.cabsnap/ghc $HOME/.ghc;
cp -a $HOME/.cabsnap/lib $HOME/.cabsnap/share $HOME/.cabsnap/bin $HOME/.cabal/;
else
echo "cabal build-cache MISS";
rm -rf $HOME/.cabsnap;
mkdir -p $HOME/.ghc $HOME/.cabal/lib $HOME/.cabal/share $HOME/.cabal/bin;
fi
- cabal install cpphs
- cabal install
# 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
# installing fix-agda-whitespace
- git clone https://github.com/agda/fix-whitespace --depth=1
- cd fix-whitespace
- cabal install fix-whitespace.cabal
- cd -
- yes | rm -R fix-whitespace/
# generating Everything.agda
- cabal install lib.cabal
- runghc GenerateEverything.hs
# setting up travis-specific scripts and files
- cp travis/* .
before_script:
- export RTS_OPTIONS="+RTS -M3.5G -H3.5G -A128M -RTS"
script:
# generating index.agda
- ./index.sh
# detecting whitespace violations
- fix-whitespace --check
# expose the value of RTS_OPTIONS
- echo $RTS_OPTIONS
# checking safe modules build with --safe
- agda $RTS_OPTIONS -i . -i src/ --safe EverythingSafeGuardedness.agda
- agda $RTS_OPTIONS -i . -i src/ --safe EverythingSafeSizedTypes.agda
# detecting basic compilation errors
- agda $RTS_OPTIONS -i . -i src/ -c --no-main Everything.agda
# compiling & running the examples using the FFI
- agda $RTS_OPTIONS -i . -i src/ -c README/Foreign/Haskell.agda && ./Haskell
# 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 experimental directory
- mkdir -p experimental
- mv html/* experimental/
after_success:
# uploading to gh-pages
- git init
- git config --global user.name "Travis CI bot"
- git config --global user.email "travis-ci-bot@travis.fake"
- git remote add upstream https://$GH_TOKEN@github.com/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/ experimental/
- git add -f \*.html
- git commit -m "Automatic HTML update via Travis"
- if [ "$TRAVIS_PULL_REQUEST" = "false" ] && [ "$TRAVIS_BRANCH" = "experimental" ];
then git push -q upstream HEAD:gh-pages &>/dev/null;
fi
notifications:
email: false