Installation on Ubuntu 16.04 fails

[Kristopher Brown]

I have a similar problem to Issue #910, insofar as the XSB install is failing. I am working with fresh installs of Ubuntu 16.04, cmake 3.5.1, gcc 5.3.1, bison 3.0.4, flex 2.6.0.

The cmake step goes without any error. During the make step in the build directory, I get a "permission denied" error independent of whether I try "make" or "sudo make". I also have tried "sudo chown -R" on the build directory with no luck. I am not sure if this is a problem on my end or if there is a problem with the files generated by cmake. Any help is appreciated!

#!

[  0%] Built target copy_xsb_source_code
CMakeFiles/xsb.dir/build.make:137: target 'CMakeFiles/xsb.dir/depend' does not exist
cd /home/kris/builddir && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /home/kris/idp-3.5.0-Source /home/kris/idp-3.5.0-Source /home/kris/builddir /home/kris/builddir /home/kris/builddir/CMakeFiles/xsb.dir/DependInfo.cmake --color=
CMakeFiles/xsb.dir/build.make:105: update target 'xsb-prefix/src/xsb-stamp/xsb-configure' due to: xsb-prefix/src/xsb-stamp/xsb-patch xsb-prefix/tmp/xsb-cfgcmd.txt xsb-prefix/src/xsb-stamp/xsb-update
/usr/bin/cmake -E cmake_echo_color --switch= --blue --bold --progress-dir=/home/kris/builddir/CMakeFiles --progress-num= "Performing configure step for 'xsb'"
[  0%] Performing configure step for 'xsb'
cd /home/kris/builddir/XSB/build && /home/kris/builddir/XSB/build/configure --prefix=/home/kris/builddir/xsbinstall -with-optimization=fPIC
/bin/sh: 1: /home/kris/builddir/XSB/build/configure: Permission denied
CMakeFiles/xsb.dir/build.make:105: recipe for target 'xsb-prefix/src/xsb-stamp/xsb-configure' failed
make[2]: *** [xsb-prefix/src/xsb-stamp/xsb-configure] Error 126
CMakeFiles/Makefile2:67: recipe for target 'CMakeFiles/xsb.dir/all' failed
make[1]: *** [CMakeFiles/xsb.dir/all] Error 2
Makefile:160: recipe for target 'all' failed
make: *** [all] Error 2

[JoD]

Sorry for the late reply.

We are not able to replicate this issue locally. There seems to be some problem with the XSB component (with which we already had some troubles in the past).

A temporary solution is probably to disable XSB compilation (there is a cmake option for this), and run the compilation process again.

[JoD]

Ok, it seems that many people have problems with compilation scripts for our libraries. See Issue #802 #909 #910 #913 #914 #918.

Unless we are able to fix them, I suggest we turn them off for default compilation.

What do the other developers think? (@jjansen, @ingdas, @matthiasvanderhallen, @rupsbant, @BartBog)

[Ruben Lapauw]

IDP 3.5.0 was badly packaged and did not retain it's permissions. To verify this: run on a Unix machine: "lz idp-3.5.0-Source.tar.gz | grep XSB/build/configure". No execute flag given. This was probably packaged on Windows.

[Joachim Jansen]

Finally, I understand what's going wrong here. These error messages could definitely be less cryptic.

A new packaging should solve everything then.

[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.