%define beta %nil
%define scmrev %nil

Name: isl
Version: 0.06
%if "%beta" == ""
%if "%scmrev" == ""
Release: 1ark
Source: http://www.kotnet.org/~skimo/%name/%name-%version.tar.lzma
%else
Release: 0.%scmrev.1ark
Source: %name-%scmrev.tar.xz
%endif
%else
%if "%scmrev" == ""
Release: 0.%beta.1ark
Source: %name-%version%beta.tar.bz2
%else
Release: 0.%beta.%scmrev.1ark
Source: %name-%scmrev.tar.xz
%endif
%endif
Summary: Integer Set Library
URL: http://www.kotnet.org/~skimo/isl/
License: LGPL v2.1
Group: System/Libraries
BuildRoot: %_tmppath/%name-root

%track
prog %name = {
	url = http://www.kotnet.org/~skimo/isl/
	regex = "%name-(__VER__)\.tar\.gz"
	version = %version
}

%description
isl (Integer Set Library) 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, computing the lexicographic minimum
using parametric integer programming, coalescing and parametric vertex
enumeration.
It also includes an ILP solver based on generalized basis reduction,
transitive closures on maps (which may encode infinite graphs), dependence
analysis and bounds on piecewise step-polynomials.

%package devel
Summary: Development files for %name
Group: Development/Libraries
Requires: %name = %version-%release

%description devel
Development files (Headers etc.) for %name.

%package static
Summary: Static libraries for linking to %name
Group: Development/Libraries
Requires: %name-devel = %version-%release

%description static
Static libraries for linking to %name.

Install this package if you wish to develop or compile applications using
%name statically (users of the resulting binary won't need %name installed
with static linking).

%prep
%if "%scmrev" == ""
%setup -q -n %name-%version%beta
%else
%setup -q -n %name
%endif
%configure

%build
make %?_smp_mflags

%install
rm -rf $RPM_BUILD_ROOT
make %?_smp_mflags install DESTDIR="$RPM_BUILD_ROOT"

%files
%_libdir/*.so*

%files devel
%_includedir/*
%_libdir/pkgconfig/*

%files static
%_libdir/*.a

%clean
rm -rf $RPM_BUILD_ROOT $RPM_BUILD_DIR/%name-%version

%changelog
* Tue Mar  8 2011 Bernhard Rosenkraenzer <bero@arklinux.ch> 0.05.1-1ark
- 0.05.1

* Tue Jan 04 2011 Bernhard Rosenkraenzer <bero@arklinux.ch> 0.05-1ark
- initial RPM, for cloog for gcc 4.6