diff options
Diffstat (limited to 'development/maude/maude.SlackBuild')
| -rw-r--r-- | development/maude/maude.SlackBuild | 5 |
1 files changed, 3 insertions, 2 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/ |