[PPL-devel] ppl.hh in PREFIX/include?
Ian Sweet
isweet at terpmail.umd.edu
Thu Jun 8 17:57:01 CEST 2017
This solved the problem. Thanks so much for following up.
Sorry for my ignorance!
Ian
> On Jun 8, 2017, at 4:29 AM, Roberto Bagnara <bagnara at cs.unipr.it> wrote:
>
> 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
>
More information about the PPL-devel
mailing list