[GIT] ppl/ppl(master): Obsolete comment removed.
Module: ppl/ppl Branch: master Commit: b7c689f3a1f81f121aee717323f1d86b415209c4 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b7c689f3a1f81...
Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Dec 19 10:53:04 2010 +0100
Obsolete comment removed.
---
m4/ac_check_sicstus_prolog.m4 | 3 --- 1 files changed, 0 insertions(+), 3 deletions(-)
diff --git a/m4/ac_check_sicstus_prolog.m4 b/m4/ac_check_sicstus_prolog.m4 index ff30eb8..31cebdc 100644 --- a/m4/ac_check_sicstus_prolog.m4 +++ b/m4/ac_check_sicstus_prolog.m4 @@ -25,9 +25,6 @@ AC_DEFUN([AC_CHECK_SICSTUS_PROLOG], AC_PATH_PROG(sicstus_prolog, sicstus) if test x$sicstus_prolog != x then - dnl The following would fail to find the real base if `sicstus' - dnl is a symbolic link. - dnl sicstus_prolog_base=$(dirname $(dirname $sicstus_prolog)) sicstus_prolog_app_dir=`$sicstus_prolog -f --goal "use_module(library(system)), environ('SP_APP_DIR', X), write(X), nl, halt."` sicstus_prolog_base=`dirname $sicstus_prolog_app_dir` SICSTUS_PROLOG_INCLUDE_OPTIONS="-I${sicstus_prolog_base}/include"
participants (1)
-
Roberto Bagnara