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

[Alexander Rødseth]

    Date: Wednesday, November 3, 2021 @ 20:09:05
  Author: arodseth
Revision: 1035652

archrelease: copy trunk to community-x86_64

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

----------+
 PKGBUILD |   96 ++++++++++++++++++++++++++-----------------------------------
 1 file changed, 41 insertions(+), 55 deletions(-)

Deleted: PKGBUILD
===================================================================
--- PKGBUILD	2021-11-03 20:09:00 UTC (rev 1035651)
+++ PKGBUILD	2021-11-03 20:09:05 UTC (rev 1035652)
@@ -1,55 +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=1
-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)
-options=(staticlibs)
-source=("git+https://github.com/MLton/mlton#tag=on-$pkgver-release")
-b2sums=('SKIP')
-
-# Make dependencies for bootstrapping mlton on x86_64:
-#makedepends_x86_64=('smlnj' 'setconf')
-
-prepare() {
-  cd $pkgname
-
-  sed 's/_BSD_SOURCE/_DEFAULT_SOURCE/g' -i runtime/cenv.h
-
-  # For bootstrapping mlton on x86_64
-  #if [ $CARCH = 'x86_64' ]; then
-  #  find . -name Makefile -type f -exec setconf {} CFLAGS "$CFLAGS -fPIC" \;
-  #fi
-}
-
-build() {
-  export CFLAGS="$CFLAGS -fPIC"
-  export COMPILE_ARGS="-codegen c -cc-opt '-fPIC'"
-
-  # For bootstrapping mlton on x86_64
-  #if [ "$CARCH" = 'x86_64' ]; then
-  #  # Bootstrap with SML-NJ on x86_64
-  #  make -C "$pkgname" -j1 smlnj-mlton all-no-docs
-  #else
-  #  make -C "$pkgname" -j1 all-no-docs
-  #fi
-
-  make -C $pkgname -j1
-}
-
-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 1035651, mlton/trunk/PKGBUILD)
===================================================================
--- PKGBUILD	                        (rev 0)
+++ PKGBUILD	2021-11-03 20:09:05 UTC (rev 1035652)
@@ -0,0 +1,41 @@
+# 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
+}