| File data/appveyor/ubuntu.sh changed (mode: 100755) (index 8fc95eb..5ed8076) |
| 2 |
2 |
|
|
| 3 |
3 |
set -xe |
set -xe |
| 4 |
4 |
|
|
| 5 |
|
if [ "$SRCML" = v0.9.5 ]; then |
|
| 6 |
|
wget http://131.123.42.38/lmcrs/beta/srcML-Ubuntu18.04.deb |
|
| 7 |
|
sudo apt install -y ./srcML-Ubuntu18.04.deb libarchive13 |
|
|
5 |
|
if [ -n "$SRCML" ]; then |
|
6 |
|
if [ "$SRCML" != v1.0.0 ]; then |
|
7 |
|
arch=_amd64 |
|
8 |
|
fi |
| 8 |
9 |
|
|
| 9 |
|
srcml --version |
|
|
10 |
|
wget https://github.com/srcML/srcML/releases/download/$SRCML/srcml_${SRCML:1}-1_ubuntu20.04$arch.deb |
|
11 |
|
wget https://github.com/srcML/srcML/releases/download/$SRCML/srcml-dev_${SRCML:1}-1_ubuntu20.04$arch.deb |
| 10 |
12 |
|
|
| 11 |
|
echo "TESTS := '~[srcml095-broken]'" > config.mk |
|
| 12 |
|
echo "CFLAGS += -fPIC" >> config.mk |
|
| 13 |
|
elif [ "$SRCML" = v1.0 ]; then |
|
| 14 |
|
wget http://131.123.42.38/lmcrs/v1.0.0/srcml_1.0.0-1_ubuntu18.04.deb |
|
| 15 |
|
wget http://131.123.42.38/lmcrs/v1.0.0/srcml-dev_1.0.0-1_ubuntu16.04.deb |
|
| 16 |
|
sudo apt install -y ./srcml_1.0.0-1_ubuntu18.04.deb |
|
| 17 |
|
sudo apt install -y ./srcml-dev_1.0.0-1_ubuntu16.04.deb |
|
|
13 |
|
sudo apt install -y ./srcml_${SRCML:1}-1_ubuntu20.04$arch.deb |
|
14 |
|
sudo apt install -y ./srcml-dev_${SRCML:1}-1_ubuntu20.04$arch.deb |
| 18 |
15 |
|
|
| 19 |
16 |
srcml --version |
srcml --version |
| 20 |
17 |
|
|
| 21 |
|
echo "TESTS := '*'" > config.mk |
|
| 22 |
|
echo "HAVE_LIBSRCML := yes" >> config.mk |
|
|
18 |
|
echo 'HAVE_LIBSRCML := yes' > config.mk |
| 23 |
19 |
fi |
fi |
| 24 |
20 |
|
|
| 25 |
21 |
sudo apt install -y libboost-filesystem-dev \ |
sudo apt install -y libboost-filesystem-dev \ |