[arch-commits] Commit in polyml/trunk (PKGBUILD)

[Alexander Rødseth]

    Date: Monday, May 28, 2018 @ 16:02:53
  Author: arodseth
Revision: 332748

upgpkg: polyml 5.7.1-2

Modified:
  polyml/trunk/PKGBUILD

----------+
 PKGBUILD |    9 ++++-----
 1 file changed, 4 insertions(+), 5 deletions(-)

Modified: PKGBUILD
===================================================================
--- PKGBUILD	2018-05-28 15:55:43 UTC (rev 332747)
+++ PKGBUILD	2018-05-28 16:02:53 UTC (rev 332748)
@@ -5,11 +5,11 @@
 pkgname=polyml
 pkgver=5.7.1
 pkgrel=2
-pkgdesc='Full implementation of Standard ML (SML)'
+pkgdesc='Standard ML compiler originally written in an experimental language called Poly'
 arch=('x86_64')
 url='https://polyml.org/'
 license=('LGPL')
-conflicts=('mesa-demo') # /usr/bin/poly
+conflicts=('mesa-demos') # /usr/bin/poly
 options=('!libtool')
 depends=('gmp' 'libffi')
 install=polyml.install
@@ -21,10 +21,9 @@
 
   ./configure \
     --prefix=/usr \
-    --without-x \
+    --enable-shared \
     --with-system-libffi \
-    --with-gmp \
-    --enable-shared
+    --with-gmp
   make
 }