diff --git a/.idea/workspace.xml b/.idea/workspace.xml index 89c4e6d..b7f8e76 100644 --- a/.idea/workspace.xml +++ b/.idea/workspace.xml @@ -2,7 +2,7 @@ - + @@ -75,7 +75,7 @@ - + @@ -102,11 +102,11 @@ - + - - + + @@ -182,11 +182,11 @@ @@ -571,7 +571,7 @@ - + @@ -585,7 +585,7 @@ - + @@ -1074,13 +1074,6 @@ - - - - - - - @@ -1136,6 +1129,13 @@ + + + + + + + diff --git a/.travis_native_dependencies.sh b/.travis_native_dependencies.sh index 7edc83d..dbe2c25 100644 --- a/.travis_native_dependencies.sh +++ b/.travis_native_dependencies.sh @@ -1,2 +1,6 @@ +# 0) Installing dependencies +sudo apt-get update +sudo apt-get install gdebi-core + 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