isl/isl.nm

   1 ###############################################################################
   2 # IPFire.org    - An Open Source Firewall Solution                            #
   3 # Copyright (C) - IPFire Development Team <info@ipfire.org>                   #
   4 ###############################################################################
   5
   6 name       = isl
   7 version    = 0.12.2
   8 release    = 1
   9
  10 groups     = System/Libraries
  11 url        = http://isl.gforge.inria.fr/
  12 license    = MIT
  13 summary    = Integer Set Library
  14
  15 description
  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
  21         vertex enumeration.
  22 end
  23
  24 source_dl += http://isl.gforge.inria.fr/
  25 sources    = %{thisapp}.tar.lzma
  26
  27 build
  28         requires
  29                 gmp-devel
  30         end
  31
  32         test
  33                 make check
  34         end
  35
  36         install_cmds
  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}
  40         end
  41 end
  42
  43 packages
  44         package %{name}
  45
  46         package %{name}-devel
  47                 template DEVEL
  48         end
  49
  50         package %{name}-debuginfo
  51                 template DEBUGINFO
  52         end
  53 end