Building IDP 3.2.1 from source fails

[Former user]

Hi,

I think I fullfill all the dependencies for building idp:

gcc: 4.6.3
bison: 3.0.1
cmake: 2.8.7
flex: 2.5.35
pdflatex
doxygen: 1.7.6.1

and when at the "make -j 4" step I get:

/home/frederic/Downloads/idp-3.2.1-Source/lib/minisatid/src/theorysolvers/TheorySimplifier.hpp:89:38: fout: expected ‘;’ at end of member declaration
/home/frederic/Downloads/idp-3.2.1-Source/lib/minisatid/src/theorysolvers/TheorySimplifier.hpp:89:44: fout: ‘override’ does not name a type
In file included from /home/frederic/Downloads/idp-3.2.1-Source/lib/minisatid/src/theorysolvers/PCSolver.hpp:16:0,
                 from /home/frederic/Downloads/idp-3.2.1-Source/lib/minisatid/src/datastructures/Datastructures.cpp:5:
/home/frederic/Downloads/idp-3.2.1-Source/lib/minisatid/src/theorysolvers/TheorySimplifier.hpp:89:38: fout: expected ‘;’ at end of member declaration
/home/frederic/Downloads/idp-3.2.1-Source/lib/minisatid/src/theorysolvers/TheorySimplifier.hpp:89:44: fout: ‘override’ does not name a type
In file included from /home/frederic/Downloads/idp-3.2.1-Source/lib/minisatid/src/theorysolvers/PCSolver.hpp:16:0,
                 from /home/frederic/Downloads/idp-3.2.1-Source/lib/minisatid/src/modules/DPLLTmodule.hpp:13,
                 from /home/frederic/Downloads/idp-3.2.1-Source/lib/minisatid/src/modules/aggsolver/AggSet.hpp:16,
                 from /home/frederic/Downloads/idp-3.2.1-Source/lib/minisatid/src/datastructures/Constraints.cpp:15:
/home/frederic/Downloads/idp-3.2.1-Source/lib/minisatid/src/theorysolvers/TheorySimplifier.hpp:89:38: fout: expected ‘;’ at end of member declaration
/home/frederic/Downloads/idp-3.2.1-Source/lib/minisatid/src/theorysolvers/TheorySimplifier.hpp:89:44: fout: ‘override’ does not name a type

[Broes De Cat]

Indeed, the "override" should not have been in the released code. We will fix it, but just deleting it will solve your problem for now.

[Bart Bogaerts]

version 3.3.0 is online

[Broes De Cat]

Newer version released.