[PPL-devel] [GIT] ppl/ppl(devel): Obsolete link option removed.

Roberto Bagnara roberto.bagnara at bugseng.com
Thu Jun 25 08:57:40 CEST 2020


Module: ppl/ppl
Branch: devel
Commit: 395a6220191367667190e8e543edc7cf7ed3be8b
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=395a6220191367667190e8e543edc7cf7ed3be8b

Author: Roberto Bagnara <roberto.bagnara at bugseng.com>
Date:   Thu Jun 25 08:57:24 2020 +0200

Obsolete link option removed.

---

 .../Prolog/XSB/ppl_interface_generator_xsb_H.m4    |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/interfaces/Prolog/XSB/ppl_interface_generator_xsb_H.m4 b/interfaces/Prolog/XSB/ppl_interface_generator_xsb_H.m4
index 1ee05c7..07edf7e 100644
--- a/interfaces/Prolog/XSB/ppl_interface_generator_xsb_H.m4
+++ b/interfaces/Prolog/XSB/ppl_interface_generator_xsb_H.m4
@@ -35,7 +35,7 @@ m4_include(`ppl_interface_generator_copyright')dnl
 :- export
 m4_divert(1)
 
-:- ldoption('-L../../../src/.libs -lppl -L../../../Watchdog/.libs -lpwl -lgmp -lgmpxx').
+:- ldoption('-L../../../src/.libs -lppl -L../../../Watchdog/.libs -lgmp -lgmpxx').
 
 m4_define(`m4_expanded_procedure_schema', `m4_ifelse($4, 0, `  $1/$2', `COMMA
   $1/$2')')




More information about the PPL-devel mailing list