gitlab-ci: don't build with sonar, as it does not work

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 288f181..f7e1ac4 100644 (file)
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -16,6 +16,5 @@ pages:
 
 ctest:
   script:
 
 ctest:
   script:

-  - apt install curl unzip

   - cmake -Denable_model-checking=OFF -Denable_documentation=OFF -Denable_coverage=ON -Denable_java=ON -Denable_lua=OFF -Denable_compile_optimizations=ON -Denable_smpi=ON -Denable_smpi_MPICH3_testsuite=ON -Denable_compile_warnings=ON .
   - cmake -Denable_model-checking=OFF -Denable_documentation=OFF -Denable_coverage=ON -Denable_java=ON -Denable_lua=OFF -Denable_compile_optimizations=ON -Denable_smpi=ON -Denable_smpi_MPICH3_testsuite=ON -Denable_compile_warnings=ON .

-  - ./tools/internal/travis-sonarqube.sh make VERBOSE=1 && ctest --output-on-failure
+  - make VERBOSE=1 && ctest --output-on-failure