From d635706fb8ca633c3f66fe6cb51653ad5d5ea31d Mon Sep 17 00:00:00 2001
From: milisbir <milisarge@gmail.com>
Date: Sun, 3 Sep 2017 03:02:42 +0300
Subject: [PATCH] polyml.paketlendi

---
 talimatname/genel/polyml/talimat | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)
 create mode 100644 talimatname/genel/polyml/talimat

diff --git a/talimatname/genel/polyml/talimat b/talimatname/genel/polyml/talimat
new file mode 100644
index 000000000..172830ddf
--- /dev/null
+++ b/talimatname/genel/polyml/talimat
@@ -0,0 +1,17 @@
+# Description: standart ML derleyicisinin güncel gerçeklemesi
+# URL: http://www.polyml.org
+# Packager: milisarge
+# Depends on: libffi
+
+name=polyml
+version=5.7
+release=1
+source=(https://github.com/${name}/${name}/archive/v${version}.tar.gz::$name-$version.tar.gz)
+
+build() {
+  cd "$SRC/$name-$version"
+  ./configure --prefix=/usr --without-x --with-system-libffi --with-gmp --enable-shared
+  make
+  make -k check
+  make DESTDIR="$PKG/" install
+}