[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