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 -- 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
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