Build in Release mode

Author: Nicola Pezzotti

README.md

@@ -49,7 +49,7 @@ On Ubuntu 16.04 you can build and install HDI by running the following commands
 apt-get install qtbase5-dev libqt5webkit5-dev libflann-dev
 mkdir build
 cd build
-cmake ../
+cmake  -DCMAKE_BUILD_TYPE=Release ..
 make -j 8
 sudo make install
 ```

scripts/build.sh

@@ -4,5 +4,5 @@ export C_INCLUDE_PATH=/usr/local/include
 export CPLUS_INCLUDE_PATH=/usr/local/include
 
 cd build
-cmake ../
+cmake  -DCMAKE_BUILD_TYPE=Release ..
 make -j 8

scripts/install-dependencies.sh

@@ -6,7 +6,7 @@ cd CRoaring
 
 mkdir -p build
 cd build
-cmake ..
+cmake  -DCMAKE_BUILD_TYPE=Release ..
 make
 sudo make install
 

scripts/rebuild-and-test.sh

@@ -5,6 +5,6 @@ export CPLUS_INCLUDE_PATH=/usr/local/include
 rm -drf build
 mkdir build
 cd build
-cmake ../
+cmake -DCMAKE_BUILD_TYPE=Release ..
 make -j 8
 ./applications/tdd/tdd

scripts/rebuild.sh

@@ -5,5 +5,5 @@ export CPLUS_INCLUDE_PATH=/usr/local/include
 rm -drf build
 mkdir build
 cd build
-cmake ../
+cmake -DCMAKE_BUILD_TYPE=Release ..
 make -j 8