Unable to build IDP 3.5.0 on Ubuntu 14.04

[Maciej Zurad]

I downloaded the source for IDP version 3.5.0 and I am trying to build it on Ubuntu 14.04 as the title says.

I have all the dependencies:

(bison <= 3.0.2) (flex <= 2.5.35) (gcc <= 4.8.4) (pdfTex <= 3.x) (cmake <= 2.8.12) (autoconf <= 2.69)

I came across other problems before, that I managed to solve. Namely, I had to give exectuable permission to: <idp_source_dir>/lib/SPASS-3.7/configure as well as convert it to Unix text file format with dos2unix. I also had to convert to Unix text file format, <idp_source_dir>/lib/SPASS-3.7/m4/missing.

Now, I have other problem:

When I run make -j4

I get

[  0%] Performing build step for 'spass'
Makefile:872: SPASS/.deps/analyze.Po: No such file or directory
Makefile:873: SPASS/.deps/approx.Po: No such file or directory
Makefile:874: SPASS/.deps/clause.Po: No such file or directory
Makefile:875: SPASS/.deps/clock.Po: No such file or directory
Makefile:876: SPASS/.deps/closure.Po: No such file or directory
Makefile:877: SPASS/.deps/cmdline.Po: No such file or directory
Makefile:878: SPASS/.deps/cnf.Po: No such file or directory
Makefile:879: SPASS/.deps/component.Po: No such file or directory
Makefile:880: SPASS/.deps/condensing.Po: No such file or directory
Makefile:881: SPASS/.deps/context.Po: No such file or directory
Makefile:882: SPASS/.deps/defs.Po: No such file or directory
Makefile:883: SPASS/.deps/description.Po: No such file or directory
Makefile:884: SPASS/.deps/dfg2ascii.Po: No such file or directory
Makefile:885: SPASS/.deps/dfg2dfg.Po: No such file or directory
Makefile:886: SPASS/.deps/dfg2otter.Po: No such file or directory
Makefile:887: SPASS/.deps/dfg2tptp.Po: No such file or directory
Makefile:888: SPASS/.deps/dfgparser.Po: No such file or directory
Makefile:889: SPASS/.deps/dfgscanner.Po: No such file or directory
Makefile:890: SPASS/.deps/doc-proof.Po: No such file or directory
Makefile:891: SPASS/.deps/eml.Po: No such file or directory
Makefile:892: SPASS/.deps/flags.Po: No such file or directory
Makefile:893: SPASS/.deps/foldfg.Po: No such file or directory
Makefile:894: SPASS/.deps/graph.Po: No such file or directory
Makefile:895: SPASS/.deps/hash.Po: No such file or directory
Makefile:896: SPASS/.deps/hasharray.Po: No such file or directory
Makefile:897: SPASS/.deps/hashmap.Po: No such file or directory
Makefile:898: SPASS/.deps/iaparser.Po: No such file or directory
Makefile:899: SPASS/.deps/iascanner.Po: No such file or directory
Makefile:900: SPASS/.deps/kbo.Po: No such file or directory
Makefile:901: SPASS/.deps/list.Po: No such file or directory
Makefile:902: SPASS/.deps/memory.Po: No such file or directory
Makefile:903: SPASS/.deps/misc.Po: No such file or directory
Makefile:904: SPASS/.deps/order.Po: No such file or directory
Makefile:905: SPASS/.deps/partition.Po: No such file or directory
Makefile:906: SPASS/.deps/proofcheck.Po: No such file or directory
Makefile:907: SPASS/.deps/ras.Po: No such file or directory
Makefile:908: SPASS/.deps/renaming.Po: No such file or directory
Makefile:909: SPASS/.deps/resolution.Po: No such file or directory
Makefile:910: SPASS/.deps/rpos.Po: No such file or directory
Makefile:911: SPASS/.deps/rules-inf.Po: No such file or directory
Makefile:912: SPASS/.deps/rules-red.Po: No such file or directory
Makefile:913: SPASS/.deps/rules-sort.Po: No such file or directory
Makefile:914: SPASS/.deps/rules-split.Po: No such file or directory
Makefile:915: SPASS/.deps/rules-ur.Po: No such file or directory
Makefile:916: SPASS/.deps/search.Po: No such file or directory
Makefile:917: SPASS/.deps/sharing.Po: No such file or directory
Makefile:918: SPASS/.deps/sort.Po: No such file or directory
Makefile:919: SPASS/.deps/st.Po: No such file or directory
Makefile:920: SPASS/.deps/stack.Po: No such file or directory
Makefile:921: SPASS/.deps/strings.Po: No such file or directory
Makefile:922: SPASS/.deps/subst.Po: No such file or directory
Makefile:923: SPASS/.deps/subsumption.Po: No such file or directory
Makefile:924: SPASS/.deps/symbol.Po: No such file or directory
Makefile:925: SPASS/.deps/table.Po: No such file or directory
Makefile:926: SPASS/.deps/tableau.Po: No such file or directory
Makefile:927: SPASS/.deps/term.Po: No such file or directory
Makefile:928: SPASS/.deps/terminator.Po: No such file or directory
Makefile:929: SPASS/.deps/top.Po: No such file or directory
Makefile:930: SPASS/.deps/tptp2dfg.Po: No such file or directory
Makefile:931: SPASS/.deps/tptpparser.Po: No such file or directory
Makefile:932: SPASS/.deps/tptpscanner.Po: No such file or directory
Makefile:933: SPASS/.deps/unify.Po: No such file or directory
Makefile:934: SPASS/.deps/vector.Po: No such file or directory
Makefile:935: lib/.deps/alarm.Po: No such file or directory
Makefile:936: lib/.deps/gettimeofday.Po: No such file or directory
make[3]: *** No rule to make target `lib/.deps/gettimeofday.Po'.  Stop.
make[2]: *** [spass-prefix/src/spass-stamp/spass-build] Error 2
make[1]: *** [CMakeFiles/spass.dir/all] Error 2
make: *** [all] Error 2

I am trying to build it, because we are using IDP^3 in our Agents and Reasoning class. All students are using it through the Web-IDE, but it's kinda slow for larger problems. I wanted to compile it and run it on our HPC, however I seem to get stuck on compiling on regular Linux machine.

I am looking forward to your response. Maciej

[Matthias van der Hallen]

Dear @asiron,

Sorry for the slow response. We've tried to reproduce your error, but couldn't. We'll look into it further, however, in the meantime you should evaluate whether you really need SPASS. It's possible to build IDP^3 without spass, and it is only used in a minimal number of cases. Using CMake-gui, it should be easy to configure the build process not to include SPASS. If you need any help to this respect, please get back to us.

Kind regards,

Matthias van der Hallen

[Bart Bogaerts]

I am (on a fresh install) now also geteting trouble with SPASS (that I never had before):

[  0%] Performing build step for 'spass'
/home/bartb/software/idp/lib/SPASS-3.7/m4/missing: line 54: makeinfo: command not found
WARNING: `makeinfo' is missing on your system.  You should only need it if
         you modified a `.texi' or `.texinfo' file, or any other file
         indirectly affecting the aspect of the manual.  The spurious
         call might also be the consequence of using a buggy `make' (AIX,
         DU, IRIX).  You might want to install the `Texinfo' package or
         the `GNU make' package.  Grab either from any GNU archive site.
Makefile:958: recipe for target '/home/bartb/software/idp/lib/SPASS-3.7/doc/texinfo/script.info' failed
make[4]: *** [/home/bartb/software/idp/lib/SPASS-3.7/doc/texinfo/script.info] Error 1
Makefile:541: recipe for target 'all' failed
make[3]: *** [all] Error 2
CMakeFiles/spass.dir/build.make:108: recipe for target 'spass-prefix/src/spass-stamp/spass-build' failed
make[2]: *** [spass-prefix/src/spass-stamp/spass-build] Error 2
CMakeFiles/Makefile2:91: recipe for target 'CMakeFiles/spass.dir/all' failed
make[1]: *** [CMakeFiles/spass.dir/all] Error 2
Makefile:146: recipe for target 'all' failed
make: *** [all] Error 2

Ill look into it

[Bart Bogaerts]

My SPASS problem was easily fixed since the error message gave quite a good hint

sudo apt-get install texinfo

[JoD]

In release 3.6.0, we updated the XSB and Flex libraries to versions compatible with recent c++ compilers. We also packaged on Linux to remove any issues with windows file types.

Please visit https://dtai.cs.kuleuven.be/software/idp/try for release 3.6.0.

Maybe these fix the problem. If not, make sure the submodules are fetched by running "git submodule init" and "git submodule update" in the source folder.

Otherwise, do report back, during august and september we have time to look at this kind of issue :)