Code: Select all
$./configure
checking C++ compiler ... ok (g++ is GCC 6.3.0)
checking C++ library ... ok (GNU libstdc++ 20170516, C++ 201402)
determining architecture ... ok (x86_64)
determining compiler flags ... ok
CFLAGS= -march=native
CXXFLAGS= -std=c++14 -march=native -ftemplate-depth-200 -fno-strict-aliasing -Wno-parentheses -Wshadow -fopenmp -Wno-error=unused-function -Wno-maybe-uninitialized
LDFLAGS= -fuse-ld=gold -fopenmp
checking gmp installation ... ok
checking mpfr installation ... ok
checking boost installation ... ok
checking libxml2 installation ... ok
checking perl module XML::Writer ... ok
checking perl module XML::LibXML ... ok
checking perl module XML::LibXSLT ... ok
checking perl module Term::ReadKey ... ok
checking perl module Term::ReadLine ... ok
checking perl module JSON ... ok
checking shared perl library ... ok
Configuring bundled extensions:
bundled extension atint ... ok
bundled extension bliss ... ok
bundled extension cdd ... ok (bundled)
bundled extension java ... ok (JNI headers at /usr/lib/jvm/java-8-openjdk-amd64/include)
bundled extension javaview ... failed
bundled extension jreality ... ok (with bundled JOGL)
bundled extension libnormaliz ... ok (bundled)
bundled extension lrs ... ok (bundled)
bundled extension nauty ... disabled because of conflict with other extension: bliss
bundled extension ppl ... failed
bundled extension scip ... failed
bundled extension singular ... failed
bundled extension soplex ... failed
bundled extension sympol ... ok (bundled)
* If you want to change the configuration of bundled extensions please see build/bundled.log and try configure --help.
* Configuration successful.
* You can run 'ninja -C build/Opt install' now to build and install polymake.
Code: Select all
$cat build/bundled.log
...
---- ppl ----
Invalid installation location of libppl: header file /usr/include/ppl.hh does not exist
...
The problem is that ppl.hh is installed in /usr/include/x86_64-linux-gnu:
Code: Select all
$find /usr/include/ -iname "ppl.hh"
/usr/include/x86_64-linux-gnu/ppl.hh
And whenever I put the the "--with-ppl" flag,
Code: Select all
$./configure --with-ppl=/usr/include/x86_64-linux-gnu
checking C++ compiler ... ok (g++ is GCC 6.3.0)
checking C++ library ... ok (GNU libstdc++ 20170516, C++ 201402)
determining architecture ... ok (x86_64)
determining compiler flags ... ok
CFLAGS= -march=native
CXXFLAGS= -std=c++14 -march=native -ftemplate-depth-200 -fno-strict-aliasing -Wno-parentheses -Wshadow -fopenmp -Wno-error=unused-function -Wno-maybe-uninitialized
LDFLAGS= -fuse-ld=gold -fopenmp
checking gmp installation ... ok
checking mpfr installation ... ok
checking boost installation ... ok
checking libxml2 installation ... ok
checking perl module XML::Writer ... ok
checking perl module XML::LibXML ... ok
checking perl module XML::LibXSLT ... ok
checking perl module Term::ReadKey ... ok
checking perl module Term::ReadLine ... ok
checking perl module JSON ... ok
checking shared perl library ... ok
Configuring bundled extensions:
bundled extension atint ... ok
bundled extension bliss ... ok
bundled extension cdd ... ok (bundled)
bundled extension java ... ok (JNI headers at /usr/lib/jvm/java-8-openjdk-amd64/include)
bundled extension javaview ... failed
bundled extension jreality ... ok (with bundled JOGL)
bundled extension libnormaliz ... ok (bundled)
bundled extension lrs ... ok (bundled)
bundled extension nauty ... disabled because of conflict with other extension: bliss
bundled extension ppl ... failed
ERROR:
The bundled extension ppl was explicitly requested but failed to configure.
Please recheck your argument (--with-ppl=/usr/include/x86_64-linux-gnu) and build/bundled.log .
You can also disable it by specifying --without-ppl instead.
the configuration appends include/ to its search path:
Code: Select all
$cat build/bundled.log
...
---- ppl ----
Invalid installation location of libppl: header file /usr/include/x86_64-linux-gnu/include/ppl.hh does not exist