search

FlorentAvellaneda / EvalMaxSAT

State-of-the-art MaxSAT Solver & Library Based on Unsat Core Guided Techniques
GNU General Public License v3.0
15 stars 5 forks source link

fatal error: 'build.hpp' file not found #5

Closed Kerry12342 closed 8 months ago

Kerry12342 commented 8 months ago

So sorry to bother, but when I try to "make" in MacBook Terminal, it generated me this error: fatal error: 'build.hpp' file not found

Where could I find the build.hpp?

FlorentAvellaneda commented 8 months ago

Probably a problem related to your compiler version. I removed the build.hpp include from the cadical library code. It should work now.

Kerry12342 commented 8 months ago

I am so sorry but i still got another error when using clang to compile:


warning: /Library/Developer/CommandLineTools/usr/bin/ranlib: archive library: libMaLib.a the table of contents is empty (no object file members in the library define global symbols)
[ 96%] Built target MaLib
[ 97%] Linking CXX static library libEvalMaxSAT.a
ar: no archive members specified
usage:  ar -d [-TLsv] archive file ...
    ar -m [-TLsv] archive file ...
    ar -m [-abiTLsv] position archive file ...
    ar -p [-TLsv] archive [file ...]
    ar -q [-cTLsv] archive file ...
    ar -r [-cuTLsv] archive file ...
    ar -r [-abciuTLsv] position archive file ...
    ar -t [-TLsv] archive [file ...]
    ar -x [-ouTLsv] archive [file ...]
make[2]: *** [EvalMaxSAT/libEvalMaxSAT.a] Error 1
make[1]: *** [EvalMaxSAT/CMakeFiles/EvalMaxSAT.dir/all] Error 2
make: *** [all] Error 2```
FlorentAvellaneda commented 8 months ago

I updated the configuration files for compilation. It should work on macOS now.

Kerry12342 commented 8 months ago

It worked. Thank you so much!