| File data/appveyor/ubuntu.sh changed (mode: 100755) (index 313a2a6..8fc95eb) |
| ... |
... |
if [ "$SRCML" = v0.9.5 ]; then |
| 12 |
12 |
echo "CFLAGS += -fPIC" >> config.mk |
echo "CFLAGS += -fPIC" >> config.mk |
| 13 |
13 |
elif [ "$SRCML" = v1.0 ]; then |
elif [ "$SRCML" = v1.0 ]; then |
| 14 |
14 |
wget http://131.123.42.38/lmcrs/v1.0.0/srcml_1.0.0-1_ubuntu18.04.deb |
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 |
| 15 |
16 |
sudo apt install -y ./srcml_1.0.0-1_ubuntu18.04.deb |
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 |
| 16 |
18 |
|
|
| 17 |
19 |
srcml --version |
srcml --version |
| 18 |
20 |
|
|
| 19 |
21 |
echo "TESTS := '*'" > config.mk |
echo "TESTS := '*'" > config.mk |
|
22 |
|
echo "HAVE_LIBSRCML := yes" >> config.mk |
| 20 |
23 |
fi |
fi |
| 21 |
24 |
|
|
| 22 |
25 |
sudo apt install -y libboost-filesystem-dev \ |
sudo apt install -y libboost-filesystem-dev \ |