[arch-commits] Commit in mlton/repos/community-x86_64 (PKGBUILD PKGBUILD)

[Alexander Rødseth]

    Date: Thursday, November 4, 2021 @ 08:13:52
  Author: arodseth
Revision: 1036839

archrelease: copy trunk to community-x86_64

Added:
  mlton/repos/community-x86_64/PKGBUILD
    (from rev 1036838, mlton/trunk/PKGBUILD)
Deleted:
  mlton/repos/community-x86_64/PKGBUILD

----------+
 PKGBUILD |   81 ++++++++++++++++++++++++++++++-------------------------------
 1 file changed, 40 insertions(+), 41 deletions(-)

Deleted: PKGBUILD
===================================================================
--- PKGBUILD	2021-11-04 08:13:47 UTC (rev 1036838)
+++ PKGBUILD	2021-11-04 08:13:52 UTC (rev 1036839)
@@ -1,41 +0,0 @@
-# Maintainer: Alexander F. Rødseth <xyproto at archlinux.org>
-# Contributor: Michael Koloberdin <koloberdin at gmail.com>
-# Contributor: tochiro at no.spam.mail.berlios.de
-# Contributor: Andreas W. Hauser <andy-aur at splashground.de>
-# Contributor: Brian De Wolf <arch at bldewolf.com>
-
-pkgname=mlton
-pkgver=20210117
-pkgrel=2
-pkgdesc='Whole-program, optimizing Standard ML compiler'
-arch=(x86_64)
-# no HTTPS available
-url='http://mlton.org/'
-license=(BSD LGPL MIT)
-depends=(gmp)
-makedepends=(git mlton setconf)
-options=(staticlibs)
-source=("git+https://github.com/MLton/mlton#commit=b1f1f0f0916d28c0d183fba85549d5bf96f1fa41") # tag: on-20210117-release
-b2sums=(SKIP)
-
-prepare() {
-  cd $pkgname
-  setconf Makefile.config RELEASE true
-  make MLTON_VERSION="$pkgver" version
-}
-
-build() {
-  make -C $pkgname
-}
-
-check() {
-  echo 'print("42");' > test.sml
-  $pkgname/build/bin/mlton test.sml && x=$(./test) && test $x -eq 42
-}
-
-package() {
-  make -C $pkgname PREFIX=/usr DESTDIR="$pkgdir" install
-  for f in $pkgname/doc/license/*-LICENSE; do
-    install -Dm644 "$f" "$pkgdir/usr/share/licenses/$pkgname/$f"
-  done
-}

Copied: mlton/repos/community-x86_64/PKGBUILD (from rev 1036838, mlton/trunk/PKGBUILD)
===================================================================
--- PKGBUILD	                        (rev 0)
+++ PKGBUILD	2021-11-04 08:13:52 UTC (rev 1036839)
@@ -0,0 +1,40 @@
+# Maintainer: Alexander F. Rødseth <xyproto at archlinux.org>
+# Contributor: Michael Koloberdin <koloberdin at gmail.com>
+# Contributor: tochiro at no.spam.mail.berlios.de
+# Contributor: Andreas W. Hauser <andy-aur at splashground.de>
+# Contributor: Brian De Wolf <arch at bldewolf.com>
+
+pkgname=mlton
+pkgver=20210117
+pkgrel=3
+pkgdesc='Whole-program, optimizing Standard ML compiler'
+arch=(x86_64)
+# no HTTPS available
+url='http://mlton.org/'
+license=(BSD LGPL MIT)
+depends=(gmp)
+makedepends=(git mlton setconf)
+options=(staticlibs)
+source=("git+https://github.com/MLton/mlton#commit=b1f1f0f0916d28c0d183fba85549d5bf96f1fa41") # tag: on-20210117-release
+b2sums=(SKIP)
+
+prepare() {
+  cd $pkgname
+  make MLTON_VERSION="$pkgver" version
+}
+
+build() {
+  make -C $pkgname MLTON_COMPILE_ARGS="-link-opt -Wl,-z,relro,-z,now"
+}
+
+check() {
+  echo 'print("42");' > simple.sml
+  $pkgname/build/bin/mlton simple.sml && test $(./simple) -eq 42
+}
+
+package() {
+  make -C $pkgname PREFIX=/usr DESTDIR="$pkgdir" install
+  for f in $pkgname/doc/license/*-LICENSE; do
+    install -Dm644 "$f" "$pkgdir/usr/share/licenses/$pkgname/$f"
+  done
+}