diff options
| author | Matteo Bernardini <ponce@slackbuilds.org> | 2022-02-06 17:38:28 +0100 |
|---|---|---|
| committer | Willy Sudiarto Raharjo <willysr@slackbuilds.org> | 2022-02-07 00:08:52 +0700 |
| commit | b84a579f9e479defb7406d4aa3c0e9a39d48687e (patch) | |
| tree | 6ce41e60f10a3d7c4268deb5cc0c5f7528f9df48 /development/maude | |
| parent | 92f2897b7db5651e917779a079753a2a8aff9d50 (diff) | |
development/maude: Updated for version 3.1.
Signed-off-by: Matteo Bernardini <ponce@slackbuilds.org>
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
Diffstat (limited to 'development/maude')
| -rw-r--r-- | development/maude/maude.SlackBuild | 5 | ||||
| -rw-r--r-- | development/maude/maude.info | 10 |
2 files changed, 8 insertions, 7 deletions
diff --git a/development/maude/maude.SlackBuild b/development/maude/maude.SlackBuild index 3c9c90018fa16..6c1be7150bcfc 100644 --- a/development/maude/maude.SlackBuild +++ b/development/maude/maude.SlackBuild @@ -25,7 +25,7 @@ cd $(dirname $0) ; CWD=$(pwd) PRGNAM=maude -VERSION=${VERSION:-2.7.1} +VERSION=${VERSION:-3.1} BUILD=${BUILD:-1} TAG=${TAG:-_SBo} PKGTYPE=${PKGTYPE:-tgz} @@ -89,6 +89,7 @@ CXXFLAGS="$SLKCFLAGS" \ --localstatedir=/var \ --mandir=/usr/man \ --without-cvc4 \ + --without-yices2 \ --datadir=/usr/share/maude \ --datarootdir=/usr/share/maude \ --build=$ARCH-slackware-linux @@ -97,7 +98,7 @@ make make install DESTDIR=$PKG # Manually FULL maude -cp full-$PRGNAM.maude $PKG/usr/share/maude/full-$PRGNAM.maude +cp full-${PRGNAM}31.maude $PKG/usr/share/maude/full-$PRGNAM.maude # Let maude find its own files (... maybe I'm doing something wrong in the compilation?) mkdir -p $PKG/etc/profile.d/ diff --git a/development/maude/maude.info b/development/maude/maude.info index 851c4313127bf..9a9262b56cd49 100644 --- a/development/maude/maude.info +++ b/development/maude/maude.info @@ -1,10 +1,10 @@ PRGNAM="maude" -VERSION="2.7.1" +VERSION="3.1" HOMEPAGE="http://maude.cs.illinois.edu/w/index.php?title=The_Maude_System" -DOWNLOAD="http://maude.cs.illinois.edu/w/images/d/d8/Maude-2.7.1.tar.gz \ - http://maude.cs.illinois.edu/w/images/c/ca/Full-Maude-2.7.1.zip" -MD5SUM="aa31753f742f976940c69aa699c3d0ec \ - b365fe0fdd161880e95aeb089f166657" +DOWNLOAD="http://maude.cs.illinois.edu/w/images/d/d3/Maude-3.1.tar.gz \ + http://maude.cs.illinois.edu/w/images/0/0a/Full-Maude-3.1.zip" +MD5SUM="bd1a5cc6f3a88c916e092143c4eb9dea \ + 897be42af2deed2ace305bae9741d40c" DOWNLOAD_x86_64="" MD5SUM_x86_64="" REQUIRES="libtecla buddy" |