[arch-commits] Commit in smlnj/repos/community-x86_64 (10 files)
Alexander Rødseth
arodseth at gemini.archlinux.org
Sat Jul 30 10:18:45 UTC 2022
Date: Saturday, July 30, 2022 @ 10:18:45
Author: arodseth
Revision: 1259150
archrelease: copy trunk to community-x86_64
Added:
smlnj/repos/community-x86_64/PKGBUILD
(from rev 1259149, smlnj/trunk/PKGBUILD)
smlnj/repos/community-x86_64/profile.d-smlnj.sh
(from rev 1259149, smlnj/trunk/profile.d-smlnj.sh)
smlnj/repos/community-x86_64/smlnj.install
(from rev 1259149, smlnj/trunk/smlnj.install)
smlnj/repos/community-x86_64/smlnj.sh
(from rev 1259149, smlnj/trunk/smlnj.sh)
smlnj/repos/community-x86_64/urlgetter.sh
(from rev 1259149, smlnj/trunk/urlgetter.sh)
Deleted:
smlnj/repos/community-x86_64/PKGBUILD
smlnj/repos/community-x86_64/profile.d-smlnj.sh
smlnj/repos/community-x86_64/smlnj.install
smlnj/repos/community-x86_64/smlnj.sh
smlnj/repos/community-x86_64/urlgetter.sh
--------------------+
PKGBUILD | 158 +++++++++++++++++++++++++--------------------------
profile.d-smlnj.sh | 4 -
smlnj.install | 6 -
smlnj.sh | 6 -
urlgetter.sh | 62 ++++++++++----------
5 files changed, 117 insertions(+), 119 deletions(-)
Deleted: PKGBUILD
===================================================================
--- PKGBUILD 2022-07-30 10:18:34 UTC (rev 1259149)
+++ PKGBUILD 2022-07-30 10:18:45 UTC (rev 1259150)
@@ -1,80 +0,0 @@
-# Maintainer: Alexander F. Rødseth <xyproto at archlinux.org>
-# Contributor: Thomas Weißschuh <thomas at t-8ch.de>
-
-pkgname=smlnj
-pkgver=110.99.2
-pkgrel=2
-pkgdesc='Standard ML compiler from New Jersey'
-url='https://www.smlnj.org/'
-license=(BSD)
-arch=(x86_64)
-makedepends=(smlnj)
-provides=(sml)
-install=smlnj.install
-_url="http://smlnj.cs.uchicago.edu/dist/working/$pkgver/"
-source=(
- "$pkgname-$pkgver-boot.amd64-unix.tgz::${_url}boot.amd64-unix.tgz"
- "$pkgname-$pkgver-boot.x64-unix.tgz::${_url}boot.x86-unix.tgz"
- "$pkgname-$pkgver-config.tgz::${_url}config.tgz"
- "$pkgname-$pkgver-cm.tgz::${_url}cm.tgz"
- "$pkgname-$pkgver-compiler.tgz::${_url}compiler.tgz"
- "$pkgname-$pkgver-runtime.tgz::${_url}runtime.tgz"
- "$pkgname-$pkgver-system.tgz::${_url}system.tgz"
- "$pkgname-$pkgver-MLRISC.tgz::${_url}MLRISC.tgz"
- "$pkgname-$pkgver-smlnj-lib.tgz::${_url}smlnj-lib.tgz"
- "$pkgname-$pkgver-ckit.tgz::${_url}ckit.tgz"
- "$pkgname-$pkgver-nlffi.tgz::${_url}nlffi.tgz"
- "$pkgname-$pkgver-cml.tgz::${_url}cml.tgz"
- "$pkgname-$pkgver-ml-lpt.tgz::${_url}ml-lpt.tgz"
- "$pkgname-$pkgver-ml-lex.tgz::${_url}ml-lex.tgz"
- "$pkgname-$pkgver-ml-yacc.tgz::${_url}ml-yacc.tgz"
- "$pkgname-$pkgver-ml-burg.tgz::${_url}ml-burg.tgz"
- "$pkgname-$pkgver-trace-debug-profile.tgz::${_url}trace-debug-profile.tgz"
- urlgetter.sh
- profile.d-smlnj.sh
- smlnj.sh
-)
-b2sums=('7b4fdff5c5d12217768e0605c46845cfcf70b14ea0dd71cd993bce0c2a9e1ebc94f1b118e198e02ab81b07a922876000a92ca2c34092b65b5726c70e2411c747'
- 'dc2e4a05f39be830290f863837b551d752c072839bb2448e8445bd527bc2df55da64bd71787d1b6c0c651f6b6f645b906ed25d444a37f005c98934503cd06307'
- 'e65bfad1636d892494bd67be1c6a16d43844a1928c2084677f4901edb75b44957bcfb8e9e4bf94e8799738f3d7762d01c9d652bab0a7fe39696edf8353c88668'
- 'aeb1bd53afc88df154b4ec4f5af6eab3a8704e317f5e340e90b5338286e3a513ed576bd306cc5487c68fe9e0d600fe2be116ad23c515d3aba6da4b135dfd5d93'
- '99229a6520616590963a9aa57e5c7487e9029d4de1db2c82b1ac26ae3cc6b88cd60770efb2dad3292ffa3c1849094c84d4c43677ee20170aeea6cb77bc5d684a'
- '2b5f33d1cf78c5925f5912be6d0e8dd3a94ec7364613a7c33671ffd6c12a7e8aba8918ee8f788a0a11721b80508147cc570db568c13adcedb731cde0c19199a2'
- 'c9af6495f6991cd9e6768ceab1c8841e30ba83d981e2b8b0482851c8cca9db548e22a2abce2ee0764e4e5ad37723d5819e4e44c91e4e69a4b353327e6ea55769'
- 'dca76da4c5966ecaff35616723f9ec57fca6ce6c29940ed65691819ea6f3c8b617ce8ab207ae902550004f7b99a5cd7b3a5fe514ff591d64fbd12bce18fae3e7'
- '8194c48196e5e58eb22e6f4f1a91b7b8671acfd2425b88b826d0d2f8f0075f309b3cfcfb77df61fdf5944b3f384201a10effec0438efd9a32f3b4ba68f94d6b0'
- '272849e5caae212061acc14f13d055d8f75ea1c61364be1bb039ecd5cf3166b7f9e39133266383aa411ccd980fa75c223873634d493f6bcf5e6e3bbca55c2544'
- '7a8e8087e65a8f3150d208f1577a39c96942f083b11627433e3a16677e960b1c6ae179eab2c79d3b49d4c20ac56550f3f1d83178c2bde643c9a23d96b549d8f1'
- 'ae172683d722401776a435a13bd8c58d255602ec994cd36828d337fd8d3895512cc3c54b4fef978c05e5fe953f0f2eb8b7625e8684b9840a5080e9eee9069c59'
- '08781336857ff7bebf39b60c900f7489db660f470027dc023dd3927ca4ebb9335959b4425ee1befc21fca540141764043656da7447a1df74b1f37c6ef3fdbde3'
- 'f0906f4c71fa68f14c9dd00c2bd4925752cd6c5f582c44692ea994fc4b91b4c2d5e56453f2437ca6826b3192f1a75fca04ec5aca09420d9ab4d104abbee83313'
- 'ec9269b6b9c497aa761bbba654960edb68a4a53cb5e3e04d99c750d0d767da1445d28faff0cd6fb6f78d9538fdc9d6c571e79324b1e9b81ae8fe67fc4ebce7be'
- '15a66c5e93d6a35fe60e052d227870606407ede8f38a5e9376b823800a0894271393e1c286def8dbc83dd8bff895c47371c625d990fdc808363409b9ef0f38bf'
- 'ebc7d3270bcee5464c7eb5a70c851d865ffbf2ba31a084b61074ffe22f7d97c255fe4584fdbf491c7d5e2db65e3efb5648eb5995b81561cdfee152ae8b31c859'
- '6ed6fe0fa9e9dc520e25236dd0002f46eaf243b9a190a61c0f24b3bf20db8127147abd6a84290a81513110b0b7d080e9c4bcb445908f40a8cec67442f4bdbfc1'
- '3666f88b0c79022e52108073a8b6ce96520a31dba27bb3fc101518182244d03ec22eaa8719a7c08c6960ac1c867b885c58f116c04c5da1b7c7aa5e699b0e9b29'
- '619d1d3736750ace9ca4097ec137e10ab3914f905220b54156ea58bb2cf2e0e5cec8ef41e61c03d7c0f0577f4db085c4298ea075dad6c50d206e1d275ff8a981')
-
-build() {
- mkdir -p install
- unset SMLNJ_HOME MAKEFLAGS
- export srcdir
- export pkgver
- export INSTALLDIR="$srcdir/install"
- export CFLAGS="$CFLAGS -Wl,-z,relro,-z-now"
- export LDFLAGS="$LDFLAGS -Wl,-z,relro,-z-now"
- URLGETTER="$srcdir/urlgetter.sh"
- config/install.sh -default 64
-}
-
-package() {
- install -d "$pkgdir/usr/"{lib/smlnj,share}
- install -Dm755 "$srcdir/profile.d-smlnj.sh" "$pkgdir/etc/profile.d/smlnj.sh"
- install -Dm644 compiler/LICENSE "$pkgdir/usr/share/licenses/$pkgname/LICENSE"
- cp -R "$srcdir/install/"{bin,lib} "$pkgdir/usr/lib/smlnj"
- cp -R "$srcdir/doc/man" "$pkgdir/usr/share/"
- find "$pkgdir/usr/share/man" -name '._*' -delete
- install -Dm755 smlnj.sh "$pkgdir/usr/bin/smlnj"
-}
-
-# getver: smlnj.org
Copied: smlnj/repos/community-x86_64/PKGBUILD (from rev 1259149, smlnj/trunk/PKGBUILD)
===================================================================
--- PKGBUILD (rev 0)
+++ PKGBUILD 2022-07-30 10:18:45 UTC (rev 1259150)
@@ -0,0 +1,78 @@
+# Maintainer: Alexander F. Rødseth <xyproto at archlinux.org>
+# Contributor: Thomas Weißschuh <thomas at t-8ch.de>
+
+pkgname=smlnj
+pkgver=110.99.3
+pkgrel=1
+pkgdesc='Standard ML compiler from New Jersey'
+url='https://www.smlnj.org/'
+license=(BSD)
+arch=(x86_64)
+makedepends=(smlnj)
+provides=(sml)
+install=smlnj.install
+_url="http://smlnj.cs.uchicago.edu/dist/working/$pkgver/"
+source=(
+ "$pkgname-$pkgver-boot.amd64-unix.tgz::${_url}boot.amd64-unix.tgz"
+ "$pkgname-$pkgver-boot.x64-unix.tgz::${_url}boot.x86-unix.tgz"
+ "$pkgname-$pkgver-config.tgz::${_url}config.tgz"
+ "$pkgname-$pkgver-cm.tgz::${_url}cm.tgz"
+ "$pkgname-$pkgver-compiler.tgz::${_url}compiler.tgz"
+ "$pkgname-$pkgver-runtime.tgz::${_url}runtime.tgz"
+ "$pkgname-$pkgver-system.tgz::${_url}system.tgz"
+ "$pkgname-$pkgver-MLRISC.tgz::${_url}MLRISC.tgz"
+ "$pkgname-$pkgver-smlnj-lib.tgz::${_url}smlnj-lib.tgz"
+ "$pkgname-$pkgver-ckit.tgz::${_url}ckit.tgz"
+ "$pkgname-$pkgver-nlffi.tgz::${_url}nlffi.tgz"
+ "$pkgname-$pkgver-cml.tgz::${_url}cml.tgz"
+ "$pkgname-$pkgver-ml-lpt.tgz::${_url}ml-lpt.tgz"
+ "$pkgname-$pkgver-ml-lex.tgz::${_url}ml-lex.tgz"
+ "$pkgname-$pkgver-ml-yacc.tgz::${_url}ml-yacc.tgz"
+ "$pkgname-$pkgver-ml-burg.tgz::${_url}ml-burg.tgz"
+ "$pkgname-$pkgver-trace-debug-profile.tgz::${_url}trace-debug-profile.tgz"
+ urlgetter.sh
+ profile.d-smlnj.sh
+ smlnj.sh
+)
+b2sums=('c6a7c96344da723dfd88155586b680b6f54e7711335bc88d8f1468d3f989077febe6624596d16d7236e651f17d33b6bdf268e8a99164b46e21780d87c697551b'
+ '52e9f86e7dabaf51ddb642a135f72c6e59f870152107730f7321f7d1d6c165594bdaaf085795360a9dadccec1cd2595c56b7bf7d84d038254273ab8bd5ec1c03'
+ '78c6cafc1bc5ac8f6e1fe837c1d1fe8d725eab09713a004a2d89df02c52a2553a2b91a7f540d64b097661b80c1b7bbbbd96f9c2ffdae4e2d3655fd182a7c31aa'
+ '6e4ecfc4d74756b1e69a3f61e25649798c6b74327e4d86ff649e9664f22e092a09b80ff0f6e0b94a5210db97985fabc3803e103b3be1da0f9c2bfccb06064e10'
+ 'c98a337003619d5968f416c83422fb1ed92dbb37423630d41e2600d62a8cda1d2eb02ecd681bc79cb71a51881c1f4e6189430a05726d6345585f87a5585bc66a'
+ 'ce70bd05fc311ed11285aceb4cb78af7f08a18431538a341f768fc04e9aa3b1df1f0f3f86f384622aea59fb3322eb8446176bf3481df6f0efa5d67fd1bf71da1'
+ '9fbb815ee69269ed962899a8374d5669adde670f1846c2137958fb945bc29ac52ae60a1e7393d6fe5479b037641f53bd938555c483683f4f8532c22a44073224'
+ 'a639a9afcaf1bf3e6521eeaa2dd8cb28f164b4c9b439dcb1370c9189b8ca769fa79f3b6c15aa3ee4db49afd61c321d1a6197ad3a46f7209bd51a431e1249dd49'
+ '1904fc25ae19f8a62669e8ad81272702df3871b04a8ee82e3526d5cbec15835d17fb9ebc710fa7cad5634a9485b5ae9534cb9015e96fae4c19d8a51bcb57b77e'
+ '0834239040c7e15b96c8ca8812a0d74f5254bbdca22fdba8da5059ec3a256896fa8840dcc18534b9ba3578cb204fe12665f02337f7e1f46af71f19acc2ee4c45'
+ '0129c45031c750fcb8b879fa325532170c937ac0dc50e224ff22e1ea7c0822f13794be22ff5bc8c1570ed28b8ff9aa90910cb07b3c18519344bbad17bbf351da'
+ '4723c4a9f891274bac82168c21d19ec2506fc01f48fd330b179b468f73174c049df78a3948a10fe245f0f84f2f8b433ed0b64fc0340092e30433b247fbbd3773'
+ '3b0a853c92eed28d0d8a4394d1b87761bd093d1e701b289e5de28a351f27e97abb1921a5e5ade6e7dea1faef1dccca4dbcb30aefe4624361b302f14084cf08af'
+ '7891b4c26aa44c945f18cd1300fb7c49455c1d2eef4d7ed425509387edd87abea8e23900fa9777798bd7db976d0f4788c3a97120f13c1778b6d476cca190a747'
+ '39f9f50f612c5b263f6146d39262d669d7ee3f65daf7d24a0c950ddea8868f13ac6881860f694cba3ecb6b2f29b4755f1364fac2c08401e537d6c355071ebbde'
+ '3ef88f8ada0110b91db783901e1efefeea835bef94dbfbbb2de08480adaff79c484abcfb196bc473a0c5d517d6120dad56199c548cf52b5ced712090120afe62'
+ '53bc19a0b805bde85527fec711e088e5805420ed969347075f1876ebbc0d13a54a9d5b444da9541fbccdd0e48444ce663806f08ed35095d63d87382dab020f32'
+ '6ed6fe0fa9e9dc520e25236dd0002f46eaf243b9a190a61c0f24b3bf20db8127147abd6a84290a81513110b0b7d080e9c4bcb445908f40a8cec67442f4bdbfc1'
+ '3666f88b0c79022e52108073a8b6ce96520a31dba27bb3fc101518182244d03ec22eaa8719a7c08c6960ac1c867b885c58f116c04c5da1b7c7aa5e699b0e9b29'
+ '619d1d3736750ace9ca4097ec137e10ab3914f905220b54156ea58bb2cf2e0e5cec8ef41e61c03d7c0f0577f4db085c4298ea075dad6c50d206e1d275ff8a981')
+
+build() {
+ mkdir -p install
+ unset SMLNJ_HOME MAKEFLAGS
+ export srcdir
+ export pkgver
+ export INSTALLDIR="$srcdir/install"
+ export CFLAGS="$CFLAGS -Wl,-z,relro,-z-now"
+ export LDFLAGS="$LDFLAGS -Wl,-z,relro,-z-now"
+ URLGETTER="$srcdir/urlgetter.sh"
+ config/install.sh -default 64
+}
+
+package() {
+ install -d "$pkgdir/usr/"{lib/smlnj,share}
+ install -Dm755 "$srcdir/profile.d-smlnj.sh" "$pkgdir/etc/profile.d/smlnj.sh"
+ install -Dm644 compiler/LICENSE "$pkgdir/usr/share/licenses/$pkgname/LICENSE"
+ cp -R "$srcdir/install/"{bin,lib} "$pkgdir/usr/lib/smlnj"
+ cp -R "$srcdir/doc/man" "$pkgdir/usr/share/"
+ find "$pkgdir/usr/share/man" -name '._*' -delete
+ install -Dm755 smlnj.sh "$pkgdir/usr/bin/smlnj"
+}
Deleted: profile.d-smlnj.sh
===================================================================
--- profile.d-smlnj.sh 2022-07-30 10:18:34 UTC (rev 1259149)
+++ profile.d-smlnj.sh 2022-07-30 10:18:45 UTC (rev 1259150)
@@ -1,2 +0,0 @@
-export SMLNJ_HOME=/usr/lib/smlnj
-export PATH="$PATH:/usr/lib/smlnj/bin"
Copied: smlnj/repos/community-x86_64/profile.d-smlnj.sh (from rev 1259149, smlnj/trunk/profile.d-smlnj.sh)
===================================================================
--- profile.d-smlnj.sh (rev 0)
+++ profile.d-smlnj.sh 2022-07-30 10:18:45 UTC (rev 1259150)
@@ -0,0 +1,2 @@
+export SMLNJ_HOME=/usr/lib/smlnj
+export PATH="$PATH:/usr/lib/smlnj/bin"
Deleted: smlnj.install
===================================================================
--- smlnj.install 2022-07-30 10:18:34 UTC (rev 1259149)
+++ smlnj.install 2022-07-30 10:18:45 UTC (rev 1259150)
@@ -1,3 +0,0 @@
-post_install() {
- echo 'Relogin or source /etc/profile.d/smlnj.sh'
-}
Copied: smlnj/repos/community-x86_64/smlnj.install (from rev 1259149, smlnj/trunk/smlnj.install)
===================================================================
--- smlnj.install (rev 0)
+++ smlnj.install 2022-07-30 10:18:45 UTC (rev 1259150)
@@ -0,0 +1,3 @@
+post_install() {
+ echo 'Relogin or source /etc/profile.d/smlnj.sh'
+}
Deleted: smlnj.sh
===================================================================
--- smlnj.sh 2022-07-30 10:18:34 UTC (rev 1259149)
+++ smlnj.sh 2022-07-30 10:18:45 UTC (rev 1259150)
@@ -1,3 +0,0 @@
-#!/bin/sh
-export SMLNJ_HOME=/usr/lib/smlnj
-/usr/lib/smlnj/bin/sml "$@"
Copied: smlnj/repos/community-x86_64/smlnj.sh (from rev 1259149, smlnj/trunk/smlnj.sh)
===================================================================
--- smlnj.sh (rev 0)
+++ smlnj.sh 2022-07-30 10:18:45 UTC (rev 1259150)
@@ -0,0 +1,3 @@
+#!/bin/sh
+export SMLNJ_HOME=/usr/lib/smlnj
+/usr/lib/smlnj/bin/sml "$@"
Deleted: urlgetter.sh
===================================================================
--- urlgetter.sh 2022-07-30 10:18:34 UTC (rev 1259149)
+++ urlgetter.sh 2022-07-30 10:18:45 UTC (rev 1259150)
@@ -1,31 +0,0 @@
-#!/bin/bash
-
-# invocation:
-# urlgetter.sh <source> <destination>
-# where source is a remote path
-
-SOURCE="$1"
-DEST="$2"
-
-if [ -z "$srcdir" -o -z "$pkgver" ]; then
- echo "*************************************"
- echo "Missing one ore more environment variables"
- echo " srcdir pkgver"
- echo "*************************************"
-
- exit 1
-fi
-
-LOCALSOURCE="$srcdir/smlnj-$pkgver-$(basename $SOURCE)"
-
-if [ ! -f "$LOCALSOURCE" ]; then
- echo "*************************************"
- echo "Can't find file:"
- echo "$LOCALSOURCE"
- echo "Please add it to the sources in the PKGBUILD"
- echo "*************************************"
-
- exit 2
-fi
-
-ln -sf "$LOCALSOURCE" "$DEST"
Copied: smlnj/repos/community-x86_64/urlgetter.sh (from rev 1259149, smlnj/trunk/urlgetter.sh)
===================================================================
--- urlgetter.sh (rev 0)
+++ urlgetter.sh 2022-07-30 10:18:45 UTC (rev 1259150)
@@ -0,0 +1,31 @@
+#!/bin/bash
+
+# invocation:
+# urlgetter.sh <source> <destination>
+# where source is a remote path
+
+SOURCE="$1"
+DEST="$2"
+
+if [ -z "$srcdir" -o -z "$pkgver" ]; then
+ echo "*************************************"
+ echo "Missing one ore more environment variables"
+ echo " srcdir pkgver"
+ echo "*************************************"
+
+ exit 1
+fi
+
+LOCALSOURCE="$srcdir/smlnj-$pkgver-$(basename $SOURCE)"
+
+if [ ! -f "$LOCALSOURCE" ]; then
+ echo "*************************************"
+ echo "Can't find file:"
+ echo "$LOCALSOURCE"
+ echo "Please add it to the sources in the PKGBUILD"
+ echo "*************************************"
+
+ exit 2
+fi
+
+ln -sf "$LOCALSOURCE" "$DEST"
More information about the arch-commits
mailing list