Date: Sunday, March 12, 2023 @ 15:17:31
Author: jelle
Revision: 1419307
archrelease: copy trunk to community-x86_64
Added:
mlton/repos/community-x86_64/PKGBUILD
(from rev 1419306, mlton/trunk/PKGBUILD)
Deleted:
mlton/repos/community-x86_64/PKGBUILD
----------+
PKGBUILD | 80 ++++++++++++++++++++++++++++++-------------------------------
1 file changed, 40 insertions(+), 40 deletions(-)
Deleted: PKGBUILD
===================================================================
--- PKGBUILD 2023-03-12 15:17:24 UTC (rev 1419306)
+++ PKGBUILD 2023-03-12 15:17:31 UTC (rev 1419307)
@@ -1,40 +0,0 @@
-# Maintainer: Alexander F. Rødseth <[email protected]>
-# Contributor: Michael Koloberdin <[email protected]>
-# Contributor: [email protected]
-# Contributor: Andreas W. Hauser <[email protected]>
-# Contributor: Brian De Wolf <[email protected]>
-
-pkgname=mlton
-pkgver=20210117
-pkgrel=4
-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
-}
Copied: mlton/repos/community-x86_64/PKGBUILD (from rev 1419306,
mlton/trunk/PKGBUILD)
===================================================================
--- PKGBUILD (rev 0)
+++ PKGBUILD 2023-03-12 15:17:31 UTC (rev 1419307)
@@ -0,0 +1,40 @@
+# Maintainer: Alexander F. Rødseth <[email protected]>
+# Contributor: Michael Koloberdin <[email protected]>
+# Contributor: [email protected]
+# Contributor: Andreas W. Hauser <[email protected]>
+# Contributor: Brian De Wolf <[email protected]>
+
+pkgname=mlton
+pkgver=20210117
+pkgrel=5
+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
+}
