Felix Yan pushed to branch main at Arch Linux / Packaging / Packages / maude
Commits:
4caf1403 by Felix Yan at 2026-03-03T03:38:00+08:00
upgpkg: 3.5.1-1
- - - - -
3 changed files:
- .SRCINFO
- PKGBUILD
- REUSE.toml
Changes:
=====================================
.SRCINFO
=====================================
@@ -1,23 +1,24 @@
pkgbase = maude
pkgdesc = High-level Specification Language
- pkgver = 3.5
+ pkgver = 3.5.1
pkgrel = 1
url = http://maude.cs.illinois.edu
arch = x86_64
license = GPL
makedepends = flex
makedepends = bison
+ makedepends = git
depends = buddy
depends = cvc4
depends = libtecla
depends = gmp
depends = libsigsegv
depends = yices
- source =
https://github.com/SRI-CSL/Maude/archive/Maude3.5/maude-3.5.tar.gz
- source =
https://raw.githubusercontent.com/maude-team/full-maude/96be01c059d7f0fb1cbea15e2f0818350fb66eb8/full-maude322.maude
+ source = git+https://github.com/SRI-CSL/Maude.git#tag=Maude3.5.1
+ source =
git+https://github.com/maude-team/full-maude.git#commit=96be01c059d7f0fb1cbea15e2f0818350fb66eb8
source = maude.sh
- sha512sums =
c27da1e1ef9a53649933558fabe1b3b54d356e2ff46c5d28f0eaf9717bcb7e9dff11050c1a70a2fa9850fbccb3eb0aa19e3817c3f4d1efd132cd4d8054d3d6a0
- sha512sums =
7527d5962497c2c45856408a78d26331977d3b35bc1824e59e1f87b644072fe78b5c5e0ca392c44056bcdc8c6874603288a6a536691b01c5cd68bdfe5bc99189
+ sha512sums =
79e23d945d18f2df9a5fb67c1f86d12b1889e69fb049118782c7a0f6c82bbe5a0c392f9f82ef2076d7a603406cd7872190d90bf27f065ade236831bb92de3cfc
+ sha512sums =
d5557f729f0bd0059ea88f53dcc9606a8d1ab0684e8116e52625fb294b90984566195ebb480d69909fb97f9082f9c8de5ff7c1b53c443b7b7edfc5d3175e1015
sha512sums =
f62e1709d035e996c9f9a887840492527415f157990cc2d52355d8a7fe9382a757c06bed95f97e298f8eea0dd2a846bf7efb8fb84987784a4a797820807be12e
pkgname = maude
=====================================
PKGBUILD
=====================================
@@ -4,26 +4,23 @@
# Contributor: Stefan Husmann <[email protected]>
pkgname=maude
-pkgver=3.5
+pkgver=3.5.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/Maude$pkgver/$pkgname-$pkgver.tar.gz";
-
https://raw.githubusercontent.com/maude-team/full-maude/96be01c059d7f0fb1cbea15e2f0818350fb66eb8/full-maude322.maude
+makedepends=('flex' 'bison' 'git')
+source=("git+https://github.com/SRI-CSL/Maude.git#tag=Maude$pkgver";
+
"git+https://github.com/maude-team/full-maude.git#commit=96be01c059d7f0fb1cbea15e2f0818350fb66eb8";
maude.sh)
-sha512sums=('c27da1e1ef9a53649933558fabe1b3b54d356e2ff46c5d28f0eaf9717bcb7e9dff11050c1a70a2fa9850fbccb3eb0aa19e3817c3f4d1efd132cd4d8054d3d6a0'
-
'7527d5962497c2c45856408a78d26331977d3b35bc1824e59e1f87b644072fe78b5c5e0ca392c44056bcdc8c6874603288a6a536691b01c5cd68bdfe5bc99189'
+sha512sums=('79e23d945d18f2df9a5fb67c1f86d12b1889e69fb049118782c7a0f6c82bbe5a0c392f9f82ef2076d7a603406cd7872190d90bf27f065ade236831bb92de3cfc'
+
'd5557f729f0bd0059ea88f53dcc9606a8d1ab0684e8116e52625fb294b90984566195ebb480d69909fb97f9082f9c8de5ff7c1b53c443b7b7edfc5d3175e1015'
'f62e1709d035e996c9f9a887840492527415f157990cc2d52355d8a7fe9382a757c06bed95f97e298f8eea0dd2a846bf7efb8fb84987784a4a797820807be12e')
prepare() {
- cd Maude-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
+ cd Maude
autoreconf -fvi
@@ -31,19 +28,19 @@ prepare() {
}
build() {
- cd Maude-Maude$pkgver/build
+ cd Maude/build
../configure --with-cvc4=yes --with-yices2=yes --prefix=/usr
--datadir=/usr/share/maude
make -j1 all CVC4_LIB="-lcvc4 -lcln"
}
check() {
- cd Maude-Maude$pkgver/build
+ cd Maude/build
make check
}
package() {
- cd Maude-Maude$pkgver/build
+ cd Maude/build
make DESTDIR="$pkgdir/" install
- install -Dm644 "$srcdir"/full-maude322.maude
"$pkgdir"/usr/share/maude/full-maude.maude
+ install -Dm644 "$srcdir"/full-maude/full-maude322.maude
"$pkgdir"/usr/share/maude/full-maude.maude
install -Dm755 "$srcdir"/maude.sh -t "$pkgdir"/etc/profile.d/
}
=====================================
REUSE.toml
=====================================
@@ -17,6 +17,7 @@ path = [
"*.timer",
"*.desktop",
"*.hook",
+ "maude.sh"
]
SPDX-FileCopyrightText = "Arch Linux contributors"
SPDX-License-Identifier = "0BSD"
View it on GitLab:
https://gitlab.archlinux.org/archlinux/packaging/packages/maude/-/commit/4caf140362750d95bc1d0436c3181dfd21d06cf7
--
View it on GitLab:
https://gitlab.archlinux.org/archlinux/packaging/packages/maude/-/commit/4caf140362750d95bc1d0436c3181dfd21d06cf7
You're receiving this email because of your account on gitlab.archlinux.org.
