2014-09-14 13:33:22 +00:00
|
|
|
# Template file for 'polyml'
|
|
|
|
|
pkgname=polyml
|
|
|
|
|
version=5.5.2
|
2015-05-13 14:29:22 +00:00
|
|
|
revision=3
|
2014-09-14 13:33:22 +00:00
|
|
|
wrksrc="${pkgname}.${version}"
|
|
|
|
|
build_style=gnu-configure
|
|
|
|
|
configure_args="--with-system-libffi --enable-shared"
|
|
|
|
|
makedepends="gmp-devel libffi-devel"
|
2014-09-14 13:43:16 +00:00
|
|
|
conflicts="mesa-demos>=0" # /usr/bin/poly
|
2014-09-14 13:33:22 +00:00
|
|
|
short_desc="The Poly/ML Standard ML (SML) implementation"
|
|
|
|
|
maintainer="Christian Neukirchen <chneukirchen@gmail.com>"
|
|
|
|
|
license="LGPL-2.1"
|
|
|
|
|
homepage="http://www.polyml.org/"
|
|
|
|
|
distfiles="${SOURCEFORGE_SITE}/$pkgname/$pkgname.$version.tar.gz"
|
|
|
|
|
checksum=73fd2be89f7e3ff0567e27ef525ef788775d9f963d6db54069cb34d53040a682
|
|
|
|
|
nocross=yes
|
|
|
|
|
|
|
|
|
|
# Since this is a compiler, no -devel package.
|
