[PPL-devel] configuration

[Basile STARYNKEVITCH]

Hello All,

I am still missing a specific README file or an HTML page explaining all 
the details of PPL
configuration and compilation (ie all the traps possible at build time).
I feel that PPL is more configurable than most plain GNU stuff, hence that
some basic documentation about PPL configuration and compilation is 
useful, in particular to newscomers.

May I suggest to (at least) add something like:

  PPL is usable from programs written in C, C++, Ocaml, Prolog.
  You'll need to pass the appropriate  --enable-interfaces flag to its 
configure script.

to the "General Information on the PPL" page 
http://www.cs.unipr.it/ppl/Documentation/user/ in the Main Features section.
or perhaps to add a "Building PPL" [sub-] section


(I had a hardware crash and I did lost my previous PPL configuration
-but not much else than configuration files- and I had to try several 
times to find the right configuration to me)

with the ppl-0.10pre7 snapshot (or pre-release?) configured thru 
    ./configure '--enable-interfaces=c,cxx,ocaml' '--sysconfdir=/etc/local'
a make install does not install any ppl_c.h file, as I would expect. Is 
it normal or did I misunderstood something (probable)?

Actually, I need to test in a autconf file (gcc/configure.ac) the 
availability of the C interface to PPL.

Any ideas?

Regards.
-- 
Basile STARYNKEVITCH         http://starynkevitch.net/Basile/
email: basile<at>starynkevitch<dot>net mobile: +33 6 8501 2359
8, rue de la Faiencerie, 92340 Bourg La Reine, France
*** opinions {are only mines, sont seulement les miennes} ***