forked from PierreSenellart/provsql
-
Notifications
You must be signed in to change notification settings - Fork 0
/
.travis.yml
48 lines (40 loc) · 2.24 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
language: cpp
os: linux
dist: xenial
addons:
apt:
sources:
- ubuntu-toolchain-r-test
packages:
- g++-4.9
- libgraph-easy-perl
- libc6:i386
env:
- POSTGRESQL_VERSION=9.5
- POSTGRESQL_VERSION=9.6
- POSTGRESQL_VERSION=10
- POSTGRESQL_VERSION=11
- POSTGRESQL_VERSION=12
before_install:
- export CC=gcc-4.9
- export CXX=g++-4.9
- sudo apt-get purge postgresql-common postgresql-client-common
- sudo rm -rf /etc/postgresql /var/lib/postgresql
- sudo apt-get install -y postgresql-$POSTGRESQL_VERSION postgresql-server-dev-$POSTGRESQL_VERSION
- if [[ $POSTGRESQL_VERSION == "9.5" || $POSTGRESQL_VERSION == "9.6" ]]; then
sudo apt-get install -y postgresql-contrib-$POSTGRESQL_VERSION;
fi
- "curl 'http://reasoning.cs.ucla.edu/c2d/fetchme.php' -H 'Content-Type: application/x-www-form-urlencoded' --data 'os=Linux+i386&type=&s=&n=Pierre+Senellart&e=pierre%40senellart.com&o=ENS' -o c2d && unzip c2d && sudo mv c2d_linux /usr/local/bin/c2d"
- "curl 'http://reasoning.cs.ucla.edu/minic2d/fetchme.php' -H 'Content-Type: application/x-www-form-urlencoded' --data 'os=Linux+%28x64%29&type=&s=&n=Pierre+Senellart&e=pierre%40senellart.com&o=ENS' -o minic2d.tgz && tar zxf minic2d.tgz && cd miniC2D-1.0.0 && make && sudo mv bin/linux/miniC2D /usr/local/bin/minic2d && sudo mv bin/linux/hgr2htree /usr/local/bin && cd .."
- sudo curl http://www.cril.univ-artois.fr/KC/ressources/d4 -o /usr/local/bin/d4
- git clone https://github.com/QuMuLab/dsharp.git && cd dsharp && mv Makefile_gmp Makefile && make && sudo mv dsharp /usr/local/bin && cd ..
- git clone https://bitbucket.org/kuldeepmeel/weightmc/src/master/ weightmc && cd weightmc/wmc-src && ./configure && make && sudo mv weightmc /usr/local/bin && cd ../..
- sudo chmod a+x /usr/local/bin/c2d /usr/local/bin/dsharp /usr/local/bin/d4
install: make && sudo make install
before_script:
- sudo bash -c 'echo "shared_preload_libraries = '"'"'provsql'"'"'" >> /etc/postgresql/'$POSTGRESQL_VERSION/main/postgresql.conf
- sudo service postgresql stop && sudo service postgresql start $POSTGRESQL_VERSION
- sudo chmod -R a+rX $HOME
script: sudo -u postgres make installcheck
after_script:
- sudo -u postgres bash -c "cat /tmp/tmp.provsql*/regression.diffs"