clean up

1 files changed, 0 insertions, 120 deletions

diff --git a/cryptominisat5/build/CMakeFiles/CMakeError.log b/cryptominisat5/build/CMakeFiles/CMakeError.log
deleted file mode 100644
index e269d0907..000000000
--- a/cryptominisat5/build/CMakeFiles/CMakeError.log
+++ /dev/null
@@ -1,120 +0,0 @@
-Determining if the pthread_create exist failed with the following output:
-Change Dir: /home/haozewu/Projects/CVC4/cryptominisat5/build/CMakeFiles/CMakeTmp
-
-Run Build Command:"/usr/bin/make" "cmTC_15b5c/fast"
-/usr/bin/make -f CMakeFiles/cmTC_15b5c.dir/build.make CMakeFiles/cmTC_15b5c.dir/build
-make[1]: Entering directory '/home/haozewu/Projects/CVC4/cryptominisat5/build/CMakeFiles/CMakeTmp'
-Building C object CMakeFiles/cmTC_15b5c.dir/CheckSymbolExists.c.o
-/usr/bin/cc    -o CMakeFiles/cmTC_15b5c.dir/CheckSymbolExists.c.o   -c /home/haozewu/Projects/CVC4/cryptominisat5/build/CMakeFiles/CMakeTmp/CheckSymbolExists.c
-Linking C executable cmTC_15b5c
-/usr/bin/cmake -E cmake_link_script CMakeFiles/cmTC_15b5c.dir/link.txt --verbose=1
-/usr/bin/cc      -rdynamic CMakeFiles/cmTC_15b5c.dir/CheckSymbolExists.c.o  -o cmTC_15b5c 
-CMakeFiles/cmTC_15b5c.dir/CheckSymbolExists.c.o: In function `main':
-CheckSymbolExists.c:(.text+0x1b): undefined reference to `pthread_create'
-collect2: error: ld returned 1 exit status
-CMakeFiles/cmTC_15b5c.dir/build.make:97: recipe for target 'cmTC_15b5c' failed
-make[1]: *** [cmTC_15b5c] Error 1
-make[1]: Leaving directory '/home/haozewu/Projects/CVC4/cryptominisat5/build/CMakeFiles/CMakeTmp'
-Makefile:126: recipe for target 'cmTC_15b5c/fast' failed
-make: *** [cmTC_15b5c/fast] Error 2
-
-File /home/haozewu/Projects/CVC4/cryptominisat5/build/CMakeFiles/CMakeTmp/CheckSymbolExists.c:
-/* */
-#include <pthread.h>
-
-int main(int argc, char** argv)
-{
-  (void)argv;
-#ifndef pthread_create
-  return ((int*)(&pthread_create))[argc];
-#else
-  (void)argc;
-  return 0;
-#endif
-}
-
-Performing C++ SOURCE FILE Test HAVE_FLAG_-Wheader-guard failed with the following output:
-Change Dir: /home/haozewu/Projects/CVC4/cryptominisat5/build/CMakeFiles/CMakeTmp
-
-Run Build Command:"/usr/bin/make" "cmTC_bb056/fast"
-/usr/bin/make -f CMakeFiles/cmTC_bb056.dir/build.make CMakeFiles/cmTC_bb056.dir/build
-make[1]: Entering directory '/home/haozewu/Projects/CVC4/cryptominisat5/build/CMakeFiles/CMakeTmp'
-Building CXX object CMakeFiles/cmTC_bb056.dir/src.cxx.o
-/usr/bin/c++    -mtune=native -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -DHAVE_FLAG_-Wheader-guard   -Wheader-guard -o CMakeFiles/cmTC_bb056.dir/src.cxx.o -c /home/haozewu/Projects/CVC4/cryptominisat5/build/CMakeFiles/CMakeTmp/src.cxx
-c++: error: unrecognized command line option '-Wheader-guard'
-CMakeFiles/cmTC_bb056.dir/build.make:65: recipe for target 'CMakeFiles/cmTC_bb056.dir/src.cxx.o' failed
-make[1]: *** [CMakeFiles/cmTC_bb056.dir/src.cxx.o] Error 1
-make[1]: Leaving directory '/home/haozewu/Projects/CVC4/cryptominisat5/build/CMakeFiles/CMakeTmp'
-Makefile:126: recipe for target 'cmTC_bb056/fast' failed
-make: *** [cmTC_bb056/fast] Error 2
-
-Source file was:
-int main() { return 0; }
-Performing C++ SOURCE FILE Test HAVE_FLAG_-Wno-bitfield-constant-conversion failed with the following output:
-Change Dir: /home/haozewu/Projects/CVC4/cryptominisat5/build/CMakeFiles/CMakeTmp
-
-Run Build Command:"/usr/bin/make" "cmTC_bbdaa/fast"
-/usr/bin/make -f CMakeFiles/cmTC_bbdaa.dir/build.make CMakeFiles/cmTC_bbdaa.dir/build
-make[1]: Entering directory '/home/haozewu/Projects/CVC4/cryptominisat5/build/CMakeFiles/CMakeTmp'
-Building CXX object CMakeFiles/cmTC_bbdaa.dir/src.cxx.o
-/usr/bin/c++    -mtune=native -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -DHAVE_FLAG_-Wno-bitfield-constant-conversion   -Wno-bitfield-constant-conversion -o CMakeFiles/cmTC_bbdaa.dir/src.cxx.o -c /home/haozewu/Projects/CVC4/cryptominisat5/build/CMakeFiles/CMakeTmp/src.cxx
-<command-line>:0:11: warning: ISO C++11 requires whitespace after the macro name
-cc1plus: warning: unrecognized command line option '-Wno-bitfield-constant-conversion'
-Linking CXX executable cmTC_bbdaa
-/usr/bin/cmake -E cmake_link_script CMakeFiles/cmTC_bbdaa.dir/link.txt --verbose=1
-/usr/bin/c++   -mtune=native -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -DHAVE_FLAG_-Wno-bitfield-constant-conversion    -O2 -Wl,--discard-all -Wl,--build-id=sha1 -static -Wl,--whole-archive -ldl -lpthread -Wl,--no-whole-archive -static   -rdynamic CMakeFiles/cmTC_bbdaa.dir/src.cxx.o  -o cmTC_bbdaa 
-make[1]: Leaving directory '/home/haozewu/Projects/CVC4/cryptominisat5/build/CMakeFiles/CMakeTmp'
-
-Source file was:
-int main() { return 0; }
-Performing C++ SOURCE FILE Test HAVE_FLAG_-Wjump-misses-init failed with the following output:
-Change Dir: /home/haozewu/Projects/CVC4/cryptominisat5/build/CMakeFiles/CMakeTmp
-
-Run Build Command:"/usr/bin/make" "cmTC_8c6e4/fast"
-/usr/bin/make -f CMakeFiles/cmTC_8c6e4.dir/build.make CMakeFiles/cmTC_8c6e4.dir/build
-make[1]: Entering directory '/home/haozewu/Projects/CVC4/cryptominisat5/build/CMakeFiles/CMakeTmp'
-Building CXX object CMakeFiles/cmTC_8c6e4.dir/src.cxx.o
-/usr/bin/c++    -mtune=native -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -DHAVE_FLAG_-Wjump-misses-init   -Wjump-misses-init -o CMakeFiles/cmTC_8c6e4.dir/src.cxx.o -c /home/haozewu/Projects/CVC4/cryptominisat5/build/CMakeFiles/CMakeTmp/src.cxx
-cc1plus: warning: command line option '-Wjump-misses-init' is valid for C/ObjC but not for C++
-<command-line>:0:11: warning: ISO C++11 requires whitespace after the macro name
-Linking CXX executable cmTC_8c6e4
-/usr/bin/cmake -E cmake_link_script CMakeFiles/cmTC_8c6e4.dir/link.txt --verbose=1
-/usr/bin/c++   -mtune=native -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -DHAVE_FLAG_-Wjump-misses-init    -O2 -Wl,--discard-all -Wl,--build-id=sha1 -static -Wl,--whole-archive -ldl -lpthread -Wl,--no-whole-archive -static   -rdynamic CMakeFiles/cmTC_8c6e4.dir/src.cxx.o  -o cmTC_8c6e4 
-make[1]: Leaving directory '/home/haozewu/Projects/CVC4/cryptominisat5/build/CMakeFiles/CMakeTmp'
-
-Source file was:
-int main() { return 0; }
-Performing C++ SOURCE FILE Test HAVE_FLAG_-Wextra-semi failed with the following output:
-Change Dir: /home/haozewu/Projects/CVC4/cryptominisat5/build/CMakeFiles/CMakeTmp
-
-Run Build Command:"/usr/bin/make" "cmTC_5129f/fast"
-/usr/bin/make -f CMakeFiles/cmTC_5129f.dir/build.make CMakeFiles/cmTC_5129f.dir/build
-make[1]: Entering directory '/home/haozewu/Projects/CVC4/cryptominisat5/build/CMakeFiles/CMakeTmp'
-Building CXX object CMakeFiles/cmTC_5129f.dir/src.cxx.o
-/usr/bin/c++    -mtune=native -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -DHAVE_FLAG_-Wextra-semi   -Wextra-semi -o CMakeFiles/cmTC_5129f.dir/src.cxx.o -c /home/haozewu/Projects/CVC4/cryptominisat5/build/CMakeFiles/CMakeTmp/src.cxx
-c++: error: unrecognized command line option '-Wextra-semi'; did you mean '-Wextra'?
-CMakeFiles/cmTC_5129f.dir/build.make:65: recipe for target 'CMakeFiles/cmTC_5129f.dir/src.cxx.o' failed
-make[1]: *** [CMakeFiles/cmTC_5129f.dir/src.cxx.o] Error 1
-make[1]: Leaving directory '/home/haozewu/Projects/CVC4/cryptominisat5/build/CMakeFiles/CMakeTmp'
-Makefile:126: recipe for target 'cmTC_5129f/fast' failed
-make: *** [cmTC_5129f/fast] Error 2
-
-Source file was:
-int main() { return 0; }
-Performing C++ SOURCE FILE Test HAVE_FLAG_-Wno-class-memaccess failed with the following output:
-Change Dir: /home/haozewu/Projects/CVC4/cryptominisat5/build/CMakeFiles/CMakeTmp
-
-Run Build Command:"/usr/bin/make" "cmTC_dd589/fast"
-/usr/bin/make -f CMakeFiles/cmTC_dd589.dir/build.make CMakeFiles/cmTC_dd589.dir/build
-make[1]: Entering directory '/home/haozewu/Projects/CVC4/cryptominisat5/build/CMakeFiles/CMakeTmp'
-Building CXX object CMakeFiles/cmTC_dd589.dir/src.cxx.o
-/usr/bin/c++    -mtune=native -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -pedantic -DHAVE_FLAG_-Wno-class-memaccess   -Wno-class-memaccess -o CMakeFiles/cmTC_dd589.dir/src.cxx.o -c /home/haozewu/Projects/CVC4/cryptominisat5/build/CMakeFiles/CMakeTmp/src.cxx
-<command-line>:0:11: warning: ISO C++11 requires whitespace after the macro name
-cc1plus: warning: unrecognized command line option '-Wno-class-memaccess'
-Linking CXX executable cmTC_dd589
-/usr/bin/cmake -E cmake_link_script CMakeFiles/cmTC_dd589.dir/link.txt --verbose=1
-/usr/bin/c++   -mtune=native -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -pedantic -DHAVE_FLAG_-Wno-class-memaccess    -O2 -Wl,--discard-all -Wl,--build-id=sha1 -static -Wl,--whole-archive -ldl -lpthread -Wl,--no-whole-archive -static   -rdynamic CMakeFiles/cmTC_dd589.dir/src.cxx.o  -o cmTC_dd589 
-make[1]: Leaving directory '/home/haozewu/Projects/CVC4/cryptominisat5/build/CMakeFiles/CMakeTmp'
-
-Source file was:
-int main() { return 0; }