ppl.hh in PREFIX/include?
Hey everyone,
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?
Thanks,
Ian Sweet
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
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@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@cs.unipr.it BUGSENG srl - http://bugseng.com mailto:roberto.bagnara@bugseng.com
participants (2)
-
Ian Sweet -
Roberto Bagnara