[PPL-devel] ppl ./NEWS ./README.configure ./configure.ac i ...

Roberto Bagnara bagnara at cs.unipr.it
Sat Jan 24 15:09:38 CET 2009


CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	bagnara at cs.unipr.it	2009-01-24 15:09:38

Modified files:
	.              : NEWS README.configure configure.ac 
	interfaces/C   : Makefile.am 
	interfaces/Java/jni: Makefile.am 
	interfaces/Java/parma_polyhedra_library: Makefile.am 
	interfaces/Java/tests: Makefile.am 
	interfaces/OCaml: Makefile.am 
	interfaces/OCaml/tests: Makefile.am 
	interfaces/Prolog: Makefile.am 
	interfaces/Prolog/Ciao: Makefile.am 
	interfaces/Prolog/GNU: Makefile.am 
	interfaces/Prolog/SICStus: Makefile.am 
	interfaces/Prolog/SWI: Makefile.am 
	interfaces/Prolog/XSB: Makefile.am 
	interfaces/Prolog/YAP: Makefile.am 
	interfaces/Prolog/tests: Makefile.am 
Added files:
	m4             : m4.m4 

Log message:
	The configuration script now explicitly checks that a recent enough
	version of GNU M4 is available if at least one non-C++ interface is
	enabled (in previous versions this check was not performed and
	building the library could fail in a mysterious way).
	That version is then used in all makefiles.
	(Thanks to Tobias Grosser.)
	Improved configure.ac in various places.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.282&r2=1.283
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/README.configure.diff?cvsroot=ppl&r1=1.44&r2=1.45
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl&r1=1.414&r2=1.415
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/Makefile.am.diff?cvsroot=ppl&r1=1.63&r2=1.64
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/Makefile.am.diff?cvsroot=ppl&r1=1.35&r2=1.36
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/parma_polyhedra_library/Makefile.am.diff?cvsroot=ppl&r1=1.12&r2=1.13
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/tests/Makefile.am.diff?cvsroot=ppl&r1=1.27&r2=1.28
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/Makefile.am.diff?cvsroot=ppl&r1=1.68&r2=1.69
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/tests/Makefile.am.diff?cvsroot=ppl&r1=1.29&r2=1.30
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Makefile.am.diff?cvsroot=ppl&r1=1.69&r2=1.70
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/Makefile.am.diff?cvsroot=ppl&r1=1.89&r2=1.90
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/Makefile.am.diff?cvsroot=ppl&r1=1.88&r2=1.89
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/Makefile.am.diff?cvsroot=ppl&r1=1.102&r2=1.103
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/Makefile.am.diff?cvsroot=ppl&r1=1.106&r2=1.107
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/Makefile.am.diff?cvsroot=ppl&r1=1.82&r2=1.83
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/Makefile.am.diff?cvsroot=ppl&r1=1.72&r2=1.73
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/Makefile.am.diff?cvsroot=ppl&r1=1.35&r2=1.36
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/m4.m4?cvsroot=ppl&rev=1.1




More information about the PPL-devel mailing list