Fixed select decision variable bug!

NicolaDes · Feb 13, 2018 · c16287d · c16287d
1 parent d514b04
commit c16287d
Show file tree

Hide file tree

Showing 14 changed files with 5,286 additions and 31,455 deletions.
diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -20,7 +20,7 @@ configure_file (
 
 include (cmake_files/libraries.cmake)
 
-set (CMAKE_CXX_FLAGS )
+set (CMAKE_CXX_FLAGS "-O2")
 
 include_directories(include)
 add_subdirectory (src)

diff --git a/README.md b/README.md
@@ -34,6 +34,8 @@ cmake .. -DP=1
 ```
 will set the proof mode ON.
 
+WARNING: cmake set flag optimize with -O2, so some warnings could appears!
+
 ## Execute
 ```
 ./sativa -h