Module: ppl/ppl Branch: master Commit: e4afe707bbc8dccae4bc43a13eb8c09fb3dc9b37 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e4afe707bbc8d...

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Mar 27 12:36:06 2018 +0200

Install also the header files required for static linking.

---

interfaces/Prolog/SWI/Makefile.am | 4 ++++ 1 files changed, 4 insertions(+), 0 deletions(-)

diff --git a/interfaces/Prolog/SWI/Makefile.am b/interfaces/Prolog/SWI/Makefile.am index 0d44db7..783f6a2 100644 --- a/interfaces/Prolog/SWI/Makefile.am +++ b/interfaces/Prolog/SWI/Makefile.am @@ -72,6 +72,10 @@ ppl_swiprolog.cc: $(interface_generator_dependencies)

pkglib_LTLIBRARIES = libppl_swiprolog.la

+pkginclude_HEADERS = +$(SWI_CFLI_FILES) \ +ppl_swiprolog.hh + libppl_swiprolog_la_SOURCES = \ ppl_prolog_sysdep.hh \ ppl_swiprolog.hh \