# Template file for 'polyml'
pkgname=polyml
version=5.5.2
revision=3
wrksrc="${pkgname}.${version}"
build_style=gnu-configure
configure_args="--with-system-libffi --enable-shared"
makedepends="gmp-devel libffi-devel"
conflicts="mesa-demos>=0"  # /usr/bin/poly
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.