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.16.1
   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.xz
  26
  27 build
  28         requires
  29                 gmp-devel
  30         end
  31
  32         test
  33                 export LD_LIBRARY_PATH=$(pwd)/.libs
  34                 make check
  35         end
  36
  37         install_cmds
  38                 install -dm755 %{BUILDROOT}/usr/share/gdb/auto-load/%{libdir}
  39                 mv -v %{BUILDROOT}%{libdir}/libisl.so.*-gdb.py \
  40                         %{BUILDROOT}%{datadir}/gdb/auto-load/%{libdir}
  41         end
  42 end
  43
  44 packages
  45         package %{name}
  46
  47         package %{name}-devel
  48                 template DEVEL
  49         end
  50
  51         package %{name}-debuginfo
  52                 template DEBUGINFO
  53         end
  54 end