1 %define tarball_name %{name}-ppl
2 Summary: The Chunky Loop Generator
8 URL: http://www.cloog.org/
9 Source0: ftp://gcc.gnu.org/pub/gcc/infrastructure/%{tarball_name}-%{version}.tar.gz
10 # Source0-md5: 806e001d1b1a6b130069ff6274900af5
11 BuildRequires: autoconf
12 BuildRequires: automake
13 BuildRequires: gmp-devel >= 4.1.3
14 BuildRequires: libtool
15 BuildRequires: libtool
16 BuildRequires: ppl-devel >= 0.10
17 BuildRequires: texinfo >= 4.12
18 Requires(post): /sbin/ldconfig
19 BuildRoot: %{tmpdir}/%{name}-%{version}-root-%(id -u -n)
22 CLooG is a software which generates loops for scanning Z-polyhedra.
23 That is, CLooG finds the code or pseudo-code where each integral point
24 of one or more parametrized polyhedron or parametrized polyhedra union
25 is reached. CLooG is designed to avoid control overhead and to produce
26 a very efficient code.
29 Summary: Parma Polyhedra Library backend (ppl) based version of the Cloog binaries
30 Group: Development/Libraries
33 The dynamic shared libraries of the Chunky Loop Generator
36 Summary: Development tools for the ppl based version of Chunky Loop Generator
37 Group: Development/Libraries
38 Requires: %{name}-ppl = %{version}-%{release}
39 Requires: gmp-devel >= 4.1.3
40 Requires: ppl-devel >= 0.10
42 %description ppl-devel
43 The header files and dynamic shared libraries of the Chunky Loop
47 %setup -q -n %{tarball_name}-%{version}
49 sed -i -e s/ppl_minor_version=10/ppl_minor_version=11/ configure*
61 # Remove the cloog.info in the tarball
62 # to force the re-generation of a new one
63 test -f doc/cloog.info && rm doc/cloog.info
68 rm -rf $RPM_BUILD_ROOT
70 INSTALL="%{__install} -p" \
71 DESTDIR=$RPM_BUILD_ROOT
73 %{__rm} $RPM_BUILD_ROOT%{_libdir}/*.la
74 rm -f $RPM_BUILD_ROOT%{_infodir}/dir
77 rm -rf $RPM_BUILD_ROOT
79 %post ppl -p /sbin/postshell
81 -/usr/sbin/fix-info-dir -c %{_infodir}
85 [ ! -x /usr/sbin/fix-info-dir ] || /usr/sbin/fix-info-dir -c %{_infodir} >/dev/null 2>&1
88 %postun ppl -p /sbin/ldconfig
91 %defattr(644,root,root,755)
93 %attr(755,root,root) %{_bindir}/cloog
94 %{_libdir}/libcloog.so.*
95 %{_infodir}/cloog.info*
98 %defattr(644,root,root,755)
100 %{_libdir}/libcloog.so