[packages/cloog.git] / cloog.spec

%define		tarball_name %{name}-ppl
Summary:	The Chunky Loop Generator
Name:		cloog
Version:	0.15.9
Release:	1
License:	GPL v2+
Group:		Libraries
URL:		http://www.cloog.org/
Source0:	ftp://gcc.gnu.org/pub/gcc/infrastructure/%{tarball_name}-%{version}.tar.gz
# Source0-md5:	806e001d1b1a6b130069ff6274900af5
BuildRequires:	autoconf
BuildRequires:	automake
BuildRequires:	gmp-devel >= 4.1.3
BuildRequires:	libtool
BuildRequires:	libtool
BuildRequires:	ppl-devel >= 0.10
BuildRequires:	texinfo >= 4.12
Requires(post):	/sbin/ldconfig
BuildRoot:	%{tmpdir}/%{name}-%{version}-root-%(id -u -n)

%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 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

%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:	gmp-devel >= 4.1.3
Requires:	ppl-devel >= 0.10

%description ppl-devel
The header files and dynamic shared libraries of the Chunky Loop
Generator.

%prep
%setup -q -n %{tarball_name}-%{version}

sed -i -e s/ppl_minor_version=10/ppl_minor_version=11/  configure*

%build
%{__libtoolize}
%{__aclocal}
%{__autoconf}
%{__autoheader}
%{__automake}
%configure \
	--disable-static \
	--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

%{__make}

%install
rm -rf $RPM_BUILD_ROOT
%{__make} install \
	INSTALL="%{__install} -p" \
	DESTDIR=$RPM_BUILD_ROOT

%{__rm} $RPM_BUILD_ROOT%{_libdir}/*.la
rm -f $RPM_BUILD_ROOT%{_infodir}/dir

%clean
rm -rf $RPM_BUILD_ROOT

%post ppl	-p /sbin/postshell
/sbin/ldconfig
-/usr/sbin/fix-info-dir -c %{_infodir}

%preun ppl
if [ "$1" = 0 ]; then
	[ ! -x /usr/sbin/fix-info-dir ] || /usr/sbin/fix-info-dir -c %{_infodir} >/dev/null 2>&1
fi

%postun ppl -p /sbin/ldconfig

%files ppl
%defattr(644,root,root,755)
%doc README LICENSE
%attr(755,root,root) %{_bindir}/cloog
%{_libdir}/libcloog.so.*
%{_infodir}/cloog.info*

%files ppl-devel
%defattr(644,root,root,755)
%{_includedir}/cloog
%{_libdir}/libcloog.so
Commit	Line	Data
	1	%define tarball_name %{name}-ppl
	2	Summary: The Chunky Loop Generator
	3	Name: cloog
	4	Version: 0.15.9
	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: 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)
	20
	21	%description
	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.
	27
	28	%package ppl
	29	Summary: Parma Polyhedra Library backend (ppl) based version of the Cloog binaries
	30	Group: Development/Libraries
	31
	32	%description ppl
	33	The dynamic shared libraries of the Chunky Loop Generator
	34
	35	%package ppl-devel
	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
	41
	42	%description ppl-devel
	43	The header files and dynamic shared libraries of the Chunky Loop
	44	Generator.
	45
	46	%prep
	47	%setup -q -n %{tarball_name}-%{version}
	48
	49	sed -i -e s/ppl_minor_version=10/ppl_minor_version=11/ configure*
	50
	51	%build
	52	%{__libtoolize}
	53	%{__aclocal}
	54	%{__autoconf}
	55	%{__autoheader}
	56	%{__automake}
	57	%configure \
	58	--disable-static \
	59	--with-ppl
	60
	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
	64
	65	%{__make}
	66
	67	%install
	68	rm -rf $RPM_BUILD_ROOT
	69	%{__make} install \
	70	INSTALL="%{__install} -p" \
	71	DESTDIR=$RPM_BUILD_ROOT
	72
	73	%{__rm} $RPM_BUILD_ROOT%{_libdir}/*.la
	74	rm -f $RPM_BUILD_ROOT%{_infodir}/dir
	75
	76	%clean
	77	rm -rf $RPM_BUILD_ROOT
	78
	79	%post ppl -p /sbin/postshell
	80	/sbin/ldconfig
	81	-/usr/sbin/fix-info-dir -c %{_infodir}
	82
	83	%preun ppl
	84	if [ "$1" = 0 ]; then
	85	[ ! -x /usr/sbin/fix-info-dir ] \|\| /usr/sbin/fix-info-dir -c %{_infodir} >/dev/null 2>&1
	86	fi
	87
	88	%postun ppl -p /sbin/ldconfig
	89
	90	%files ppl
	91	%defattr(644,root,root,755)
	92	%doc README LICENSE
	93	%attr(755,root,root) %{_bindir}/cloog
	94	%{_libdir}/libcloog.so.*
	95	%{_infodir}/cloog.info*
	96
	97	%files ppl-devel
	98	%defattr(644,root,root,755)
	99	%{_includedir}/cloog
	100	%{_libdir}/libcloog.so