search

RalfRothenberger / Power-Law-Random-SAT-Generator

Power Law Random k-SAT Generator
MIT License
14 stars 3 forks source link

Compilation error #1

Closed abramconnelly closed 5 years ago

abramconnelly commented 6 years ago 
$ make
g++ -std=c++11 -o CreateSAT CreateSAT.cpp Formula.cpp
CreateSAT.cpp:1:29: fatal error: SatGeneration.hpp: No such file or directory
 #include "SatGeneration.hpp"
                             ^
compilation terminated.
makefile:2: recipe for target 'create' failed
make: *** [create] Error 1

Changing SatGeneration.hpp to SATGeneration.hpp solves the issue but exposes another:

$ make
g++ -std=c++11 -o CreateSAT CreateSAT.cpp Formula.cpp
In file included from CreateSAT.cpp:1:0:
SATGeneration.hpp:6:18: fatal error: Math.h: No such file or directory
 #include <Math.h>
                  ^
compilation terminated.
makefile:2: recipe for target 'create' failed
make: *** [create] Error 1

Changing Math.h to math.h allows for compilation.