From f85160eb0699cd86792c4af3b53ba4ae60b26165 Mon Sep 17 00:00:00 2001
From: Christian Neukirchen <chneukirchen@gmail.com>
Date: Sun, 14 Sep 2014 15:33:22 +0200
Subject: [PATCH] New package: polyml-5.5.2

---
 srcpkgs/polyml/template | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)
 create mode 100644 srcpkgs/polyml/template

diff --git a/srcpkgs/polyml/template b/srcpkgs/polyml/template
new file mode 100644
index 00000000000..fcdfc36380a
--- /dev/null
+++ b/srcpkgs/polyml/template
@@ -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.