Date: Friday, May 29, 2020 @ 17:01:29 Author: arodseth Revision: 637175
archrelease: copy trunk to community-x86_64 Added: smlnj/repos/community-x86_64/PKGBUILD (from rev 637174, smlnj/trunk/PKGBUILD) smlnj/repos/community-x86_64/profile.d-smlnj.sh (from rev 637174, smlnj/trunk/profile.d-smlnj.sh) smlnj/repos/community-x86_64/smlnj.install (from rev 637174, smlnj/trunk/smlnj.install) smlnj/repos/community-x86_64/smlnj.sh (from rev 637174, smlnj/trunk/smlnj.sh) smlnj/repos/community-x86_64/urlgetter.sh (from rev 637174, 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 | 161 +++++++++++++++++++++++++-------------------------- profile.d-smlnj.sh | 4 - smlnj.install | 6 - smlnj.sh | 6 - urlgetter.sh | 62 +++++++++---------- 5 files changed, 120 insertions(+), 119 deletions(-) Deleted: PKGBUILD =================================================================== --- PKGBUILD 2020-05-29 17:01:17 UTC (rev 637174) +++ PKGBUILD 2020-05-29 17:01:29 UTC (rev 637175) @@ -1,80 +0,0 @@ -# Maintainer: Alexander F. Rødseth <xypr...@archlinux.org> -# Contributor: Thomas Weißschuh <tho...@t-8ch.de> - -pkgname=smlnj -pkgver=110.96 -pkgrel=1 -pkgdesc='Standard ML compiler from New Jersey' -url='https://www.smlnj.org/' -license=(BSD) -arch=(x86_64) -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 -) -sha256sums=('605a118476d251bd77e312f303df3039adea6ace521d9ac140e2187b904ec807' - 'ab08f260137fb68492d747b96d5be8ce49e8eda55a358094fd9018efd32341bd' - 'b2bda33c1fb1472b4ca69827463b1b1b7b8a86bed72db959a558d9e4fe65de18' - '19e4f8096f5c8af64f20e57c5b48dacf9054c90ec14db4908a9e8c5bc505c568' - '1382181001e0cf8d751c3d1707331f305e1ab3e41ca07af1349a73ef16df4a4c' - '46ab1f6f4282ab46f117f8b8673e70180b8b4cbc6d9afdfa305aa8510258bf69' - '8f33d350c4027e326f4b910cba2c50ae215a0b6ce93fed380b02f48c19ce3161' - '193c29217e592d3e5a67cd0bde14ebfed2a2c3e4bcfae1e151e8fbe148fbe69e' - '7ff7e8008bc08f32f2080e83afa7c609171d9856ec46fcccaec7f44c309057fb' - '8b9301e3a2975be6877ce22edc27445630d57f51afbb77a950f386c9b3193bbf' - 'fb08f68da401382396fe0cb676b0f81eda27e9360c69fbeb3d473dec3452e8ee' - 'ec2b2d08343a32d911f30f34fb506fd0fed21b21378592e568107a68abc6ed8a' - '3736cd60daad7510467ee2f31462cffbb43890bc4499b3efc7d671829f68e141' - '02971b9026d2c6df8b425b8ac78c4065439a62e09b36fc974a98b5062874b8f0' - '3a8d4d345ec3832b30bde1a7b0c0f97f209f40afd80e6ff6e1c78f365a77b0e9' - '4286a4aa01f2063bdbea10ab1c7299b7a41a4a822a96d4a040ce404b1b3276b1' - '5f24d0ae00fb8dde2cec660ca66395fcfcc417ee56faec7f5f420af18cabb80d' - '4da78effe7d3644c28c731c8e4003a9cecec9f8f61d2fa4553981a729f2d200b' - 'dd20a81a5d2899f60183215ab6a412d522d2c6801d454c142225716899e089f3' - '3012a08e113b0cf6feff06689c1ae2ad48524e200d30ac46676f3c9e53665218') - -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 -# vim: ts=2 sw=2 et: Copied: smlnj/repos/community-x86_64/PKGBUILD (from rev 637174, smlnj/trunk/PKGBUILD) =================================================================== --- PKGBUILD (rev 0) +++ PKGBUILD 2020-05-29 17:01:29 UTC (rev 637175) @@ -0,0 +1,81 @@ +# Maintainer: Alexander F. Rødseth <xypr...@archlinux.org> +# Contributor: Thomas Weißschuh <tho...@t-8ch.de> + +pkgname=smlnj +pkgver=110.97 +pkgrel=1 +pkgdesc='Standard ML compiler from New Jersey' +url='https://www.smlnj.org/' +license=(BSD) +arch=(x86_64) +depends=(lib32-glibc) +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 +) +sha256sums=('7ddc99b51ab54c7b6fe5094939f64dbfa11dcb551a907c4723e8f7d39b3c0314' + '3f97df4dc592cf21df3f2b65a51b66ebb56277d051a05589ecdbf86b884b18df' + '919482e661cb53afd193830a3395d42d786ff4f48baf69f951b75546073ba6b2' + 'b9f9b02d4f6af7fb0665d8444f685c7cf3074a446eef1dcd1a53e9e472467a9b' + 'f30a04a427d0ce2dfd902fe06cb178df45d3a0d8b5eb432a6bb8b7691f96f3cd' + 'e457c3f2a62935ba1af074360e3e457aaea539c17d88aef730aac0254e4da4f0' + 'd7f964083ab6d4a477654a15a1305147f83d754ff66076d34bffc834b8c79b3d' + '09ffa9d07758c603afe1fc88dd78ee3eabd9090a0c6233683ba83730747d5219' + '7213b67bba1b1a28fff56f38931f0365202f9722fa4864a065c4228562ddc10f' + '049b9a48101bca898fad91768605a487add248408c765cb6f1c1cfa56b50bc10' + '29ee0e891a2e0cd2fe39b32ea327ba57741bb581853215ff96196dfd5c00ba14' + 'd925d60976afc6e50040276f229f1156523721753f5d05683af50ad89a157af0' + 'e67b21f1c60e3eeeac9f4a1c8eee2afbbf27374d7aaf66f2d23f6dbef99da41f' + '14375b117ab393eb7abc6421a298a0418fbd9cc1ee7b859924bf0b10a2f38f80' + '47b0dc7e01d250ca8ab24a74915fb6480148236a2ac45710291adf1155ca7c8d' + '6aaec72c95b4d54ccbb3f9a8dc1f020687e281d1614c71cb74b8aae2c1712327' + '6cf597545c72e330040d9031ece199b8cda99fe8a78f68b337f80f8087a9f6f7' + '4da78effe7d3644c28c731c8e4003a9cecec9f8f61d2fa4553981a729f2d200b' + 'dd20a81a5d2899f60183215ab6a412d522d2c6801d454c142225716899e089f3' + '3012a08e113b0cf6feff06689c1ae2ad48524e200d30ac46676f3c9e53665218') + +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 +# vim: ts=2 sw=2 et: Deleted: profile.d-smlnj.sh =================================================================== --- profile.d-smlnj.sh 2020-05-29 17:01:17 UTC (rev 637174) +++ profile.d-smlnj.sh 2020-05-29 17:01:29 UTC (rev 637175) @@ -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 637174, smlnj/trunk/profile.d-smlnj.sh) =================================================================== --- profile.d-smlnj.sh (rev 0) +++ profile.d-smlnj.sh 2020-05-29 17:01:29 UTC (rev 637175) @@ -0,0 +1,2 @@ +export SMLNJ_HOME=/usr/lib/smlnj +export PATH="$PATH:/usr/lib/smlnj/bin" Deleted: smlnj.install =================================================================== --- smlnj.install 2020-05-29 17:01:17 UTC (rev 637174) +++ smlnj.install 2020-05-29 17:01:29 UTC (rev 637175) @@ -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 637174, smlnj/trunk/smlnj.install) =================================================================== --- smlnj.install (rev 0) +++ smlnj.install 2020-05-29 17:01:29 UTC (rev 637175) @@ -0,0 +1,3 @@ +post_install() { + echo 'Relogin or source /etc/profile.d/smlnj.sh' +} Deleted: smlnj.sh =================================================================== --- smlnj.sh 2020-05-29 17:01:17 UTC (rev 637174) +++ smlnj.sh 2020-05-29 17:01:29 UTC (rev 637175) @@ -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 637174, smlnj/trunk/smlnj.sh) =================================================================== --- smlnj.sh (rev 0) +++ smlnj.sh 2020-05-29 17:01:29 UTC (rev 637175) @@ -0,0 +1,3 @@ +#!/bin/sh +export SMLNJ_HOME=/usr/lib/smlnj +/usr/lib/smlnj/bin/sml "$@" Deleted: urlgetter.sh =================================================================== --- urlgetter.sh 2020-05-29 17:01:17 UTC (rev 637174) +++ urlgetter.sh 2020-05-29 17:01:29 UTC (rev 637175) @@ -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 637174, smlnj/trunk/urlgetter.sh) =================================================================== --- urlgetter.sh (rev 0) +++ urlgetter.sh 2020-05-29 17:01:29 UTC (rev 637175) @@ -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"