Date: Friday, December 23, 2022 @ 18:20:33
Author: felixonmars
Revision: 1365336
archrelease: copy trunk to community-x86_64
Added:
maude/repos/community-x86_64/PKGBUILD
(from rev 1365335, maude/trunk/PKGBUILD)
maude/repos/community-x86_64/maude.sh
(from rev 1365335, maude/trunk/maude.sh)
Deleted:
maude/repos/community-x86_64/PKGBUILD
maude/repos/community-x86_64/maude.sh
----------+
PKGBUILD | 101 +++++++++++++++++++++++++++++--------------------------------
maude.sh | 40 ++++++++++++------------
2 files changed, 69 insertions(+), 72 deletions(-)
Deleted: PKGBUILD
===================================================================
--- PKGBUILD 2022-12-23 18:20:19 UTC (rev 1365335)
+++ PKGBUILD 2022-12-23 18:20:33 UTC (rev 1365336)
@@ -1,52 +0,0 @@
-# Maintainer: Felix Yan <[email protected]>
-# Contributor: <kaptoxic _at_ yahoo _dot_ com >
-# Contributor: Peter Simons <[email protected]>
-# Contributor: Stefan Husmann <[email protected]>
-
-pkgname=maude
-pkgver=3.2.1
-pkgrel=1
-pkgdesc="High-level Specification Language"
-arch=('x86_64')
-url="http://maude.cs.illinois.edu";
-license=('GPL')
-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";
- maude.sh)
-sha512sums=('7bcde5a51696af887b83fae84e7dead1138543fba13b33addd1d5f890fe3e463b2b5db95f7ab6af168600edb624ce3dbf6a4da05440796a13a4738698c424791'
-
'6816538606d91d404a953666e842749375b9d8caa2a45402fae32417b9443335a651052c0dd217cc7ba1f738191bbe8a74d951ddc307b0e59d0eff0efad3fe6f'
-
'f62e1709d035e996c9f9a887840492527415f157990cc2d52355d8a7fe9382a757c06bed95f97e298f8eea0dd2a846bf7efb8fb84987784a4a797820807be12e')
-
-prepare() {
- cd Maude-$pkgver
-
- # Always enabled in CVC4 1.8: https://github.com/CVC4/CVC4/pull/4519
- sed -i '/rewrite-divk/d' src/Mixfix/cvc4_Bindings.cc
-
- autoreconf -i
-
- mkdir -p build
-}
-
-build() {
- cd Maude-$pkgver/build
- ../configure --with-cvc4=yes --with-yices2=yes --prefix=/usr
--datadir=/usr/share/maude
- make -j1 all CVC4_LIB="-lcvc4 -lcln"
-}
-
-check() {
- cd Maude-$pkgver/build
- # https://github.com/SRI-CSL/Maude/issues/2
- make check && exit 1 || echo "Tests failed as expected"
-}
-
-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"
-}
Copied: maude/repos/community-x86_64/PKGBUILD (from rev 1365335,
maude/trunk/PKGBUILD)
===================================================================
--- PKGBUILD (rev 0)
+++ PKGBUILD 2022-12-23 18:20:33 UTC (rev 1365336)
@@ -0,0 +1,49 @@
+# Maintainer: Felix Yan <[email protected]>
+# Contributor: <kaptoxic _at_ yahoo _dot_ com >
+# Contributor: Peter Simons <[email protected]>
+# Contributor: Stefan Husmann <[email protected]>
+
+pkgname=maude
+pkgver=3.2.2
+pkgrel=1
+pkgdesc="High-level Specification Language"
+arch=('x86_64')
+url="http://maude.cs.illinois.edu";
+license=('GPL')
+depends=('buddy' 'cvc4' 'libtecla' 'gmp' 'libsigsegv' 'yices')
+makedepends=('flex' 'bison')
+source=("https://github.com/SRI-CSL/Maude/archive/$pkgver/$pkgname-$pkgver.tar.gz";
+
https://raw.githubusercontent.com/maude-team/full-maude/96be01c059d7f0fb1cbea15e2f0818350fb66eb8/full-maude322.maude
+ maude.sh)
+sha512sums=('0414a5cbd0a2cd74b34abbd8072d5564f87f10bcf0d1b59b5e478ffc4d60f13eba9b47387b7efa85f6d5823fff5b436da13daf3b4d8dcbe973325e5afc5a28fe'
+
'7527d5962497c2c45856408a78d26331977d3b35bc1824e59e1f87b644072fe78b5c5e0ca392c44056bcdc8c6874603288a6a536691b01c5cd68bdfe5bc99189'
+
'f62e1709d035e996c9f9a887840492527415f157990cc2d52355d8a7fe9382a757c06bed95f97e298f8eea0dd2a846bf7efb8fb84987784a4a797820807be12e')
+
+prepare() {
+ cd Maude-$pkgver
+
+ # Always enabled in CVC4 1.8: https://github.com/CVC4/CVC4/pull/4519
+ sed -i '/rewrite-divk/d' src/Mixfix/cvc4_Bindings.cc
+
+ autoreconf -i
+
+ mkdir -p build
+}
+
+build() {
+ cd Maude-$pkgver/build
+ ../configure --with-cvc4=yes --with-yices2=yes --prefix=/usr
--datadir=/usr/share/maude
+ make -j1 all CVC4_LIB="-lcvc4 -lcln"
+}
+
+check() {
+ cd Maude-$pkgver/build
+ make check
+}
+
+package() {
+ cd Maude-$pkgver/build
+ make DESTDIR="$pkgdir/" install
+ install -Dm644 "$srcdir"/full-maude322.maude
"$pkgdir"/usr/share/maude/full-maude.maude
+ install -Dm755 "$srcdir"/maude.sh -t "$pkgdir"/etc/profile.d/
+}
Deleted: maude.sh
===================================================================
--- maude.sh 2022-12-23 18:20:19 UTC (rev 1365335)
+++ maude.sh 2022-12-23 18:20:33 UTC (rev 1365336)
@@ -1,20 +0,0 @@
-# /etc/profile.d/maude.sh
-
-if [ -d "/usr/share/maude" ]; then
- case "${MAUDE_LIB}" in
- /usr/share/maude)
- ;;
- /usr/share/maude:*)
- ;;
- *:/usr/share/maude)
- ;;
- *:/usr/share/maude:*)
- ;;
- *)
- MAUDE_LIB="${MAUDE_LIB:-}${MAUDE_LIB:+:}/usr/share/maude"
- export MAUDE_LIB
- ;;
- esac
-fi
-
-# /etc/profile.d/maude.sh ends here.
Copied: maude/repos/community-x86_64/maude.sh (from rev 1365335,
maude/trunk/maude.sh)
===================================================================
--- maude.sh (rev 0)
+++ maude.sh 2022-12-23 18:20:33 UTC (rev 1365336)
@@ -0,0 +1,20 @@
+# /etc/profile.d/maude.sh
+
+if [ -d "/usr/share/maude" ]; then
+ case "${MAUDE_LIB}" in
+ /usr/share/maude)
+ ;;
+ /usr/share/maude:*)
+ ;;
+ *:/usr/share/maude)
+ ;;
+ *:/usr/share/maude:*)
+ ;;
+ *)
+ MAUDE_LIB="${MAUDE_LIB:-}${MAUDE_LIB:+:}/usr/share/maude"
+ export MAUDE_LIB
+ ;;
+ esac
+fi
+
+# /etc/profile.d/maude.sh ends here.
