packages: isl/isl.spec (NEW)=?UTF-8?Q?=20?=- new

qboosh qboosh at pld-linux.org
Thu May 24 13:41:12 CEST 2012


Author: qboosh                       Date: Thu May 24 11:41:12 2012 GMT
Module: packages                      Tag: HEAD
---- Log message:
- new

---- Files affected:
packages/isl:
   isl.spec (NONE -> 1.1)  (NEW)

---- Diffs:

================================================================
Index: packages/isl/isl.spec
diff -u /dev/null packages/isl/isl.spec:1.1
--- /dev/null	Thu May 24 13:41:12 2012
+++ packages/isl/isl.spec	Thu May 24 13:41:07 2012
@@ -0,0 +1,136 @@
+# $Revision$, $Date$
+#
+# Conditional build:
+%bcond_without	apidocs		# do not build and package API docs
+%bcond_without	static_libs	# don't build static libraries
+#
+Summary:	Library for manipulating sets and relations of integer points bounded by linear constraints
+Summary(pl.UTF-8):	Biblioteka operacji na zbiorach i relacjach punktów całkowitoliczbowych z ograniczeniami liniowymi
+Name:		isl
+Version:	0.09
+Release:	1
+License:	LGPL v2.1
+Group:		Libraries
+Source0:	ftp://ftp.linux.student.kuleuven.be/pub/people/skimo/isl/%{name}-%{version}.tar.lzma
+# Source0-md5:	d6ccfc11197c958c4e7f16937ca56004
+URL:		http://freecode.com/projects/isl
+BuildRequires:	gmp-devel
+BuildRequires:	tar >= 1:1.22
+BuildRequires:	xz
+%if %{with apidocs}
+BuildRequires:	perl-base
+BuildRequires:	perl-tools-pod
+BuildRequires:	texlive-format-pdflatex
+%endif
+# TODO: system piplib >= 1.3.6
+# clang?
+BuildRoot:	%{tmpdir}/%{name}-%{version}-root-%(id -u -n)
+
+%description
+isl is a library for manipulating sets and relations of integer points
+bounded by linear constraints. Supported operations on sets include
+intersection, union, set difference, emptiness check, convex hull,
+(integer) affine hull, integer projection, and computing the
+lexicographic minimum using parametric integer programming. It also
+includes an ILP solver based on generalized basis reduction.
+
+%description -l pl.UTF-8
+isl to biblioteka do operacji na zbiorach i relacjach punktów
+całkowitoliczbowych z ograniczeniami liniowymi. Obsługiwane operacje
+na zbiorach obejmują przecięcia, sumy, różnice, sprawdzanie, czy zbiór
+jest pusty, wyznaczanie powłoki wypukłej, wyznaczanie
+(całkowitoliczbowej) powłoki afinicznej, rzuty całkowitoliczbowe oraz
+obliczanie minimum leksykograficznego przy użyciu parametrycznego
+programowania liniowego. Biblioteka obsługuje także rozwiazywanie
+całkowitoliczbowych problemów liniowych w oparciu o redukcję bazy.
+
+%package devel
+Summary:	Header files for isl library
+Summary(pl.UTF-8):	Pliki nagłówkowe biblioteki isl
+Group:		Development/Libraries
+Requires:	%{name} = %{version}-%{release}
+Requires:	gmp-devel
+
+%description devel
+Header files for isl library.
+
+%description devel -l pl.UTF-8
+Pliki nagłówkowe biblioteki isl.
+
+%package static
+Summary:	Static isl library
+Summary(pl.UTF-8):	Statyczna biblioteka isl
+Group:		Development/Libraries
+Requires:	%{name}-devel = %{version}-%{release}
+
+%description static
+Static isl library.
+
+%description static -l pl.UTF-8
+Statyczna biblioteka isl.
+
+%package apidocs
+Summary:	isl API documentation
+Summary(pl.UTF-8):	Dokumentacja API biblioteki isl
+Group:		Documentation
+
+%description apidocs
+API and internal documentation for isl library.
+
+%description apidocs -l pl.UTF-8
+Dokumentacja API biblioteki isl.
+
+%prep
+%setup -q
+
+%build
+%configure \
+	--disable-silent-rules
+%{__make}
+
+%install
+rm -rf $RPM_BUILD_ROOT
+
+%{__make} install \
+	DESTDIR=$RPM_BUILD_ROOT
+
+%clean
+rm -rf $RPM_BUILD_ROOT
+
+%post	-p /sbin/ldconfig
+%postun	-p /sbin/ldconfig
+
+%files
+%defattr(644,root,root,755)
+%doc AUTHORS ChangeLog
+%attr(755,root,root) %{_libdir}/libisl.so.*.*.*
+%attr(755,root,root) %ghost %{_libdir}/libisl.so.9
+
+%files devel
+%defattr(644,root,root,755)
+%attr(755,root,root) %{_libdir}/libisl.so
+%{_libdir}/libisl.la
+%{_includedir}/isl
+%{_pkgconfigdir}/isl.pc
+
+%files static
+%defattr(644,root,root,755)
+%{_libdir}/libisl.a
+
+# TODO: package gdb pretty printer properly
+#%{_libdir}/libisl.so.*.*.*-gdb.py
+
+%if %{with apidocs}
+%files apidocs
+%defattr(644,root,root,755)
+%doc doc/manual.pdf
+%endif
+
+%define date	%(echo `LC_ALL="C" date +"%a %b %d %Y"`)
+%changelog
+* %{date} PLD Team <feedback at pld-linux.org>
+All persons listed below can be reached at <cvs_login>@pld-linux.org
+
+$Log$
+Revision 1.1  2012/05/24 11:41:07  qboosh
+- new
================================================================


More information about the pld-cvs-commit mailing list