/packages/toolchain/math/ppl/meta

 1################################################################################
 2#      This file is part of OpenELEC - http://www.openelec.tv
 3#      Copyright (C) 2009-2011 Stephan Raue (stephan@openelec.tv)
 4#
 5#  This Program is free software; you can redistribute it and/or modify
 6#  it under the terms of the GNU General Public License as published by
 7#  the Free Software Foundation; either version 2, or (at your option)
 8#  any later version.
 9#
10#  This Program is distributed in the hope that it will be useful,
11#  but WITHOUT ANY WARRANTY; without even the implied warranty of
12#  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
13#  GNU General Public License for more details.
14#
15#  You should have received a copy of the GNU General Public License
16#  along with OpenELEC.tv; see the file COPYING.  If not, write to
17#  the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA.
18#  http://www.gnu.org/copyleft/gpl.html
19################################################################################
20
21PKG_NAME="ppl"
22PKG_VERSION="0.11.2"
23PKG_REV="1"
24PKG_ARCH="any"
25PKG_LICENSE="GPL"
26PKG_SITE="http://www.cs.unipr.it/ppl"
27PKG_URL="http://www.cs.unipr.it/ppl/Download/ftp/releases/$PKG_VERSION/$PKG_NAME-$PKG_VERSION.tar.bz2"
28PKG_URL="http://www.mirrorservice.org/sites/www.ibiblio.org/gentoo/distfiles/ppl-0.11.2.tar.bz2"
29PKG_DEPENDS=""
30PKG_BUILD_DEPENDS="ccache gmp-host"
31PKG_PRIORITY="optional"
32PKG_SECTION="toolchain/math"
33PKG_SHORTDESC="ppl: Parma Polyhedra Library"
34PKG_LONGDESC="The Parma Polyhedra Library (PPL) provides numerical abstractions especially targeted at applications in the field of analysis and verification of complex systems."
35PKG_IS_ADDON="no"
36
37PKG_AUTORECONF="no"