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    = 1.0
   8 release    = 1.1
   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  = ftp://ftp.cs.unipr.it/pub/ppl/releases/%{version}/
  31 sources    = %{thisapp}.tar.xz
  32
  33 build
  34         requires
  35                 gcc-c++
  36                 gmp-devel >= 4.1.3
  37                 m4 >= 1.4.8
  38         end
  39
  40         configure_options += \
  41                 --enable-interfaces="c cxx" \
  42                 --disable-debugging
  43
  44         test
  45                 make check
  46         end
  47
  48         install_cmds
  49                 # Create compat symlink.
  50                 ln -s libppl.so.12 %{BUILDROOT}%{libdir}/libppl.so.9
  51         end
  52 end
  53
  54 packages
  55         package %{name}
  56
  57         package %{name}-compat
  58                 summary = Compat symlink for ppl-0.11.
  59                 description
  60                         This package pretends to ship libppl.so.9 for
  61                         compatibility reasons.
  62                 end
  63
  64                 # Provide the old version.
  65                 if "%{lib}" == "lib64"
  66                         provides += libppl.so.9()(64bit)
  67                 else
  68                         provides += libppl.so.9
  69                 end
  70
  71                 files
  72                         %{libdir}/libppl.so.9
  73                 end
  74         end
  75
  76         package %{name}-devel
  77                 template DEVEL
  78
  79                 requires += gmp-devel >= 4.1.3
  80         end
  81
  82         package %{name}-debuginfo
  83                 template DEBUGINFO
  84         end
  85 end