/usr/bin/c++  -std=c++11 -O3 -Wall -Wextra -Wshadow -g -Wfatal-errors -Wno-sign-compare -Wno-literal-suffix  -static CMakeFiles/defined.dir/src/Main.cpp.o CMakeFiles/defined.dir/src/Parser.cpp.o  -o defined  minisat/libminisat.a /usr/lib/x86_64-linux-gnu/libz.a 
