ppl/ppl.nm

   1 ###############################################################################
   2 # IPFire.org    - An Open Source Firewall Solution                            #
   3 # Copyright (C) - IPFire Development Team <info@ipfire.org>                   #
   4 ###############################################################################
   5
   6 name       = ppl
   7 version    = 0.11.2
   8 release    = 3
   9
  10 maintainer = Michael Tremer <michael.tremer@ipfire.org>
  11 groups     = Development/Libraries
  12 url        = http://www.cs.unipr.it/ppl/
  13 license    = GPLv3+
  14 summary    = The Parma Polyhedra Library: a library of numerical abstractions.
  15
  16 description
  17         The Parma Polyhedra Library (PPL) is a library for the manipulation of
  18         (not necessarily closed) convex polyhedra and other numerical
  19         abstractions.  The applications of convex polyhedra include program
  20         analysis, optimized compilation, integer and combinatorial
  21         optimization and statistical data-editing.  The Parma Polyhedra
  22         Library comes with several user friendly interfaces, is fully dynamic
  23         (available virtual memory is the only limitation to the dimension of
  24         anything), written in accordance to all the applicable standards,
  25         exception-safe, rather efficient, thoroughly documented, and free
  26         software.  This package provides all what is necessary to run
  27         applications using the PPL through its C and C++ interfaces.
  28 end
  29
  30 source_dl  =
  31 sources    = %{thisapp}.tar.lzma
  32
  33 build
  34         requires
  35                 gcc-c++
  36                 gmp-devel
  37                 m4
  38         end
  39
  40         configure_options += \
  41                 --enable-interfaces="c cxx" \
  42                 --disable-debugging
  43
  44         PARALLELISMFLAGS =
  45
  46         test
  47                 make check
  48         end
  49 end
  50
  51 packages
  52         package %{name}
  53
  54         package %{name}-devel
  55                 template DEVEL
  56         end
  57
  58         package %{name}-debuginfo
  59                 template DEBUGINFO
  60         end
  61 end