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    = 4
   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         # The testsuite currently fails on x86_64.
  47         #test
  48         #       make check
  49         #end
  50 end
  51
  52 packages
  53         package %{name}
  54
  55         package %{name}-devel
  56                 template DEVEL
  57         end
  58
  59         package %{name}-debuginfo
  60                 template DEBUGINFO
  61         end
  62 end