Roberto Bagnara writes:
Hi Kenneth,
you are right: we should allow ML GMP to be installed anywhere. I have just committed a change that adds a new `--with-mlgmp=DIR' configure option.
Thanks for that.
(Incidentally, I think that if you just try --enable-interfaces=ocaml then you eventually get a cryptic error due to the fact that the C++ interface is also required.)
I have tried to reproduce this, but I failed. Can you help me to identify also this problem? Thanks,
I tried again with a newly-unpacked version of the tar file. After
./configure --prefix=$PWD/tmp --enable-interfaces=ocaml
and then "make", the compilation runs for a while and then fails with
libtool: link: ranlib .libs/libppl.a libtool: link: ( cd ".libs" && rm -f "libppl.la" && ln -s "../libppl.la" "libppl.la" ) g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT ppl-config.o -MD -MP -MF .deps/ppl-config.Tpo -c -o ppl-config.o ppl-config.cc ppl-config.cc:24:18: error: ppl.hh: No such file or directory ppl-config.cc:29:2: error: #error "PPL version 0.8 or following is required" ppl-config.cc:26: error: ‘Parma_Polyhedra_Library’ is not a namespace-name ppl-config.cc:26: error: expected namespace-name before ‘;’ token ppl-config.cc: In function ‘int main(int, char**)’: ppl-config.cc:572: error: ‘PPL_VERSION’ was not declared in this scope ppl-config.cc:572: error: ‘PPL’ has not been declared ppl-config.cc:574: error: ‘PPL’ has not been declared ppl-config.cc:592: error: ‘PPL_CONFIGURE_OPTIONS’ was not declared in this scope ppl-config.cc:595: error: ‘PPL_VERSION’ was not declared in this scope ppl-config.cc:598: error: ‘PPL_VERSION_MAJOR’ was not declared in this scope ppl-config.cc:601: error: ‘PPL_VERSION_MINOR’ was not declared in this scope ppl-config.cc:604: error: ‘PPL_VERSION_REVISION’ was not declared in this scope ppl-config.cc:607: error: ‘PPL_VERSION_BETA’ was not declared in this scope ppl-config.cc:610: error: ‘PPL’ has not been declared ppl-config.cc:680: error: ‘assert’ was not declared in this scope make[3]: *** [ppl-config.o] Error 1 make[3]: Leaving directory `/disk/scratch/b/tmp/ppl-0.10/src' make[2]: *** [all] Error 2 make[2]: Leaving directory `/disk/scratch/b/tmp/ppl-0.10/src' make[1]: *** [all-recursive] Error 1 make[1]: Leaving directory `/disk/scratch/b/tmp/ppl-0.10' make: *** [all] Error 2
It works OK (modulo the earlier problems) if you use --enable-interfaces="c cxx ocaml"
A copy of config.log is attached below.