1 ###############################################################################
2 # IPFire.org - An Open Source Firewall Solution #
3 # Copyright (C) - IPFire Development Team <info@ipfire.org> #
4 ###############################################################################
9 thisapp = isl-%{version}
11 groups = System/Libraries
12 url = http://isl.gforge.inria.fr/
14 summary = Integer Set Library
17 isl is a library for manipulating sets and relations of integer points
18 bounded by linear constraints. Supported operations on sets include
19 intersection, union, set difference, emptiness check, convex hull,
20 (integer) affine hull, integer projection, computing the lexicographic
21 minimum using parametric integer programming, coalescing and parametric
25 source_dl += http://isl.gforge.inria.fr/
26 sources = %{thisapp}.tar.xz
34 export LD_LIBRARY_PATH=$(pwd)/.libs
39 # Install just the library and no headers.
40 mkdir -pv %{BUILDROOT}%{libdir}
41 install -m 644 .libs/libisl.so.13.1.1 %{BUILDROOT}%{libdir}
42 ln -svf libisl.so.13.1.1 %{BUILDROOT}%{libdir}/libisl.so.13
57 package %{name}-debuginfo