compat-isl/compat-isl.nm

   1 ###############################################################################
   2 # IPFire.org    - An Open Source Firewall Solution                            #
   3 # Copyright (C) - IPFire Development Team <info@ipfire.org>                   #
   4 ###############################################################################
   5
   6 name       = compat-isl
   7 version    = 0.14.1
   8 release    = 1
   9 thisapp    = isl-%{version}
  10
  11 groups     = System/Libraries
  12 url        = http://isl.gforge.inria.fr/
  13 license    = MIT
  14 summary    = Integer Set Library
  15
  16 description
  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
  22         vertex enumeration.
  23 end
  24
  25 source_dl += http://isl.gforge.inria.fr/
  26 sources    = %{thisapp}.tar.xz
  27
  28 build
  29         requires
  30                 gmp-devel
  31         end
  32
  33         test
  34                 export LD_LIBRARY_PATH=$(pwd)/.libs
  35                 make check
  36         end
  37
  38         install
  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
  43         end
  44 end
  45
  46 packages
  47         package %{name}
  48                 provides
  49                         isl = %{thisver}
  50                 end
  51
  52                 obsoletes
  53                         isl <= %{thisver}
  54                 end
  55         end
  56
  57         package %{name}-debuginfo
  58                 template DEBUGINFO
  59         end
  60 end