forked from cyru/petitghc
-
Notifications
You must be signed in to change notification settings - Fork 0
/
.travis-ci.sh
36 lines (29 loc) · 851 Bytes
/
.travis-ci.sh
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
# Git should be configured properely to run the tests
git config --global user.email "[email protected]"
git config --global user.name "Travis CI"
install_on_linux () {
ppa=avsm/ocaml42+opam12
sudo add-apt-repository ppa:$ppa -y
sudo apt-get update -qq
sudo apt-get install -qq opam
sudo apt-get install -qq spim
}
install_on_osx () {
curl -OL "http://xquartz.macosforge.org/downloads/SL/XQuartz-2.7.6.dmg"
sudo hdiutil attach XQuartz-2.7.6.dmg
sudo installer -verbose -pkg /Volumes/XQuartz-2.7.6/XQuartz.pkg -target /
brew update
brew install opam
brew install spim
}
case $TRAVIS_OS_NAME in
osx) install_on_osx ;;
linux) install_on_linux ;;
esac
#opam stuff
opam init -a
opam switch 4.02.3 -a
eval `opam config env`
opam install ocamlbuild menhir -y
#compiling the project
$BUILD