Closed msoos closed 4 years ago
The system shouldn't require a specific version of the compiler. Clean compilation of it from the released ZIP:
*** buildPblib.sh: execution of 'g++-4.8 --version' failed ('g++-4.8' required) make[1]: *** [makefile:68: lib-pblib] Error 1 *** mkone: could not build 'app/genipamax/genipamax' scripts/mkone.sh genipamax picosat961 [mkone.sh] building SAT solver 'picosat961' [mkone.sh] building and linking application 'genipamax' against 'picosat961' *** buildPblib.sh: execution of 'g++-4.8 --version' failed ('g++-4.8' required) make[1]: *** [makefile:68: lib-pblib] Error 1 *** mkone: could not build 'app/genipamax/genipamax'
Please fix as soon as possible so I can compete in the SAT competition. Thanks!
PS: Why does it require gcc at all, actually? There are other compilers out there, like clang, for example.
The system shouldn't require a specific version of the compiler. Clean compilation of it from the released ZIP:
Please fix as soon as possible so I can compete in the SAT competition. Thanks!
PS: Why does it require gcc at all, actually? There are other compilers out there, like clang, for example.