summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorMort Yao2017-12-10 14:04:09 +0100
committerMort Yao2017-12-10 14:04:21 +0100
commite66d23e4a9008631716ab9829dd71a60bb48936d (patch)
treeb2e3fcaa339a22e5b59c3091180f7b9b3420b5b7
parent5e5e9e1d97849b9181854a53bfd976944f2d8d4a (diff)
downloadaur-e66d23e4a9008631716ab9829dd71a60bb48936d.tar.gz
smltojs-4.3.11-1
-rw-r--r--.SRCINFO10
-rw-r--r--Makefiledefault6
-rw-r--r--PKGBUILD16
3 files changed, 23 insertions, 9 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 9292283d21df..d47f46f91b01 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,8 +1,8 @@
# Generated by mksrcinfo v8
-# Sun Mar 13 00:25:18 UTC 2016
+# Sun Dec 10 13:04:13 UTC 2017
pkgbase = smltojs
pkgdesc = Standard ML to JavaScript compiler
- pkgver = 4.3.9
+ pkgver = 4.3.11
pkgrel = 1
url = http://www.smlserver.org/smltojs/
arch = i686
@@ -10,8 +10,10 @@ pkgbase = smltojs
license = GPL2
makedepends = mlton>=20051202
depends = gmp
- source = https://github.com/melsman/mlkit/archive/mlkit-4.3.9.tar.gz
- md5sums = 8a6d2146c935914ec5ff494d75bab602
+ source = https://github.com/melsman/mlkit/archive/smltojs-4.3.11.tar.gz
+ source = Makefiledefault
+ md5sums = 623dcadc4365c7cf0935a8e8540efab8
+ md5sums = 4aaf5cf417bfa1b816a14585199ec393
pkgname = smltojs
diff --git a/Makefiledefault b/Makefiledefault
new file mode 100644
index 000000000000..9d7925152194
--- /dev/null
+++ b/Makefiledefault
@@ -0,0 +1,6 @@
+ifeq ($(MLCOMP)x,x)
+MLCOMP=mlton @MLton ram-slop 0.7 -- -disable-pass deepFlatten -disable-pass refFlatten
+#mlton @MLton ram-slop 0.7 gc-summary -- -disable-pass deepFlatten -verbose 3
+endif
+
+export MLCOMP
diff --git a/PKGBUILD b/PKGBUILD
index d0b9be25edf1..d22be37beeb2 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,7 +1,7 @@
# Maintainer: Mort Yao <soi@mort.ninja>
pkgname=smltojs
-pkgver=4.3.9
+pkgver=4.3.11
pkgrel=1
pkgdesc='Standard ML to JavaScript compiler'
url='http://www.smlserver.org/smltojs/'
@@ -9,11 +9,17 @@ license=('GPL2')
arch=('i686' 'x86_64')
depends=('gmp')
makedepends=('mlton>=20051202')
-source=("https://github.com/melsman/mlkit/archive/mlkit-$pkgver.tar.gz")
-md5sums=('8a6d2146c935914ec5ff494d75bab602')
+source=("https://github.com/melsman/mlkit/archive/$pkgname-$pkgver.tar.gz"
+ Makefiledefault)
+md5sums=('623dcadc4365c7cf0935a8e8540efab8'
+ '4aaf5cf417bfa1b816a14585199ec393')
+
+prepare() {
+ cp Makefiledefault "mlkit-$pkgname-$pkgver"
+}
build() {
- cd "mlkit-mlkit-$pkgver"
+ cd "mlkit-$pkgname-$pkgver"
./autobuild
./configure --sysconfdir=/etc --prefix=/usr
make smltojs
@@ -21,6 +27,6 @@ build() {
}
package() {
- cd "mlkit-mlkit-$pkgver"
+ cd "mlkit-$pkgname-$pkgver"
make DESTDIR="$pkgdir" install_smltojs install_smltojs_basislibs
}