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
   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         PARALLELISMFLAGS =
  45
  46         #test
  47         #       make check
  48         #end
  49
  50         install_cmds
  51                 # Create compat symlink.
  52                 ln -s libppl.so.12 %{BUILDROOT}%{libdir}/libppl.so.9
  53         end
  54 end
  55
  56 packages
  57         package %{name}
  58
  59         package %{name}-compat
  60                 summary = Compat symlink for ppl-0.11.
  61                 description
  62                         This package pretends to ship libppl.so.9 for
  63                         compatibility reasons.
  64                 end
  65
  66                 # Provide the old version.
  67                 if "%{lib}" == "lib64"
  68                         provides += libppl.so.9()(64bit)
  69                 else
  70                         provides += libppl.so.9
  71                 end
  72
  73                 files
  74                         %{libdir}/libppl.so.9
  75                 end
  76         end
  77
  78         package %{name}-devel
  79                 template DEVEL
  80
  81                 requires += gmp-devel >= 4.1.3
  82         end
  83
  84         package %{name}-debuginfo
  85                 template DEBUGINFO
  86         end
  87 end