New package: polyml-5.5.2
This commit is contained in:
parent
8b32f49cc5
commit
f85160eb06
|
@ -0,0 +1,18 @@
|
|||
# Template file for 'polyml'
|
||||
pkgname=polyml
|
||||
version=5.5.2
|
||||
revision=1
|
||||
wrksrc="${pkgname}.${version}"
|
||||
build_style=gnu-configure
|
||||
configure_args="--with-system-libffi --enable-shared"
|
||||
makedepends="gmp-devel libffi-devel"
|
||||
conflicts="mesa-demos" # /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.
|
Loading…
Reference in New Issue