[PPL-devel] Difficulty compiling PPL

[Kenneth MacKenzie]

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.


-- 
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.

-------------- next part --------------


Kenneth