dist-git conversion

Fix typo that causes a failure to update the common directory. (releng
#2781)
2010-07-29 09:42:44 +00:00 · 2009-11-26 01:43:55 +00:00 · 2009-04-18 09:49:04 +00:00 · 2009-04-14 08:05:17 +00:00 · 2009-04-14 08:02:55 +00:00 · 2008-11-04 17:19:47 +00:00
13 changed files with 307 additions and 471 deletions
--- a/.cvsignore
+++ b/.cvsignore
@ -1 +0,0 @@
-ppl-0.9.tar.gz
--- a/.gitignore
+++ b/.gitignore
@ -0,0 +1 @@
+ppl-0.10.2.tar.gz
--- a/21
+++ b/21
@ -1,21 +0,0 @@
-# Makefile for source rpm: ppl
-# $Id$
-NAME := ppl
-SPECFILE = $(firstword $(wildcard *.spec))
-
-define find-makefile-common
-for d in common ../common ../../common ; do if [ -f $$d/Makefile.common ] ; then if [ -f $$d/CVS/Root -a -w $$/Makefile.common ] ; then cd $$d ; cvs -Q update ; fi ; echo "$$d/Makefile.common" ; break ; fi ; done
-endef
-
-MAKEFILE_COMMON := $(shell $(find-makefile-common))
-
-ifeq ($(MAKEFILE_COMMON),)
-# attept a checkout
-define checkout-makefile-common
-test -f CVS/Root && { cvs -Q -d $$(cat CVS/Root) checkout common && echo "common/Makefile.common" ; } || { echo "ERROR: I can't figure out how to checkout the 'common' module." ; exit -1 ; } >&2
-endef
-
-MAKEFILE_COMMON := $(shell $(checkout-makefile-common))
-endif
-
-include $(MAKEFILE_COMMON)
--- a/ppl-0.10.2-Makefile.patch
+++ b/ppl-0.10.2-Makefile.patch
@ -0,0 +1,12 @@
+diff -ur ppl-0.10.1/Watchdog/doc/Makefile.in ppl-0.10.1-patched/Watchdog/doc/Makefile.in
+--- ppl-0.10.1/Watchdog/doc/Makefile.in	2000-04-11 10:36:59.000000000 +0100
+++ ppl-0.10.1-patched/Watchdog/doc/Makefile.in	2009-04-11 17:53:10.000000000 +0100
+@@ -163,7 +163,7 @@
+ debug_flag = @debug_flag@
+ 
+ # All the documentation in docdir.
+-docdir = @docdir@
+docdir = @docdir@/pwl
+ dvidir = @dvidir@
+ exec_prefix = @exec_prefix@
+ host = @host@
--- a/ppl-0.9-configure.patch
+++ b/ppl-0.9-configure.patch
@ -1,28 +0,0 @@
-diff -ur ppl-0.9/configure ppl-0.9-patched/configure
--- ppl-0.9/configure	2006-03-12 09:11:32.000000000 +0100
-+++ ppl-0.9-patched/configure	2007-06-07 15:19:05.000000000 +0200
-@@ -2389,8 +2389,8 @@
- fi
- 
- 
-CFLAGS="$COMP_FLAGS $OPT_FLAGS"
-CXXFLAGS="$COMP_FLAGS $OPT_FLAGS"
-+CFLAGS="$COMP_FLAGS $OPT_FLAGS $CFLAGS"
-+CXXFLAGS="$COMP_FLAGS $OPT_FLAGS $CXXFLAGS"
- 
- enableval=mpz
- echo "$as_me:$LINENO: checking the type of integral values to use as coefficients" >&5
-diff -ur ppl-0.9/Watchdog/configure ppl-0.9-patched/Watchdog/configure
--- ppl-0.9/Watchdog/configure	2006-03-12 09:11:24.000000000 +0100
-+++ ppl-0.9-patched/Watchdog/configure	2007-06-07 16:07:50.000000000 +0200
-@@ -5112,8 +5112,8 @@
-   ;;
- esac
- 
-CFLAGS="$COMP_FLAGS $OPT_FLAGS"
-CXXFLAGS="$COMP_FLAGS $OPT_FLAGS"
-+CFLAGS="$COMP_FLAGS $OPT_FLAGS $CFLAGS"
-+CXXFLAGS="$COMP_FLAGS $OPT_FLAGS $CXXFLAGS"
- 
- # Allow additions to C and C++ compilation flags
- 
--- a/ppl-0.9-cstdlib.patch
+++ b/ppl-0.9-cstdlib.patch
@ -1,11 +0,0 @@
-diff -ur ppl-0.9/utils/timings.cc ppl-0.9-patched/utils/timings.cc
--- ppl-0.9/utils/timings.cc	2006-01-01 09:27:38.000000000 +0100
-+++ ppl-0.9-patched/utils/timings.cc	2008-02-13 19:15:10.000000000 +0100
-@@ -29,6 +29,7 @@
- #include <iomanip>
- #include <cstring>
- #include <cerrno>
-+#include <cstdlib>
- 
- #ifdef HAVE_SYS_TIME_H
- # include <sys/time.h>
--- a/ppl-0.9-docfiles.patch
+++ b/ppl-0.9-docfiles.patch
@ -1,248 +0,0 @@
-*** ppl-0.9/interfaces/Prolog/GNU/README.gprolog	1970-01-01 01:00:00.000000000 +0100
--- ppl-0.9-patched/interfaces/Prolog/GNU/README.gprolog	2007-02-18 11:37:53.000000000 +0100
-***************
-*** 0 ****
--- 1,36 ----
-+ The GNU Prolog interface to the PPL is available both as a ``PPL
-+ enhanced'' GNU Prolog interpreter and as a library that can be linked
-+ to GNU Prolog programs.  Only GNU Prolog version 1.2.19 and later
-+ versions are supported.
-+ 
-+ So that it can be used with the GNU Prolog PPL interface (and, for
-+ that matter, with any foreign code), the GNU Prolog installation must
-+ be configured with the `--disable-regs' option.
-+ 
-+ 
-+ The `ppl_gprolog' Executable
-+ ----------------------------
-+ 
-+ The `ppl_gprolog' executable is simply the GNU Prolog interpreter with
-+ the Parma Polyhedra Library linked in.  The only thing you should do
-+ to use the library is to call `ppl_initialize/0' before any other PPL
-+ predicate and to call `ppl_finalize/0' when you are done with the
-+ library.
-+ 
-+ 
-+ Linking the Library To GNU Prolog Programs
-+ ------------------------------------------
-+ 
-+ In order to allow linking GNU Prolog programs to the PPL, the
-+ following files are installed in the directory `<prefix>/lib/ppl',
-+ where <prefix> is the root of your installation (`/usr' or
-+ `/usr/local' in most cases): `ppl_gprolog.pl' contains the required
-+ foreign declarations; `libppl_gprolog.*' contain the executable code
-+ for the GNU Prolog interface in various formats (static library,
-+ shared library, libtool library).  If your GNU Prolog program is
-+ constituted by, say, `source1.pl' and `source2.pl' and you want to
-+ create the executable `myprog', your compilation command may look like
-+ 
-+     gplc -o myprog <prefix>/lib/ppl/ppl_gprolog.pl source1.pl source2.pl \
-+       -L '-L<prefix>/lib/ppl -lppl_gprolog -L<prefix>/lib \
-+       -lppl -lgmpxx -lgmp -lstdc++'
-*** ppl-0.9/interfaces/Prolog/SWI/README.swiprolog	1970-01-01 01:00:00.000000000 +0100
--- ppl-0.9-patched/interfaces/Prolog/SWI/README.swiprolog	2007-02-18 11:38:09.000000000 +0100
-***************
-*** 0 ****
--- 1,33 ----
-+ The SWI-Prolog interface to the PPL is available both as a statically
-+ linked module or as a dynamically linked one.  Only SWI-Prolog version
-+ 5.6.0 and later versions are supported.
-+ 
-+ 
-+ The `ppl_pl' Executable
-+ -----------------------
-+ 
-+ The `ppl_pl' executable is simply the SWI-Prolog shell with the Parma
-+ Polyhedra Library statically linked: from within `ppl_pl' all the
-+ services of the library are available without further action.
-+ 
-+ 
-+ Loading the SWI-Prolog Interface Dynamically
-+ --------------------------------------------
-+ 
-+ In order to dynamically load the library from SWI-Prolog you should
-+ simply load `<prefix>/lib/ppl/ppl_swiprolog.pl', where <prefix> is the
-+ root of your installation (`/usr' or `/usr/local' in most cases).
-+ This will invoke `ppl_initialize/0' and `ppl_finalize/0'
-+ automatically.  Alternatively, you can load the library directly with
-+ 
-+     :- load_foreign_library('<prefix>/lib/ppl/libppl_swiprolog').
-+ 
-+ This will call `ppl_initialize/0' automatically.  Analogously,
-+ 
-+     :- unload_foreign_library('<prefix>/lib/ppl/libppl_swiprolog').
-+ 
-+ will, as part of the unload process, invoke `ppl_finalize/0'.
-+ 
-+ Notice that, for dynamic linking to work, you should have configured
-+ the library with the `--enable-shared' option (on most platforms this
-+ is the default).
-*** ppl-0.9/interfaces/Prolog/YAP/README.yap	1970-01-01 01:00:00.000000000 +0100
--- ppl-0.9-patched/interfaces/Prolog/YAP/README.yap	2007-02-18 11:38:21.000000000 +0100
-***************
-*** 0 ****
--- 1,11 ----
-+ The YAP Prolog interface to the PPL is available as a dynamically
-+ linked module.  Only YAP version 5.1.1 and following are supported.
-+ 
-+ In order to dynamically load the library from YAP you should simply
-+ load `<prefix>/lib/ppl/ppl_yap.pl', where <prefix> is the root of your
-+ installation (`/usr' or `/usr/local' in most cases).  This will invoke
-+ `ppl_initialize/0' automatically; it is the programmer's
-+ responsibility to call `ppl_finalize/0' when the PPL library is no
-+ longer needed.  Notice that, for dynamic linking to work, you should
-+ have configured the library with the `--enable-shared' option (on most
-+ platforms this is the default).
-*** ppl-0.9/Watchdog/README.doc	1970-01-01 01:00:00.000000000 +0100
--- ppl-0.9-patched/Watchdog/README.doc	2007-02-18 11:37:34.000000000 +0100
-***************
-*** 0 ****
--- 1,5 ----
-+ Use the Source, Luke!
-+ 
-+ Seriously, for this release of the Parma Watchdog Library,
-+ documentation is only available in the sources, in Doxygen format.
-+ Proper manuals will be included in future releases.
-diff -ur ppl-0.9/doc/Makefile.in ppl-0.9-patched/doc/Makefile.in
--- ppl-0.9/doc/Makefile.in	2006-03-12 09:11:41.000000000 +0100
-+++ ppl-0.9-patched/doc/Makefile.in	2007-06-12 20:41:45.000000000 +0200
-@@ -710,7 +710,7 @@
- 	for file in $(srcdir)/*.txt $(srcdir)/README.doc; do \
- 	  $(INSTALL_DATA) $$file $(DESTDIR)$(txtdir)/`basename $$file`; \
- 	done
-	for file in BUGS COPYING CREDITS ChangeLog NEWS README README.configure ; do \
-+	for file in BUGS COPYING CREDITS ChangeLog NEWS README README.configure TODO ; do \
- 	  $(INSTALL_DATA) $(srcdir)/../$$file $(DESTDIR)$(txtdir)/$$file; \
- 	done
- 
-@@ -719,7 +719,7 @@
- 
- uninstall-txt:
- 	rm -f $(DESTDIR)$(txtdir)/*.txt $(DESTDIR)$(txtdir)/README.doc
-	for file in BUGS COPYING CREDITS ChangeLog NEWS README README.configure ; do \
-+	for file in BUGS COPYING CREDITS ChangeLog NEWS README README.configure TODO ; do \
- 	  rm -f $(DESTDIR)$(txtdir)/$$file; \
- 	done
- 
-diff -ur ppl-0.9/doc/definitions.dox ppl-0.9-patched/doc/definitions.dox
--- ppl-0.9/doc/definitions.dox	2006-02-12 10:13:39.000000000 +0100
-+++ ppl-0.9-patched/doc/definitions.dox	2007-07-02 14:22:03.000000000 +0200
-@@ -2286,7 +2286,7 @@
- \anchor BHRZ03b
- R.&nbsp;Bagnara, P.&nbsp;M. Hill, E.&nbsp;Ricci, and E.&nbsp;Zaffanella.
-   Precise widening operators for convex polyhedra.
-  Quaderno 312, Dipartimento di Matematica, Università di Parma,
-+  Quaderno 312, Dipartimento di Matematica, UniversitÃ  di Parma,
-   Italy, 2003.
-   Available at <A HREF="http://www.cs.unipr.it/Publications/">http://www.cs.unipr.it/Publications/</A>.
- 
-@@ -2299,7 +2299,7 @@
- R.&nbsp;Bagnara, P.&nbsp;M. Hill, and E.&nbsp;Zaffanella.
-   A new encoding and implementation of not necessarily closed convex
-   polyhedra.
-  Quaderno 305, Dipartimento di Matematica, Università di Parma,
-+  Quaderno 305, Dipartimento di Matematica, UniversitÃ  di Parma,
-   Italy, 2002.
-   Available at <A HREF="http://www.cs.unipr.it/Publications/">http://www.cs.unipr.it/Publications/</A>.
- 
-@@ -2315,8 +2315,8 @@
-   the 1st CoLogNet Workshop on Component-based Software Development and
-   Implementation Technology for Computational Logic Systems</i>, pages 147-153,
-   Madrid, Spain, 2002.
-  Published as TR Number CLIP4/02.0, Universidad Politécnica de
-  Madrid, Facultad de Informática.
-+  Published as TR Number CLIP4/02.0, Universidad PolitÃ©cnica de
-+  Madrid, Facultad de InformÃ¡tica.
- 
- </DD>
- 
-@@ -2353,7 +2353,7 @@
- \anchor BHZ04
- R.&nbsp;Bagnara, P.&nbsp;M. Hill, and E.&nbsp;Zaffanella.
-   Widening operators for powerset domains.
-  Quaderno 349, Dipartimento di Matematica, Università di Parma,
-+  Quaderno 349, Dipartimento di Matematica, UniversitÃ  di Parma,
-   Italy, 2004.
-   Available at <A HREF="http://www.cs.unipr.it/Publications/">http://www.cs.unipr.it/Publications/</A>.
- 
-@@ -2365,7 +2365,7 @@
- \anchor BJT99
- F.&nbsp;Besson, T.&nbsp;P. Jensen, and J.-P. Talpin.
-   Polyhedral analysis for synchronous languages.
-  In A.&nbsp;Cortesi and G.&nbsp;Filé, editors, <i>Static Analysis:
-+  In A.&nbsp;Cortesi and G.&nbsp;FilÃ©, editors, <i>Static Analysis:
-   Proceedings of the 6th International Symposium</i>, volume 1694 of <i>Lecture
-   Notes in Computer Science</i>, pages 51-68, Venice, Italy, 1999.
-   Springer-Verlag, Berlin.
-@@ -2393,7 +2393,7 @@
- R.&nbsp;Bagnara, E.&nbsp;Ricci, E.&nbsp;Zaffanella, and P.&nbsp;M. Hill.
-   Possibly not closed convex polyhedra and the Parma Polyhedra
-   Library.
-  Quaderno 286, Dipartimento di Matematica, Università di Parma,
-+  Quaderno 286, Dipartimento di Matematica, UniversitÃ  di Parma,
-   Italy, 2002.
-   See also \ref BRZH02c "[BRZH02c]". Available at
-   <A HREF="http://www.cs.unipr.it/Publications/">http://www.cs.unipr.it/Publications/</A>.
-@@ -2541,7 +2541,7 @@
- E.&nbsp;Gawrilow and M.&nbsp;Joswig.
-   <tt>polymake</tt>: a framework for analyzing convex polytopes.
-   In G.&nbsp;Kalai and G.&nbsp;M. Ziegler, editors, <i>Polytopes -
-  Combinatorics and Computation</i>, pages 43-74. Birkhäuser, 2000.
-+  Combinatorics and Computation</i>, pages 43-74. BirkhÃ¤user, 2000.
- 
- </DD>
- 
-@@ -2562,10 +2562,10 @@
- <DD>
- \anchor Hal79
- N.&nbsp;Halbwachs.
-  <i>Détermination Automatique de Relations Linéaires
-  Vérifiées par les Variables d'un Programme</i>.
-  Thèse de 3ème cycle d'informatique,
-  Université scientifique et médicale de Grenoble, Grenoble, France, March
-+  <i>DÃ©termination Automatique de Relations LinÃ©aires
-+  VÃ©rifiÃ©es par les Variables d'un Programme</i>.
-+  ThÃ¨se de 3Ã¨me cycle d'informatique,
-+  UniversitÃ© scientifique et mÃ©dicale de Grenoble, Grenoble, France, March
-   1979.
- 
- </DD>
-@@ -2725,7 +2725,7 @@
- F.&nbsp;Masdupuy.
-   <i>Array Indices Relational Semantic Analysis Using Rational Cosets
-   and Trapezoids</i>.
-  Thèse d'informatique, École Polytechnique, Palaiseau, France,
-+  ThÃ¨se d'informatique, Ã‰cole Polytechnique, Palaiseau, France,
-   December 1993.
- 
- </DD>
-diff -ur ppl-0.9/NEWS ppl-0.9-patched/NEWS
--- ppl-0.9/NEWS	2006-03-05 18:31:24.000000000 +0100
-+++ ppl-0.9-patched/NEWS	2007-07-02 14:22:29.000000000 +0200
-@@ -1006,10 +1006,10 @@
-    of the widenings introduced in
- 
-      N. Halbwachs.
-     Détermination Automatique de Relations Linéaires
-     Vérifiées par les Variables d'un Programme.
-     Thèse de 3ème cicle d'informatique,
-     Université scientifique et médicale de Grenoble,
-+     DÃ©termination Automatique de Relations LinÃ©aires
-+     VÃ©rifiÃ©es par les Variables d'un Programme.
-+     ThÃ¨se de 3Ã¨me cicle d'informatique,
-+     UniversitÃ© scientifique et mÃ©dicale de Grenoble,
-      Grenoble, France, March 1979.
- 
-    and described in
-diff -ur ppl-0.9/TODO ppl-0.9-patched/TODO
--- ppl-0.9/TODO	2006-03-05 22:50:55.000000000 +0100
-+++ ppl-0.9-patched/TODO	2007-07-02 14:22:40.000000000 +0200
-@@ -37,7 +37,7 @@
- - Reimplement the ask-and-tell generic construction.
- - Suppose we are only interested in integral solutions (as is the
-   case, e.g., in most termination analyses).  Then cutting-plane methods
-  (Gomory, Chvátal, ...) allow to shrink polyhedra still not losing any
-+  (Gomory, ChvÃ¡tal, ...) allow to shrink polyhedra still not losing any
-   integral solution.
-   See http://www.cs.unipr.it/ppl/Documentation/bibliography#NemhauserW88
- 
--- a/ppl-0.9-makefiles.patch
+++ b/ppl-0.9-makefiles.patch
@ -1,48 +0,0 @@
-diff -ur ppl-0.9/interfaces/Prolog/GNU/Makefile.in ppl-0.9-patched/interfaces/Prolog/GNU/Makefile.in
--- ppl-0.9/interfaces/Prolog/GNU/Makefile.in	2006-03-12 09:11:43.000000000 +0100
-+++ ppl-0.9-patched/interfaces/Prolog/GNU/Makefile.in	2007-06-07 21:58:12.000000000 +0200
-@@ -700,7 +700,7 @@
- @BUILD_GNU_PROLOG_INTERFACE_TRUE@ppl_gprolog$(EXEEXT): libppl_gprolog.la ppl_gprolog.pl
- @BUILD_GNU_PROLOG_INTERFACE_TRUE@	gplc --c-compiler $(CXX) -o $@ \
- @BUILD_GNU_PROLOG_INTERFACE_TRUE@		$(srcdir)/ppl_gprolog.pl $(LIBPPL_GPROLOG) \
-@BUILD_GNU_PROLOG_INTERFACE_TRUE@		-L '$(AM_CXXFLAGS) $(CXXFLAGS) -L$(top_builddir)/src/.libs -lppl -L$(top_builddir)/Watchdog/src/.libs -lpwl -lgmpxx -lgmp'
-+@BUILD_GNU_PROLOG_INTERFACE_TRUE@		-L '$(AM_CXXFLAGS) $(CXXFLAGS) -Wl,-rpath -Wl,$(pkglibdir) -L$(top_builddir)/src/.libs -lppl -L$(top_builddir)/Watchdog/src/.libs -lpwl -lgmpxx -lgmp'
- 
- @BUILD_GNU_PROLOG_INTERFACE_TRUE@gp_clpq: libppl_gprolog.la ppl_gprolog.pl gp_clpq.pl ../tests/clpq.pl
- @BUILD_GNU_PROLOG_INTERFACE_TRUE@	gplc --c-compiler $(CXX) -o $@ \
-diff -ur ppl-0.9/interfaces/C/Makefile.in ppl-0.9-patched/interfaces/C/Makefile.in
--- ppl-0.9/interfaces/C/Makefile.in	2006-03-12 09:11:41.000000000 +0100
-+++ ppl-0.9-patched/interfaces/C/Makefile.in	2007-06-08 19:25:19.000000000 +0200
-@@ -90,7 +90,8 @@
- am__installdirs = "$(DESTDIR)$(libdir)" "$(DESTDIR)$(includedir)"
- libLTLIBRARIES_INSTALL = $(INSTALL)
- LTLIBRARIES = $(lib_LTLIBRARIES)
-libppl_c_la_LIBADD =
-+@BUILD_C_INTERFACE_TRUE@libppl_c_la_DEPENDENCIES =  \
-+@BUILD_C_INTERFACE_TRUE@       $(top_builddir)/src/libppl.la
- am__libppl_c_la_SOURCES_DIST = ppl_c.cc
- @BUILD_C_INTERFACE_TRUE@am_libppl_c_la_OBJECTS = ppl_c.lo
- libppl_c_la_OBJECTS = $(am_libppl_c_la_OBJECTS)
-@@ -342,6 +343,10 @@
- 
- @BUILD_C_INTERFACE_TRUE@lib_LTLIBRARIES = libppl_c.la
- @BUILD_C_INTERFACE_TRUE@libppl_c_la_SOURCES = ppl_c.cc
-+@BUILD_C_INTERFACE_TRUE@libppl_c_la_LIBADD = \
-+@BUILD_C_INTERFACE_TRUE@$(top_builddir)/src/libppl.la \
-+@BUILD_C_INTERFACE_TRUE@@extra_libraries@
-+
- @BUILD_C_INTERFACE_TRUE@libppl_c_la_LDFLAGS = \
- @BUILD_C_INTERFACE_TRUE@-version-info $(LIBPPL_C_LT_CURRENT):$(LIBPPL_C_LT_REVISION):$(LIBPPL_C_LT_AGE)
- 
-diff -ur ppl-0.9/src/Makefile.in ppl-0.9-patched/src/Makefile.in
--- ppl-0.9/src/Makefile.in	2006-03-12 09:11:46.000000000 +0100
-+++ ppl-0.9-patched/src/Makefile.in	2007-06-08 19:21:17.000000000 +0200
-@@ -708,7 +708,7 @@
- swapping_sort.icc
- 
- @NO_UNDEFINED_TRUE@NO_UNDEFINED_FLAG = -no-undefined
-@NO_UNDEFINED_TRUE@libppl_la_LIBADD = @extra_libraries@
-+libppl_la_LIBADD = @extra_libraries@
- libppl_la_LDFLAGS = \
- $(NO_UNDEFINED_FLAG) \
- -version-info $(LIBPPL_LT_CURRENT):$(LIBPPL_LT_REVISION):$(LIBPPL_LT_AGE)
--- a/ppl.hh
+++ b/ppl.hh
@ -1,5 +1,5 @@
 /* This is the header file switcher of the Parma Polyhedra Library.
-   Copyright (C) 2001-2008 Roberto Bagnara <bagnara@cs.unipr.it>
+   Copyright (C) 2001-2009 Roberto Bagnara <bagnara@cs.unipr.it>

 This file is part of the Parma Polyhedra Library (PPL).

@ -38,6 +38,12 @@ site: http://www.cs.unipr.it/ppl/ . */
 #include "ppl-s390x.hh"
 #elif defined(__s390__)
 #include "ppl-s390.hh"
+#elif defined(__sh__)
+#include "ppl-sh.hh"
+#elif defined(__sparc__) && defined(__arch64__)
+#include "ppl-sparc64.hh"
+#elif defined(__sparc__)
+#include "ppl-sparc.hh"
 #else
 #error "This architecture is not supported by the currently installed ppl-devel packages."
 #endif
--- a/ppl.spec
+++ b/ppl.spec
@ -1,24 +1,26 @@
-Name:		ppl
-Version:	0.9
-Release:	19%{?dist}
+#%define opt %(test -x %{_bindir}/ocamlopt && echo 1 || echo 0)

-Summary:	The Parma Polyhedra Library: a library of numerical abstractions
-Group:		Development/Libraries
-License:	GPLv2+
-URL:		http://www.cs.unipr.it/ppl/
-Source0:	ftp://ftp.cs.unipr.it/pub/ppl/releases/%{version}/%{name}-%{version}.tar.gz
-Source1:	ppl.hh
-Source2:	ppl_c.h
-Source3:	pwl.hh
-Patch0:		ppl-0.9-docfiles.patch
-Patch1:		ppl-0.9-configure.patch
-Patch2:		ppl-0.9-makefiles.patch
-Patch3:		ppl-0.9-cstdlib.patch
+Name:           ppl
+Version:        0.10.2
+Release:        1%{?dist}
+
+Summary:        The Parma Polyhedra Library: a library of numerical abstractions
+Group:          Development/Libraries
+License:        GPLv3+
+URL:            http://www.cs.unipr.it/ppl/
+Source0:        ftp://ftp.cs.unipr.it/pub/ppl/releases/%{version}/%{name}-%{version}.tar.gz
+Source1:        ppl.hh
+Source2:        ppl_c.h
+Source3:        pwl.hh
+Patch0:         ppl-0.10.2-Makefile.patch
+#Patch1:
 #Icon:
 #Requires:
-BuildRequires:	gmp-devel >= 4.1.3
-BuildRoot:	%{_tmppath}/%{name}-%{version}-%{release}-root
-#Prefix:	/usr
+Requires(post): /sbin/ldconfig
+Requires(postun): /sbin/ldconfig
+BuildRequires:  gmp-devel >= 4.1.3, m4 >= 1.4.8
+BuildRoot:      %(mktemp -ud %{_tmppath}/%{name}-%{version}-%{release}-XXXXXX)
+#Prefix:        /usr

 %description
 The Parma Polyhedra Library (PPL) is a library for the manipulation of
@ -34,105 +36,135 @@ software.  This package provides all what is necessary to run
 applications using the PPL through its C and C++ interfaces.

 %package devel
-Summary:	Development tools for the Parma Polyhedra Library C and C++ interfaces
-Group:		Development/Libraries
-Requires:	ppl = %{version}-%{release}, gmp-devel >= 4.1.3
+Summary:        Development tools for the Parma Polyhedra Library C and C++ interfaces
+Group:          Development/Libraries
+Requires:       %{name} = %{version}-%{release}, gmp-devel >= 4.1.3
 %description devel
-The header files, Autoconf macro, documentation, and ppl-config tool
-developing applications using the Parma Polyhedra Library through its
-C and C++ interfaces.
+The header files, Autoconf macro and minimal documentation for
+developing applications using the Parma Polyhedra Library through
+its C and C++ interfaces.

 %package static
-Summary:	Static archives for the Parma Polyhedra Library C and C++ interfaces
-Group:		Development/Libraries
-Requires:	ppl-devel = %{version}-%{release}
+Summary:        Static archives for the Parma Polyhedra Library C and C++ interfaces
+Group:          Development/Libraries
+Requires:       %{name}-devel = %{version}-%{release}
 %description static
 The static archives for the Parma Polyhedra Library C and C++ interfaces.

 %package utils
-Summary:	Utilities using the Parma Polyhedra Library
-Group:		Development/Libraries
-Requires:	ppl = %{version}-%{release}
-BuildRequires:	glpk-devel >= 4.13
+Summary:        Utilities using the Parma Polyhedra Library
+Group:          Development/Libraries
+Requires:       %{name} = %{version}-%{release}
+BuildRequires:  glpk-devel >= 4.13
 %description utils
-This package contains the (mixed integer) linear programming solver ppl_lpsol
+This package contains the mixed integer linear programming solver ppl_lpsol
 and the program ppl_lcdd for vertex/facet enumeration of convex polyhedra.

-%ifnarch ppc64
+%ifnarch ia64 ppc64 s390 s390x
 %package gprolog
 # The `gprolog' package is not available on ppc64:
 # the GNU Prolog interface must thus be disabled for that architecture.
-Summary:	The GNU Prolog interface of the Parma Polyhedra Library
-Group:		Development/Libraries
-BuildRequires:	gprolog >= 1.2.19
-Requires:	ppl = %{version}-%{release}, ppl-pwl = %{version}-%{release}, gprolog >= 1.2.19
+Summary:        The GNU Prolog interface of the Parma Polyhedra Library
+Group:          Development/Libraries
+BuildRequires:  gprolog >= 1.2.19
+Requires:       %{name} = %{version}-%{release}, %{name}-pwl = %{version}-%{release}, gprolog >= 1.2.19
 %description gprolog
 This package adds GNU Prolog support to the Parma Polyhedra Library (PPL).
 Install this package if you want to use the library in GNU Prolog programs.
 %endif

-%ifnarch ppc64
+%ifnarch ia64 ppc64 s390 s390x
 %package gprolog-static
-Summary:	The static archive for the GNU Prolog interface of the Parma Polyhedra Library
-Group:		Development/Libraries
-Requires:	ppl-gprolog = %{version}-%{release}
+Summary:        The static archive for the GNU Prolog interface of the Parma Polyhedra Library
+Group:          Development/Libraries
+Requires:       %{name}-gprolog = %{version}-%{release}
 %description gprolog-static
 This package contains the static archive for the GNU Prolog interface
 of the Parma Polyhedra Library.
 %endif

-%ifnarch ppc64
 %package swiprolog
-Summary:	The SWI-Prolog interface of the Parma Polyhedra Library
-Group:		Development/Libraries
-BuildRequires:	pl >= 5.6.0
-Requires:	ppl = %{version}-%{release}, ppl-pwl = %{version}-%{release}, pl >= 5.6.0
+Summary:        The SWI-Prolog interface of the Parma Polyhedra Library
+Group:          Development/Libraries
+BuildRequires:  pl-devel >= 5.6.57-2
+Requires:       %{name} = %{version}-%{release}, %{name}-pwl = %{version}-%{release}, pl >= 5.6.57-2
 %description swiprolog
 This package adds SWI-Prolog support to the Parma Polyhedra Library.
-Install this package if you want to use the library in SWI Prolog programs.
-%endif
+Install this package if you want to use the library in SWI-Prolog programs.

-%ifnarch ppc64
 %package swiprolog-static
-Summary:	The static archive for the SWI-Prolog interface of the Parma Polyhedra Library
-Group:		Development/Libraries
-BuildRequires:	pl >= 5.6.0
-Requires:	ppl-swiprolog = %{version}-%{release}
+Summary:        The static archive for the SWI-Prolog interface of the Parma Polyhedra Library
+Group:          Development/Libraries
+BuildRequires:  pl-devel >= 5.6.57-2, pl-static >= 5.6.57-2
+Requires:       %{name}-swiprolog = %{version}-%{release}
 %description swiprolog-static
 This package contains the static archive for the SWI-Prolog interface
 of the Parma Polyhedra Library.
-%endif

 %package yap
-Summary:	The YAP Prolog interface of the Parma Polyhedra Library
-Group:		Development/Libraries
-BuildRequires:	yap-devel >= 5.1.1
-Requires:	ppl = %{version}-%{release}, ppl-pwl = %{version}-%{release}, yap >= 5.1.1
+Summary:        The YAP Prolog interface of the Parma Polyhedra Library
+Group:          Development/Libraries
+BuildRequires:  yap-devel >= 5.1.1
+Requires:       %{name} = %{version}-%{release}, %{name}-pwl = %{version}-%{release}, yap >= 5.1.1
+Obsoletes:      ppl-yap-static
 %description yap
 This package adds YAP Prolog support to the Parma Polyhedra Library (PPL).
 Install this package if you want to use the library in YAP Prolog programs.

-%package yap-static
-Summary:	The static archive for the YAP Prolog interface of the Parma Polyhedra Library
-Group:		Development/Libraries
-BuildRequires:	yap-devel >= 5.1.1
-Requires:	ppl-yap = %{version}-%{release}
-%description yap-static
-This package contains the static archive for the YAP Prolog interface
+#%package ocaml
+#Summary:        The OCaml interface of the Parma Polyhedra Library
+#Group:          Development/Libraries
+#BuildRequires:  ocaml >= 3.09
+#Requires:       %{name} = %{version}-%{release}
+#%description ocaml
+#This package adds Objective Caml (OCaml) support to the Parma
+#Polyhedra Library.  Install this package if you want to use the
+#library in OCaml programs.
+
+#%package ocaml-devel
+#Summary:        The OCaml interface of the Parma Polyhedra Library
+#Group:          Development/Libraries
+#Requires:       %{name}-ocaml = %{version}-%{release}
+#%description ocaml-devel
+#This package contains libraries and signature files for developing
+#applications using the OCaml interface of the Parma Polyhedra Library.
+
+%package java
+Summary:        The Java interface of the Parma Polyhedra Library
+Group:          Development/Libraries
+BuildRequires:  java-devel >= 1:1.6.0
+BuildRequires:  jpackage-utils
+Requires:       java >= 1:1.6.0
+Requires:       jpackage-utils
+Requires:       %{name} = %{version}-%{release}
+%description java
+This package adds Java support to the Parma Polyhedra Library.
+Install this package if you want to use the library in Java programs.
+
+%package java-javadoc
+Summary:        Javadocs for %{name}-java
+Group:          Documentation
+Requires:       %{name}-java = %{version}-%{release}
+Requires:       jpackage-utils
+%description java-javadoc
+This package contains the API documentation for Java interface
 of the Parma Polyhedra Library.

+
 %package docs
-Summary:	Documentation for the Parma Polyhedra Library
-Group:		Documentation
-Requires:	ppl = %{version}-%{release}
+Summary:        Documentation for the Parma Polyhedra Library
+Group:          Documentation
+Requires:       %{name} = %{version}-%{release}
 %description docs
 This package contains all the documentations required by programmers
 using the Parma Polyhedra Library (PPL).
 Install this package if you want to program with the PPL.

 %package pwl
-Summary:	The Parma Watchdog Library: a C++ library for watchdog timers
-Group:		Development/Libraries
+Summary:        The Parma Watchdog Library: a C++ library for watchdog timers
+Group:          Development/Libraries
+Requires(post): /sbin/ldconfig
+Requires(postun): /sbin/ldconfig
 %description pwl
 The Parma Watchdog Library (PWL) provides support for multiple,
 concurrent watchdog timers on systems providing setitimer(2).  This
@ -141,37 +173,46 @@ PWL.  The PWL is currently distributed with the Parma Polyhedra
 Library, but is totally independent from it.

 %package pwl-devel
-Summary:	Development tools for the Parma Watchdog Library
-Group:		Development/Libraries
-Requires:	ppl-pwl = %{version}-%{release}
+Summary:        Development tools for the Parma Watchdog Library
+Group:          Development/Libraries
+Requires:       %{name}-pwl = %{version}-%{release}
 %description pwl-devel
 The header files, documentation and static libraries for developing
 applications using the Parma Watchdog Library.

 %package pwl-static
-Summary:	Static archive for the Parma Watchdog Library
-Group:		Development/Libraries
-Requires:	ppl-pwl-devel = %{version}-%{release}
+Summary:        Static archive for the Parma Watchdog Library
+Group:          Development/Libraries
+Requires:       %{name}-pwl-devel = %{version}-%{release}
 %description pwl-static
 This package contains the static archive for the Parma Watchdog Library.

+%package pwl-docs
+Summary:        Documentation for the Parma Watchdog Library
+Group:          Documentation
+Requires:       %{name}-pwl = %{version}-%{release}
+%description pwl-docs
+This package contains all the documentations required by programmers
+using the Parma Watchdog Library (PWL).
+Install this package if you want to program with the PWL.
+

 %prep
 %setup -q
 %patch0 -p1
-%patch1 -p1
-%patch2 -p1
-%patch3 -p1
+#%patch1 -p1

 %build
 CPPFLAGS="-I%{_includedir}/glpk"
-%ifnarch ppc64
+%ifnarch ia64 ppc64 s390 s390x
 CPPFLAGS="$CPPFLAGS -I%{_libdir}/gprolog-`gprolog --version 2>&1 | head -1 | sed -e "s/.* \([^ ]*\)$/\1/g"`/include"
 %endif
 CPPFLAGS="$CPPFLAGS -I%{_includedir}/Yap"
-%configure --enable-shared --disable-rpath CPPFLAGS="$CPPFLAGS"
+%configure --docdir=%{_datadir}/doc/%{name}-%{version} --enable-shared --disable-rpath --enable-interfaces="c++ c gnu_prolog swi_prolog yap_prolog java" CPPFLAGS="$CPPFLAGS"
 sed -i 's|^hardcode_libdir_flag_spec=.*|hardcode_libdir_flag_spec=""|g' libtool
 sed -i 's|^runpath_var=LD_RUN_PATH|runpath_var=DIE_RPATH_DIE|g' libtool
+sed -i 's|^hardcode_libdir_flag_spec=.*|hardcode_libdir_flag_spec=""|g' Watchdog/libtool
+sed -i 's|^runpath_var=LD_RUN_PATH|runpath_var=DIE_RPATH_DIE|g' Watchdog/libtool
 make %{?_smp_mflags}

 %install
@ -186,7 +227,8 @@ rm -f %{buildroot}%{_libdir}/*.la %{buildroot}%{_libdir}/%{name}/*.la
 # the architecture for which the compiler is compiling.

 # Since our header files only depend on the sizeof things, we smash
-# ix86 onto i386 and arm* onto arm.
+# ix86 onto i386 and arm* onto arm.  For the SuperH RISC engine family,
+# we smash sh3 and sh4 onto sh.
 normalized_arch=%{_arch}
 %ifarch %{ix86}
 normalized_arch=i386
@ -194,6 +236,9 @@ normalized_arch=i386
 %ifarch %{arm}
 normalized_arch=arm
 %endif
+%ifarch sh3 sh4
+normalized_arch=sh
+%endif

 mv %{buildroot}/%{_includedir}/ppl.hh %{buildroot}/%{_includedir}/ppl-${normalized_arch}.hh
 install -m644 %{SOURCE1} %{buildroot}/%{_includedir}/ppl.hh
@ -202,32 +247,39 @@ install -m644 %{SOURCE2} %{buildroot}/%{_includedir}/ppl_c.h
 mv %{buildroot}/%{_includedir}/pwl.hh %{buildroot}/%{_includedir}/pwl-${normalized_arch}.hh
 install -m644 %{SOURCE3} %{buildroot}/%{_includedir}/pwl.hh

+# Install the Javadocs for ppl-java.
+mkdir -p %{buildroot}%{_javadocdir}
+mv \
+%{buildroot}/%{_datadir}/doc/%{name}-%{version}/ppl-user-java-interface-%{version}-html \
+%{buildroot}%{_javadocdir}/%{name}-java
+
 %files
 %defattr(-,root,root,-)
-%doc %{_datadir}/doc/%{name}/BUGS
-%doc %{_datadir}/doc/%{name}/COPYING
-%doc %{_datadir}/doc/%{name}/CREDITS
-%doc %{_datadir}/doc/%{name}/ChangeLog
-%doc %{_datadir}/doc/%{name}/NEWS
-%doc %{_datadir}/doc/%{name}/README
-%doc %{_datadir}/doc/%{name}/TODO
-%doc %{_datadir}/doc/%{name}/gpl.*
+%doc %{_datadir}/doc/%{name}-%{version}/BUGS
+%doc %{_datadir}/doc/%{name}-%{version}/COPYING
+%doc %{_datadir}/doc/%{name}-%{version}/CREDITS
+%doc %{_datadir}/doc/%{name}-%{version}/NEWS
+%doc %{_datadir}/doc/%{name}-%{version}/README
+%doc %{_datadir}/doc/%{name}-%{version}/README.configure
+%doc %{_datadir}/doc/%{name}-%{version}/TODO
+%doc %{_datadir}/doc/%{name}-%{version}/gpl.txt
 %{_libdir}/libppl.so.*
 %{_libdir}/libppl_c.so.*
-
+%{_bindir}/ppl-config
+%{_mandir}/man1/ppl-config.1.gz
 %dir %{_libdir}/%{name}
-%dir %{_datadir}/doc/%{name}
+%dir %{_datadir}/doc/%{name}-%{version}

 %files devel
 %defattr(-,root,root,-)
-%doc %{_datadir}/doc/%{name}/README.configure
 %{_includedir}/ppl*.hh
 %{_includedir}/ppl_c*.h
 %{_libdir}/libppl.so
 %{_libdir}/libppl_c.so
-%{_bindir}/ppl-config
-%{_mandir}/man1/ppl-config.1.gz
+%{_mandir}/man3/libppl.3.gz
+%{_mandir}/man3/libppl_c.3.gz
 %{_datadir}/aclocal/ppl.m4
+%{_datadir}/aclocal/ppl_c.m4

 %files static
 %defattr(-,root,root,-)
@ -241,7 +293,7 @@ install -m644 %{SOURCE3} %{buildroot}/%{_includedir}/pwl.hh
 %{_mandir}/man1/ppl_lcdd.1.gz
 %{_mandir}/man1/ppl_lpsol.1.gz

-%ifnarch ppc64
+%ifnarch ia64 ppc64 s390 s390x
 %files gprolog
 %defattr(-,root,root,-)
 %doc interfaces/Prolog/GNU/README.gprolog
@ -250,26 +302,22 @@ install -m644 %{SOURCE3} %{buildroot}/%{_includedir}/pwl.hh
 %{_libdir}/%{name}/libppl_gprolog.so
 %endif

-%ifnarch ppc64
+%ifnarch ia64 ppc64 s390 s390x
 %files gprolog-static
 %defattr(-,root,root,-)
 %{_libdir}/%{name}/libppl_gprolog.a
 %endif

-%ifnarch ppc64
 %files swiprolog
 %defattr(-,root,root,-)
 %doc interfaces/Prolog/SWI/README.swiprolog
 %{_bindir}/ppl_pl
 %{_libdir}/%{name}/libppl_swiprolog.so
 %{_libdir}/%{name}/ppl_swiprolog.pl
-%endif

-%ifnarch ppc64
 %files swiprolog-static
 %defattr(-,root,root,-)
 %{_libdir}/%{name}/libppl_swiprolog.a
-%endif

 %files yap
 %defattr(-,root,root,-)
@ -277,26 +325,64 @@ install -m644 %{SOURCE3} %{buildroot}/%{_includedir}/pwl.hh
 %{_libdir}/%{name}/ppl_yap.pl
 %{_libdir}/%{name}/ppl_yap.so

-%files yap-static
+#%files ocaml
+#%defattr(-,root,root,-)
+#%doc interfaces/OCaml/README.ocaml
+#%{_libdir}/%{name}/ppl_ocaml.cma
+#%{_libdir}/%{name}/ppl_ocaml.cmi
+#%{_libdir}/%{name}/ppl_ocaml_globals.cmi
+
+#%files ocaml-devel
+#%defattr(-,root,root,-)
+#%{_libdir}/%{name}/libppl_ocaml.a
+#%{_libdir}/%{name}/ppl_ocaml.mli
+
+%files java
 %defattr(-,root,root,-)
-%{_libdir}/%{name}/ppl_yap.a
+%doc interfaces/Java/README.java
+%{_libdir}/%{name}/libppl_java.so
+%{_libdir}/%{name}/ppl_java.jar
+
+%files java-javadoc
+%defattr(-,root,root,-)
+%{_javadocdir}/%{name}-java

 %files docs
 %defattr(-,root,root,-)
-%doc %{_datadir}/doc/%{name}/README.doc
-%doc %{_datadir}/doc/%{name}/ppl-user-0.9-html/
-%doc %{_datadir}/doc/%{name}/fdl.*
-%doc %{_datadir}/doc/%{name}/ppl-user-0.9.pdf
-%doc %{_datadir}/doc/%{name}/ppl-user-0.9.ps.gz
+%doc %{_datadir}/doc/%{name}-%{version}/ChangeLog*
+%doc %{_datadir}/doc/%{name}-%{version}/README.doc
+%doc %{_datadir}/doc/%{name}-%{version}/fdl.*
+%doc %{_datadir}/doc/%{name}-%{version}/gpl.pdf
+%doc %{_datadir}/doc/%{name}-%{version}/gpl.ps.gz
+%doc %{_datadir}/doc/%{name}-%{version}/ppl-user-%{version}-html/
+%doc %{_datadir}/doc/%{name}-%{version}/ppl-user-c-interface-%{version}-html/
+#%doc %{_datadir}/doc/%{name}-%{version}/ppl-user-ocaml-interface-%{version}-html/
+%doc %{_datadir}/doc/%{name}-%{version}/ppl-user-prolog-interface-%{version}-html/
+%doc %{_datadir}/doc/%{name}-%{version}/ppl-user-%{version}.pdf
+%doc %{_datadir}/doc/%{name}-%{version}/ppl-user-c-interface-%{version}.pdf
+%doc %{_datadir}/doc/%{name}-%{version}/ppl-user-java-interface-%{version}.pdf
+#%doc %{_datadir}/doc/%{name}-%{version}/ppl-user-ocaml-interface-%{version}.pdf
+%doc %{_datadir}/doc/%{name}-%{version}/ppl-user-prolog-interface-%{version}.pdf
+%doc %{_datadir}/doc/%{name}-%{version}/ppl-user-%{version}.ps.gz
+%doc %{_datadir}/doc/%{name}-%{version}/ppl-user-c-interface-%{version}.ps.gz
+%doc %{_datadir}/doc/%{name}-%{version}/ppl-user-java-interface-%{version}.ps.gz
+#%doc %{_datadir}/doc/%{name}-%{version}/ppl-user-ocaml-interface-%{version}.ps.gz
+%doc %{_datadir}/doc/%{name}-%{version}/ppl-user-prolog-interface-%{version}.ps.gz

 %files pwl
 %defattr(-,root,root,-)
-%doc Watchdog/BUGS Watchdog/COPYING Watchdog/CREDITS Watchdog/ChangeLog Watchdog/NEWS Watchdog/README
+%doc %{_datadir}/doc/%{name}-%{version}/pwl/BUGS
+%doc %{_datadir}/doc/%{name}-%{version}/pwl/COPYING
+%doc %{_datadir}/doc/%{name}-%{version}/pwl/CREDITS
+%doc %{_datadir}/doc/%{name}-%{version}/pwl/NEWS
+%doc %{_datadir}/doc/%{name}-%{version}/pwl/README
+%doc %{_datadir}/doc/%{name}-%{version}/pwl/gpl.txt
 %{_libdir}/libpwl.so.*
+%dir %{_datadir}/doc/%{name}-%{version}/pwl

 %files pwl-devel
 %defattr(-,root,root,-)
-%doc Watchdog/README.doc
+%doc Watchdog/doc/README.doc
 %{_includedir}/pwl*.hh
 %{_libdir}/libpwl.so

@ -304,6 +390,17 @@ install -m644 %{SOURCE3} %{buildroot}/%{_includedir}/pwl.hh
 %defattr(-,root,root,-)
 %{_libdir}/libpwl.a

+%files pwl-docs
+%defattr(-,root,root,-)
+%doc %{_datadir}/doc/%{name}-%{version}/pwl/ChangeLog*
+%doc %{_datadir}/doc/%{name}-%{version}/pwl/README.doc
+%doc %{_datadir}/doc/%{name}-%{version}/pwl/fdl.*
+%doc %{_datadir}/doc/%{name}-%{version}/pwl/gpl.ps.gz
+%doc %{_datadir}/doc/%{name}-%{version}/pwl/gpl.pdf
+%doc %{_datadir}/doc/%{name}-%{version}/pwl/pwl-user-0.7-html/
+%doc %{_datadir}/doc/%{name}-%{version}/pwl/pwl-user-0.7.pdf
+%doc %{_datadir}/doc/%{name}-%{version}/pwl/pwl-user-0.7.ps.gz
+
 %post -p /sbin/ldconfig
 %postun -p /sbin/ldconfig
 %post pwl -p /sbin/ldconfig
@ -313,6 +410,71 @@ install -m644 %{SOURCE3} %{buildroot}/%{_includedir}/pwl.hh
 rm -rf %{buildroot}

 %changelog
+* Sat Apr 18 2009 Roberto Bagnara <bagnara@cs.unipr.it> 0.10.2-1
+- Updated for PPL 0.10.2.
+
+* Tue Apr 14 2009 Roberto Bagnara <bagnara@cs.unipr.it> 0.10.1-1
+- Updated for PPL 0.10.1.
+
+* Sun Mar 29 2009 Roberto Bagnara <bagnara@cs.unipr.it> 0.10-11
+- Moved changelogs and PostScript and PDF versions of the GPL to the
+  `docs' subpackages. This saves considerable space on the live media.
+
+* Tue Mar 24 2009 Roberto Bagnara <bagnara@cs.unipr.it> 0.10-10
+- There are no GNU Prolog packages available on ia64: disable the GNU Prolog
+  interface also on those platforms (besides ppc64, s390 and s390x).
+
+* Thu Feb 26 2009 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0.10-9
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_11_Mass_Rebuild.
+
+* Wed Feb 18 2009 Roberto Bagnara <bagnara@cs.unipr.it> 0.10-8
+- Install the documentation according to the Fedora packaging conventions.
+
+* Wed Feb 17 2009 Karsten Hopp <karsten@redhat.comt> 0.10-7
+- There are no GNU Prolog packages available on s390 and s390x: disable
+  the GNU Prolog interface also on those platforms (besides ppc64).
+
+* Wed Feb 04 2009 Roberto Bagnara <bagnara@cs.unipr.it> 0.10-6
+- Better workaround for the bug affecting PPL 0.10 on big-endian
+  architectures.
+
+* Tue Feb 03 2009 Roberto Bagnara <bagnara@cs.unipr.it> 0.10-5
+- Work around the bug affecting PPL 0.10 on big-endian architectures.
+
+* Fri Dec 05 2008 Roberto Bagnara <bagnara@cs.unipr.it> 0.10-4
+- Added `%%dir %%{_datadir}/doc/pwl' to the `%%files' section
+  of the `ppl-pwl' package.
+
+* Thu Nov 04 2008 Roberto Bagnara <bagnara@cs.unipr.it> 0.10-3
+- Fixed the requirements of the `ppl-java' package.
+
+* Thu Nov 04 2008 Roberto Bagnara <bagnara@cs.unipr.it> 0.10-2
+- Added m4 >= 1.4.8 to build requirements.
+
+* Thu Nov 04 2008 Roberto Bagnara <bagnara@cs.unipr.it> 0.10-1
+- Updated and extended for PPL 0.10.  In particular, the `ppl-config'
+  program, being useful also for non-development activities, has been
+  brought back to the main package.
+
+* Tue Sep 30 2008 Roberto Bagnara <bagnara@cs.unipr.it> 0.9-25
+- The `swiprolog' package now requires pl >= 5.6.57-2.
+
+* Mon Sep 08 2008 Roberto Bagnara <bagnara@cs.unipr.it> 0.9-24
+- Changed ppl-0.9-swiprolog.patch so as to invoke `plld' with
+  the `-v' option.
+
+* Mon Sep 08 2008 Roberto Bagnara <bagnara@cs.unipr.it> 0.9-23
+- Fixed ppl-0.9-swiprolog.patch.
+
+* Mon Sep 08 2008 Roberto Bagnara <bagnara@cs.unipr.it> 0.9-22
+- Implemented a workaround to cope with the new location of SWI-Prolog.h.
+
+* Mon Sep 08 2008 Roberto Bagnara <bagnara@cs.unipr.it> 0.9-21
+- Fixed the SWI-Prolog interface dependencies.
+
+* Mon May 19 2008 Roberto Bagnara <bagnara@cs.unipr.it> 0.9-20
+- Added Requires /sbin/ldconfig.
+
 * Wed Feb 13 2008 Roberto Bagnara <bagnara@cs.unipr.it> 0.9-19
 - Include a patch to supply a missing inclusions of <cstdlib>.

--- a/ppl_c.h
+++ b/ppl_c.h
@ -1,5 +1,5 @@
 /* Header file switcher for the C interface.  -*- C -*-
-   Copyright (C) 2001-2008 Roberto Bagnara <bagnara@cs.unipr.it>
+   Copyright (C) 2001-2009 Roberto Bagnara <bagnara@cs.unipr.it>

 This file is part of the Parma Polyhedra Library (PPL).

@ -38,6 +38,12 @@ site: http://www.cs.unipr.it/ppl/ . */
 #include "ppl_c-s390x.h"
 #elif defined(__s390__)
 #include "ppl_c-s390.h"
+#elif defined(__sh__)
+#include "ppl_c-sh.h"
+#elif defined(__sparc__) && defined(__arch64__)
+#include "ppl_c-sparc64.h"
+#elif defined(__sparc__)
+#include "ppl_c-sparc.h"
 #else
 #error "This architecture is not supported by the currently installed ppl-devel packages."
 #endif
--- a/pwl.hh
+++ b/pwl.hh
@ -1,5 +1,5 @@
 /* This is the header file switcher of the Parma Watchdog Library.
-   Copyright (C) 2001-2008 Roberto Bagnara <bagnara@cs.unipr.it>
+   Copyright (C) 2001-2009 Roberto Bagnara <bagnara@cs.unipr.it>

 This file is part of the Parma Watchdog Library (PWL).

@ -38,6 +38,12 @@ site: http://www.cs.unipr.it/Software/ . */
 #include "pwl-s390x.hh"
 #elif defined(__s390__)
 #include "pwl-s390.hh"
+#elif defined(__sh__)
+#include "pwl-sh.hh"
+#elif defined(__sparc__) && defined(__arch64__)
+#include "pwl-sparc64.hh"
+#elif defined(__sparc__)
+#include "pwl-sparc.hh"
 #else
 #error "This architecture is not supported by the currently installed ppl-pwl-devel packages."
 #endif
--- a/2
+++ b/2
@ -1 +1 @@
-4096c2927b36fbf7c5329a53b035bc33  ppl-0.9.tar.gz
+e7dd265afdeaea81f7e87a72b182d875  ppl-0.10.2.tar.gz
Author	SHA1	Message	Date
Fedora Release Engineering	5cef74fe02	dist-git conversion	2010-07-29 09:42:44 +00:00
Bill Nottingham	74e3a29c23	Fix typo that causes a failure to update the common directory. (releng #2781)	2009-11-26 01:43:55 +00:00
Roberto Bagnara	63c3aa6b07	Updated for PPL 0.10.2.	2009-04-18 09:49:04 +00:00
Roberto Bagnara	93584beafc	Updated for the PPL 0.10.1 sources.	2009-04-14 08:05:17 +00:00
Roberto Bagnara	bf72e3c85a	Updated for PPL 0.10.1.	2009-04-14 08:02:55 +00:00
Roberto Bagnara	64e1a182c3	Fixed the requirements of the `ppl-java' package.	2008-11-04 17:19:47 +00:00
Roberto Bagnara	0ba02fa98a	PPL 0.10 package backported from `devel'.	2008-11-04 14:48:40 +00:00
Roberto Bagnara	dcb8e9bd8c	Implemented a workaround to cope with the new location of SWI-Prolog.h. Fixed the SWI-Prolog interface dependencies.	2008-09-08 14:49:21 +00:00
Roberto Bagnara	9637d0e69f	Added Requires /sbin/ldconfig.	2008-05-19 16:18:36 +00:00
Jesse Keating	bdbf6f97f8	Initialize branch F-9 for ppl	2008-04-21 15:20:47 +00:00