diff --git a/.idea/workspace.xml b/.idea/workspace.xml index a91d1f3..f81b838 100644 --- a/.idea/workspace.xml +++ b/.idea/workspace.xml @@ -106,7 +106,7 @@ - + @@ -1132,7 +1132,7 @@ - + diff --git a/.travis_native_dependencies.sh b/.travis_native_dependencies.sh index 1cea5ae..673d1dc 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 libarchive13 +sudo apt-get install gdebi-core libarchive-tools 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