Travis: Removal of explicit specification of DCMAKE_BUILD_TYPE and DCMAKE_INSTALL_PREFIX.

These variables are set automatically. So no need to set them to those values explicitly.

Author: marek-trtik

.travis.yml

@@ -178,7 +178,7 @@ jobs:
 
 install:
   - ccache --max-size=1G
-  - cmake -H. -Bbuild "-DCMAKE_CXX_COMPILER=${COMPILER}" "-DCMAKE_BUILD_TYPE=Release" "-DCMAKE_INSTALL_PREFIX=." "-Denable_security_tests=true" "-Denable_cbmc_tests=true"
+  - cmake -H. -Bbuild "-DCMAKE_CXX_COMPILER=${COMPILER}" "-Denable_security_tests=true" "-Denable_cbmc_tests=false"
   - cmake --build build -- -j4
   - ( cd build; make install )
 #  - make -C cbmc/src minisat2-download