diff --git a/.idea/workspace.xml b/.idea/workspace.xml index b7f8e76..a91d1f3 100644 --- a/.idea/workspace.xml +++ b/.idea/workspace.xml @@ -105,8 +105,8 @@ - - + + @@ -571,7 +571,7 @@ - + @@ -585,7 +585,7 @@ - + @@ -1131,8 +1131,8 @@ - - + + diff --git a/.travis_native_dependencies.sh b/.travis_native_dependencies.sh index dbe2c25..1cea5ae 100644 --- a/.travis_native_dependencies.sh +++ b/.travis_native_dependencies.sh @@ -1,6 +1,6 @@ # 0) Installing dependencies sudo apt-get update -sudo apt-get install gdebi-core +sudo apt-get install gdebi-core libarchive13 wget http://131.123.42.38/lmcrs/v1.0.0/srcml_1.0.0-1_ubuntu18.04.deb sudo gdebi srcml_1.0.0-1_ubuntu18.04.deb -n \ No newline at end of file