cloog.spec

   1 %define         tarball_name %{name}-ppl
   2 Summary:        The Chunky Loop Generator
   3 Name:           cloog
   4 Version:        0.15.11
   5 Release:        1
   6 License:        GPL v2+
   7 Group:          Libraries
   8 URL:            http://www.cloog.org/
   9 Source0:        ftp://gcc.gnu.org/pub/gcc/infrastructure/%{tarball_name}-%{version}.tar.gz
  10 # Source0-md5:  060ae4df6fb8176e021b4d033a6c0b9e
  11 BuildRequires:  autoconf
  12 BuildRequires:  automake
  13 BuildRequires:  gmp-devel >= 4.1.3
  14 BuildRequires:  gmp-c++-devel >= 4.1.3
  15 BuildRequires:  libtool
  16 BuildRequires:  libtool
  17 BuildRequires:  ppl-devel >= 0.10
  18 BuildRequires:  texinfo >= 4.12
  19 Requires(post): /sbin/ldconfig
  20 BuildRoot:      %{tmpdir}/%{name}-%{version}-root-%(id -u -n)
  21
  22 %description
  23 CLooG is a software which generates loops for scanning Z-polyhedra.
  24 That is, CLooG finds the code or pseudo-code where each integral point
  25 of one or more parametrized polyhedron or parametrized polyhedra union
  26 is reached. CLooG is designed to avoid control overhead and to produce
  27 a very efficient code.
  28
  29 %package ppl
  30 Summary:        Parma Polyhedra Library backend (ppl) based version of the Cloog binaries
  31 Group:          Development/Libraries
  32
  33 %description ppl
  34 The dynamic shared libraries of the Chunky Loop Generator
  35
  36 %package ppl-devel
  37 Summary:        Development tools for the ppl based version of Chunky Loop Generator
  38 Group:          Development/Libraries
  39 Requires:       %{name}-ppl = %{version}-%{release}
  40 Requires:       gmp-devel >= 4.1.3
  41 Requires:       ppl-devel >= 0.10
  42
  43 %description ppl-devel
  44 The header files and dynamic shared libraries of the Chunky Loop
  45 Generator.
  46
  47 %prep
  48 %setup -q -n %{tarball_name}-%{version}
  49
  50 sed -i -e s/ppl_minor_version=10/ppl_minor_version=11/  configure*
  51
  52 %build
  53 %{__libtoolize}
  54 %{__aclocal}
  55 %{__autoconf}
  56 %{__autoheader}
  57 %{__automake}
  58 %configure \
  59         --disable-static \
  60         --with-ppl
  61
  62 # Remove the cloog.info in the tarball
  63 # to force the re-generation of a new one
  64 test -f doc/cloog.info && rm doc/cloog.info
  65
  66 %{__make}
  67
  68 %install
  69 rm -rf $RPM_BUILD_ROOT
  70 %{__make} install \
  71         INSTALL="%{__install} -p" \
  72         DESTDIR=$RPM_BUILD_ROOT
  73
  74 %{__rm} $RPM_BUILD_ROOT%{_libdir}/*.la
  75 rm -f $RPM_BUILD_ROOT%{_infodir}/dir
  76
  77 %clean
  78 rm -rf $RPM_BUILD_ROOT
  79
  80 %post ppl       -p /sbin/postshell
  81 /sbin/ldconfig
  82 -/usr/sbin/fix-info-dir -c %{_infodir}
  83
  84 %preun ppl
  85 if [ "$1" = 0 ]; then
  86         [ ! -x /usr/sbin/fix-info-dir ] || /usr/sbin/fix-info-dir -c %{_infodir} >/dev/null 2>&1
  87 fi
  88
  89 %postun ppl -p /sbin/ldconfig
  90
  91 %files ppl
  92 %defattr(644,root,root,755)
  93 %doc README LICENSE
  94 %attr(755,root,root) %{_bindir}/cloog
  95 %{_libdir}/libcloog.so.*
  96 %{_infodir}/cloog.info*
  97
  98 %files ppl-devel
  99 %defattr(644,root,root,755)
 100 %{_includedir}/cloog
 101 %{_libdir}/libcloog.so