[PPL-devel] ppl.hh in PREFIX/include?

[Roberto Bagnara]

On 06/07/2017 03:33 PM, Ian Sweet wrote:
> I’m currently trying to build and install PPL 1.1 on a development virtual machine, running Debian. When I run:
> 
> ./configure --enable-interfaces=ocaml --enable-cxx CFLAGS=-g
> 
> the shared library, libppl.so etc., are successfully installed to /usr/local/lib (/usr/local is default PREFIX). However, ppl.hh is not being placed into /usr/local/include. Am I missing some configuration?

Hello Ian.

You enabled the ocaml interface only, yet you seem to expect
the header file of the C++ interface to be installed.
Notice that the --enable-cxx is not a configure option of the PPL:
perhaps you meant --enable-interfaces="ocaml cxx" ?

Finally, please use the latest version of PPL 1.2.
Kind regards,

   Roberto

-- 
     Prof. Roberto Bagnara

Applied Formal Methods Laboratory - University of Parma, Italy
mailto:bagnara at cs.unipr.it
                              BUGSENG srl - http://bugseng.com
                              mailto:roberto.bagnara at bugseng.com

-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 2093 bytes
Desc: S/MIME Cryptographic Signature
URL: <http://www.cs.unipr.it/pipermail/ppl-devel/attachments/20170608/6395ea8e/attachment.bin>