October 2008 - PPL-devel - BUGSENG Mailman

User-visible changes to lib-link.m4 and lib-prefix.m4
by Roberto Bagnara 09 Oct '08

09 Oct '08

Hi there, we have been using the AC_LIB_LINKFLAGS for years without any problem. A few days ago, that is, a few days before the release of the Parma Polyhedra Library (http://www.cs.unipr.it/ppl/) we thought it was a good idea to update lib-link.m4 and lib-prefix.m4, since we were still using the version distributed with Gettext 0.14.6. However, this update broke the build. Looking at config.log it seems that, despite using the --with-lib-prefix option, no -I option is added to the compiler options. We tried to understand what was changed in lib-link.m4 and lib-prefix.m4, but we failed. We discovered, though, that things stop working for us in passing from the versions distributed with with Gettext 0.14.6 to the versions distributed with Gettext 0.15. We have looked in the sources and at the NEWS file to understand whether the AC_LIB_LINKFLAGS should be used differently with the newer versions, but we failed again. Here is how we use the AC_LIB_LINKFLAGS macro in an Autoconf macro by ourselves: AC_DEFUN([AC_CHECK_GMP], [ dnl Since libgmp and libgmpxx are usually installed in the same location, dnl let the prefixes default from each other. if test -n "$with_libgmpxx_prefix" && test -z "$with_libgmp_prefix"; then with_libgmp_prefix="$with_libgmpxx_prefix" else if test -n "$with_libgmp_prefix" && test -z "$with_libgmpxx_prefix"; then with_libgmpxx_prefix="$with_libgmp_prefix" fi fi dnl Check how to link with libgmp. AC_LIB_LINKFLAGS([gmp]) dnl Check how to link with libgmpxx. AC_LIB_LINKFLAGS([gmpxx], [gmp]) ... What are we missing? Is there some documentation on how to properly use these macros? All the best, Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

2 3

ppl/interfaces/Prolog/XSB Makefile.am
by Patricia Hill 08 Oct '08

08 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-10-08 21:48:26 Modified files: interfaces/Prolog/XSB: Makefile.am Log message: ppl_prolog_generated_test now included in check-local Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/Makefil…

1 0

ppl/interfaces/Prolog/SWI Makefile.am
by Patricia Hill 08 Oct '08

08 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-10-08 21:47:58 Modified files: interfaces/Prolog/SWI: Makefile.am Log message: ppl_prolog_generated_test now included in check-local Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/Makefil…

1 0

ppl/m4 ac_check_ciao.m4 ac_check_fpu_control.m ...
by Roberto Bagnara 08 Oct '08

08 Oct '08

1 0

ppl/interfaces/Prolog/SICStus Makefile.am
by Patricia Hill 08 Oct '08

08 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-10-08 21:47:03 Modified files: interfaces/Prolog/SICStus: Makefile.am Log message: ppl_prolog_generated_test now included in check-local Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/Mak…

1 0

ppl/interfaces/Java/jni ppl_java_common.cc ppl ...
by Enea Zaffanella 08 Oct '08

08 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-10-08 21:40:15 Modified files: interfaces/Java/jni: ppl_java_common.cc ppl_java_common.defs.hh ppl_java_common.inlines.hh ppl_java_globals.cc Log message: Added missing / fixed existing documentation; also renamed a few functions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_java_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_java_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_java_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_java_…

1 0

ppl/doc devref.doxyconf-html.in devref.doxycon ...
by Enea Zaffanella 08 Oct '08

08 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-10-08 19:23:32 Modified files: doc : devref.doxyconf-html.in devref.doxyconf-latex.in Log message: Added files Variables_Set.* to the list of input files for devref manuals. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref.doxyconf-html.in.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref.doxyconf-latex.in.…

1 0

ppl/interfaces/Prolog/SWI Makefile.am
by Roberto Bagnara 08 Oct '08

08 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-08 19:20:24 Modified files: interfaces/Prolog/SWI: Makefile.am Log message: In a long command, make sure no backslash is followed by something that could expand to the null string. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/Makefil…

1 0

ppl/interfaces/OCaml ppl_ocaml_types.ml
by Roberto Bagnara 08 Oct '08

08 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-08 17:05:25 Modified files: interfaces/OCaml: ppl_ocaml_types.ml Log message: Comment improved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_ocaml_ty…

1 0

Solved PPL + SWI + Debian
by Valerio Senni 08 Oct '08

08 Oct '08

I finally solved my problems by dist-upgrading Debian to Lenny.Indeed, seems that some gcc libraries needed to be upgraded. Thank you for your help. I hope that my experience will be of some help. Valerio

2 1