Date: Friday, August 21, 2020 @ 13:20:09 Author: arodseth Revision: 685980
archrelease: copy trunk to community-x86_64 Added: mlton/repos/community-x86_64/PKGBUILD (from rev 685979, mlton/trunk/PKGBUILD) Deleted: mlton/repos/community-x86_64/PKGBUILD ----------+ PKGBUILD | 113 ++++++++++++++++++++++++++++++------------------------------- 1 file changed, 56 insertions(+), 57 deletions(-) Deleted: PKGBUILD =================================================================== --- PKGBUILD 2020-08-21 13:20:04 UTC (rev 685979) +++ PKGBUILD 2020-08-21 13:20:09 UTC (rev 685980) @@ -1,57 +0,0 @@ -# Maintainer: Alexander F Rødseth <xypr...@archlinux.org> -# Contributor: Michael Koloberdin <kolober...@gmail.com> -# Contributor: toch...@no.spam.mail.berlios.de -# Contributor: Andreas W. Hauser <andy-...@splashground.de> -# Contributor: Brian De Wolf <a...@bldewolf.com> - -pkgname=mlton -pkgver=20180207 -pkgrel=2 -pkgdesc='Whole-program, optimizing Standard ML compiler' -arch=('x86_64') -url='http://mlton.org/' -license=('BSD' 'MIT' 'LGPL') -depends=('gmp') -makedepends=('git' 'mlton') -options=('staticlibs') -source=("git+https://github.com/MLton/mlton#tag=on-$pkgver-release") -md5sums=('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 -} - -# getver: no -# vim: ts=2 sw=2 et: Copied: mlton/repos/community-x86_64/PKGBUILD (from rev 685979, mlton/trunk/PKGBUILD) =================================================================== --- PKGBUILD (rev 0) +++ PKGBUILD 2020-08-21 13:20:09 UTC (rev 685980) @@ -0,0 +1,56 @@ +# Maintainer: Alexander F Rødseth <xypr...@archlinux.org> +# Contributor: Michael Koloberdin <kolober...@gmail.com> +# Contributor: toch...@no.spam.mail.berlios.de +# Contributor: Andreas W. Hauser <andy-...@splashground.de> +# Contributor: Brian De Wolf <a...@bldewolf.com> + +pkgname=mlton +pkgver=20200817 +pkgrel=1 +pkgdesc='Whole-program, optimizing Standard ML compiler' +arch=(x86_64) +url='http://mlton.org/' +license=(BSD MIT LGPL) +depends=(gmp) +makedepends=(git mlton) +options=(staticlibs) +source=("git+https://github.com/MLton/mlton#tag=on-$pkgver-release") +md5sums=('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 +} + +# vim: ts=2 sw=2 et: