[PPL-devel] Polyhedra/gmp-3.1.1 Makefile.in ansi2knr.c con ...

[Roberto Bagnara]

CVSROOT:	/usr/local/cvsroot/pma2000
Module name:	Polyhedra
Changes by:	roberto at sandbox.cs.unipr.it	01/08/27 21:47:56

Modified files:
	gmp-3.1.1      : Makefile.in ansi2knr.c configure.in 
	                 mkinstalldirs 
	gmp-3.1.1/demos: Makefile.in 
	gmp-3.1.1/mpbsd: Makefile.in 
	gmp-3.1.1/mpbsd/tests: Makefile.in 
	gmp-3.1.1/mpf  : Makefile.in 
	gmp-3.1.1/mpf/tests: Makefile.in 
	gmp-3.1.1/mpfr : Makefile.in 
	gmp-3.1.1/mpfr/tests: Makefile.in 
	gmp-3.1.1/mpn  : Makefile.in 
	gmp-3.1.1/mpn/tests: Makefile.in 
	gmp-3.1.1/mpq  : Makefile.in 
	gmp-3.1.1/mpq/tests: Makefile.in 
	gmp-3.1.1/mpz  : Makefile.in 
	gmp-3.1.1/mpz/tests: Makefile.in 
	gmp-3.1.1/tests: Makefile.in 
	gmp-3.1.1/tests/rand: Makefile.in findlc.c 
	gmp-3.1.1/tune : Makefile.in 

Log message:
	Configuration mechanisms updated/improved.