/packages/toolchain/math/ppl/meta
http://github.com/OpenELEC/OpenELEC.tv · #! · 37 lines · 35 code · 2 blank · 0 comment · 0 complexity · 13b30eb148cc47df865004c405acc3e1 MD5 · raw file
- ################################################################################
- # This file is part of OpenELEC - http://www.openelec.tv
- # Copyright (C) 2009-2011 Stephan Raue (stephan@openelec.tv)
- #
- # This Program is free software; you can redistribute it and/or modify
- # it under the terms of the GNU General Public License as published by
- # the Free Software Foundation; either version 2, or (at your option)
- # any later version.
- #
- # This Program is distributed in the hope that it will be useful,
- # but WITHOUT ANY WARRANTY; without even the implied warranty of
- # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
- # GNU General Public License for more details.
- #
- # You should have received a copy of the GNU General Public License
- # along with OpenELEC.tv; see the file COPYING. If not, write to
- # the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA.
- # http://www.gnu.org/copyleft/gpl.html
- ################################################################################
- PKG_NAME="ppl"
- PKG_VERSION="0.11.2"
- PKG_REV="1"
- PKG_ARCH="any"
- PKG_LICENSE="GPL"
- PKG_SITE="http://www.cs.unipr.it/ppl"
- PKG_URL="http://www.cs.unipr.it/ppl/Download/ftp/releases/$PKG_VERSION/$PKG_NAME-$PKG_VERSION.tar.bz2"
- PKG_URL="http://www.mirrorservice.org/sites/www.ibiblio.org/gentoo/distfiles/ppl-0.11.2.tar.bz2"
- PKG_DEPENDS=""
- PKG_BUILD_DEPENDS="ccache gmp-host"
- PKG_PRIORITY="optional"
- PKG_SECTION="toolchain/math"
- PKG_SHORTDESC="ppl: Parma Polyhedra Library"
- PKG_LONGDESC="The Parma Polyhedra Library (PPL) provides numerical abstractions especially targeted at applications in the field of analysis and verification of complex systems."
- PKG_IS_ADDON="no"
- PKG_AUTORECONF="no"