pkgs/ppl/ppl.nm

   1 ###############################################################################
   2 #                                                                             #
   3 # IPFire.org - A linux based firewall                                         #
   4 # Copyright (C) 2007, 2008 Michael Tremer & Christian Schmidt                 #
   5 #                                                                             #
   6 # This program is free software: you can redistribute it and/or modify        #
   7 # it under the terms of the GNU General Public License as published by        #
   8 # the Free Software Foundation, either version 3 of the License, or           #
   9 # (at your option) any later version.                                         #
  10 #                                                                             #
  11 # This program is distributed in the hope that it will be useful,             #
  12 # but WITHOUT ANY WARRANTY; without even the implied warranty of              #
  13 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the               #
  14 # GNU General Public License for more details.                                #
  15 #                                                                             #
  16 # You should have received a copy of the GNU General Public License           #
  17 # along with this program.  If not, see <http://www.gnu.org/licenses/>.       #
  18 #                                                                             #
  19 ###############################################################################
  20
  21 ###############################################################################
  22 # Definitions
  23 ###############################################################################
  24
  25 include $(PKGROOT)/Include
  26
  27 PKG_NAME       = ppl
  28 PKG_VER        = 0.10.2
  29 PKG_REL        = 0
  30
  31 PKG_MAINTAINER = Michael Tremer <michael.tremer@ipfire.org>
  32 PKG_GROUP      = Development/Libraries
  33 PKG_URL        = http://www.cs.unipr.it/ppl/
  34 PKG_LICENSE    = GPLv3+
  35 PKG_SUMMARY    = The Parma Polyhedra Library: a library of numerical abstractions.
  36
  37 PKG_BUILD_DEPS+= autoconf automake gcc-c++ gmp-devel m4
  38
  39 define PKG_DESCRIPTION
  40         The Parma Polyhedra Library (PPL) is a library for the manipulation of \
  41         (not necessarily closed) convex polyhedra and other numerical \
  42         abstractions.  The applications of convex polyhedra include program \
  43         analysis, optimized compilation, integer and combinatorial \
  44         optimization and statistical data-editing.  The Parma Polyhedra \
  45         Library comes with several user friendly interfaces, is fully dynamic \
  46         (available virtual memory is the only limitation to the dimension of \
  47         anything), written in accordance to all the applicable standards, \
  48         exception-safe, rather efficient, thoroughly documented, and free \
  49         software.  This package provides all what is necessary to run \
  50         applications using the PPL through its C and C++ interfaces.
  51 endef
  52
  53 PKG_TARBALL    = $(THISAPP).tar.gz
  54
  55 PKG_PACKAGES  += $(PKG_NAME_REAL)-devel
  56
  57 CONFIGURE_OPTIONS += \
  58         --enable-interfaces="c cxx" \
  59         --disable-debugging
  60
  61 PARALLELISMFLAGS =
  62
  63 define STAGE_PREPARE_CMDS
  64         cd $(DIR_APP) && autoreconf -f
  65 endef
  66
  67 define STAGE_TEST
  68         cd $(DIR_APP) && make check
  69 endef