1 ###############################################################################
2 # IPFire.org - An Open Source Firewall Solution #
3 # Copyright (C) - IPFire Development Team <info@ipfire.org> #
4 ###############################################################################
10 groups = System/Libraries
11 url = http://isl.gforge.inria.fr/
13 summary = Integer Set Library
16 isl is a library for manipulating sets and relations of integer points
17 bounded by linear constraints. Supported operations on sets include
18 intersection, union, set difference, emptiness check, convex hull,
19 (integer) affine hull, integer projection, computing the lexicographic
20 minimum using parametric integer programming, coalescing and parametric
24 source_dl += http://isl.gforge.inria.fr/
25 sources = %{thisapp}.tar.lzma
37 install -dm755 %{BUILDROOT}/usr/share/gdb/auto-load/%{libdir}
38 mv -v %{BUILDROOT}%{libdir}/libisl.so.*-gdb.py \
39 %{BUILDROOT}%{datadir}/gdb/auto-load/%{libdir}
50 package %{name}-debuginfo