diff --git a/.gitignore b/.gitignore index bb49e6a..b953a2f 100644 --- a/.gitignore +++ b/.gitignore @@ -2,3 +2,4 @@ cloog-0.15-gitb9d79.tar.gz cloog-ppl-0.15.7.tar.gz /cloog-ppl-0.15.9.tar.gz /cloog-ppl-0.15.11.tar.gz +/cloog-parma-0.16.1.tar.gz diff --git a/cloog.spec b/cloog.spec index 76a93f7..9f71071 100644 --- a/cloog.spec +++ b/cloog.spec @@ -1,23 +1,15 @@ Name: cloog -%define tarball_name %{name}-ppl -Version: 0.15.11 -Release: 4%{?dist}.1 +Version: 0.16.1 +Release: 1%{?dist} Summary: The Chunky Loop Generator - Group: System Environment/Libraries License: GPLv2+ URL: http://www.cloog.org -Source0: ftp://gcc.gnu.org/pub/gcc/infrastructure/%{tarball_name}-%{version}.tar.gz -BuildRoot: %{_tmppath}/%{tarball_name}-%{version}-%{release}-root-%(%{__id_u} -n) - +Source0: ftp://gcc.gnu.org/pub/gcc/infrastructure/%{name}-parma-%{version}.tar.gz BuildRequires: ppl-devel >= 0.10 BuildRequires: gmp-devel >= 4.1.3 -BuildRequires: texinfo >= 4.12 BuildRequires: libtool -Requires(post): info -Requires(preun): info - %description CLooG is a software which generates loops for scanning Z-polyhedra. That is, CLooG finds the code or pseudo-code where each integral point of one or more @@ -25,71 +17,55 @@ parametrized polyhedron or parametrized polyhedra union is reached. CLooG is designed to avoid control overhead and to produce a very efficient code. %package ppl -Summary: Parma Polyhedra Library backend (ppl) based version of the Cloog binaries -Group: Development/Libraries +Summary: Parma Polyhedra Library backend (ppl) based version of the Cloog binaries +Group: Development/Libraries + %description ppl The dynamic shared libraries of the Chunky Loop Generator %package ppl-devel Summary: Development tools for the ppl based version of Chunky Loop Generator Group: Development/Libraries -Requires: %{name}-ppl = %{version}-%{release} -Requires: ppl-devel >= 0.10, gmp-devel >= 4.1.3 +Requires: %{name}-ppl%{?_isa} = %{version}-%{release} +Requires: ppl-devel%{?_isa} >= 0.10, gmp-devel%{?_isa} >= 4.1.3 + %description ppl-devel The header files and dynamic shared libraries of the Chunky Loop Generator. %prep -%setup -q -n %{tarball_name}-%{version} +%setup -q -n %{name}-parma-%{version} %build %configure --with-ppl -# Remove the cloog.info in the tarball -# to force the re-generation of a new one -test -f doc/cloog.info && rm doc/cloog.info - # Remove the -fomit-frame-pointer compile flag # Use system libtool to disable standard rpath make %{?_smp_mflags} AM_CFLAGS= LIBTOOL=%{_bindir}/libtool - %install rm -rf $RPM_BUILD_ROOT make DESTDIR=$RPM_BUILD_ROOT INSTALL="%{__install} -p" install -rm -rf $RPM_BUILD_ROOT%{_infodir}/dir - -%clean -rm -rf $RPM_BUILD_ROOT %files ppl -%defattr(-,root,root,-) -%doc README LICENSE -%{_infodir}/cloog.info*gz +%doc cloog-core/README %{_bindir}/cloog -%{_libdir}/libcloog.so.* +%{_libdir}/libcloog-ppl.so.* %files ppl-devel -%defattr(-,root,root,-) %{_includedir}/cloog -%{_libdir}/libcloog.so -%exclude %{_libdir}/libcloog.a -%exclude %{_libdir}/libcloog.la - -%post ppl -/sbin/ldconfig -test -f %{_infodir}/%{name}.info \ - && /sbin/install-info %{_infodir}/%{name}.info %{_infodir}/dir || : - -%preun ppl -if [ $1 = 0 ] ; then - test -f %{_infodir}/%{name}.info && \ - /sbin/install-info \ - --delete %{_infodir}/%{name}.info %{_infodir}/dir || : -fi +%{_libdir}/libcloog-ppl.so +%{_libdir}/pkgconfig/cloog-ppl.pc +%exclude %{_libdir}/libcloog-ppl.a +%exclude %{_libdir}/libcloog-ppl.la + +%post ppl -p /sbin/ldconfig %postun ppl -p /sbin/ldconfig %changelog +* Fri Nov 30 2012 Tom Callaway - 0.16.1-1 +- update to 0.16.1 + * Wed Jul 18 2012 Fedora Release Engineering - 0.15.11-4.1 - Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild diff --git a/sources b/sources index 8529de1..d435997 100644 --- a/sources +++ b/sources @@ -1 +1 @@ -060ae4df6fb8176e021b4d033a6c0b9e cloog-ppl-0.15.11.tar.gz +f483539b30a60a3478eea70c77b26bef cloog-parma-0.16.1.tar.gz