Date: Friday, December 23, 2022 @ 18:20:19 Author: felixonmars Revision: 1365335
upgpkg: maude 3.2.2-1 Modified: maude/trunk/PKGBUILD ----------+ PKGBUILD | 17 +++++++---------- 1 file changed, 7 insertions(+), 10 deletions(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2022-12-23 17:19:17 UTC (rev 1365334) +++ PKGBUILD 2022-12-23 18:20:19 UTC (rev 1365335) @@ -4,7 +4,7 @@ # Contributor: Stefan Husmann <[email protected]> pkgname=maude -pkgver=3.2.1 +pkgver=3.2.2 pkgrel=1 pkgdesc="High-level Specification Language" arch=('x86_64') @@ -13,10 +13,10 @@ depends=('buddy' 'cvc4' 'libtecla' 'gmp' 'libsigsegv' 'yices') makedepends=('flex' 'bison') source=("https://github.com/SRI-CSL/Maude/archive/$pkgver/$pkgname-$pkgver.tar.gz"; - "http://maude.cs.illinois.edu/w/images/b/bc/Full-Maude-$pkgver.zip"; + https://raw.githubusercontent.com/maude-team/full-maude/96be01c059d7f0fb1cbea15e2f0818350fb66eb8/full-maude322.maude maude.sh) -sha512sums=('7bcde5a51696af887b83fae84e7dead1138543fba13b33addd1d5f890fe3e463b2b5db95f7ab6af168600edb624ce3dbf6a4da05440796a13a4738698c424791' - '6816538606d91d404a953666e842749375b9d8caa2a45402fae32417b9443335a651052c0dd217cc7ba1f738191bbe8a74d951ddc307b0e59d0eff0efad3fe6f' +sha512sums=('0414a5cbd0a2cd74b34abbd8072d5564f87f10bcf0d1b59b5e478ffc4d60f13eba9b47387b7efa85f6d5823fff5b436da13daf3b4d8dcbe973325e5afc5a28fe' + '7527d5962497c2c45856408a78d26331977d3b35bc1824e59e1f87b644072fe78b5c5e0ca392c44056bcdc8c6874603288a6a536691b01c5cd68bdfe5bc99189' 'f62e1709d035e996c9f9a887840492527415f157990cc2d52355d8a7fe9382a757c06bed95f97e298f8eea0dd2a846bf7efb8fb84987784a4a797820807be12e') prepare() { @@ -38,15 +38,12 @@ check() { cd Maude-$pkgver/build - # https://github.com/SRI-CSL/Maude/issues/2 - make check && exit 1 || echo "Tests failed as expected" + make check } package() { cd Maude-$pkgver/build make DESTDIR="$pkgdir/" install - install -D -m 444 "$srcdir/full-maude.maude" \ - "$pkgdir/usr/share/maude/full-maude.maude" - - install -D -m 555 "$srcdir/maude.sh" "$pkgdir/etc/profile.d/maude.sh" + install -Dm644 "$srcdir"/full-maude322.maude "$pkgdir"/usr/share/maude/full-maude.maude + install -Dm755 "$srcdir"/maude.sh -t "$pkgdir"/etc/profile.d/ }
