search

biotomas / ipasir

The Standard Interface for Incremental Satisfiability Solving
Other
47 stars 14 forks source link

hardcoded compiler version #4

Closed nmanthey closed 6 years ago

nmanthey commented 6 years ago

Dear Tomas,

when building genipamax, the compiler is hardcoded to g++4.8 in app/genipamax/makefile This should be plain g++, as recent versions of g++ support all the necessary features to build this binary.

Best, Norbert

biotomas commented 6 years ago

fixed