Date: Sunday, August 6, 2017 @ 18:44:35 Author: felixonmars Revision: 249078
addpkg: maude 2.7.1-1 Added: maude/ maude/repos/ maude/trunk/ maude/trunk/PKGBUILD maude/trunk/maude.sh ----------+ PKGBUILD | 46 ++++++++++++++++++++++++++++++++++++++++++++++ maude.sh | 20 ++++++++++++++++++++ 2 files changed, 66 insertions(+) Added: maude/trunk/PKGBUILD =================================================================== --- maude/trunk/PKGBUILD (rev 0) +++ maude/trunk/PKGBUILD 2017-08-06 18:44:35 UTC (rev 249078) @@ -0,0 +1,46 @@ +# $Id$ +# Maintainer: Felix Yan <[email protected]> +# Contributor: <kaptoxic _at_ yahoo _dot_ com > +# Contributor: Peter Simons <[email protected]> +# Contributor: Stefan Husmann <[email protected]> + +pkgname=maude +pkgver=2.7.1 +pkgrel=1 +pkgdesc="High-level Specification Language" +arch=('i686' 'x86_64') +url="http://maude.cs.uiuc.edu"; +license=('GPL') +depends=('buddy' 'cvc4' 'libtecla' 'gmp' 'libsigsegv') +makedepends=('flex' 'bison') +source=("http://maude.cs.illinois.edu/w/images/d/d8/Maude-$pkgver.tar.gz"; + "http://maude.cs.illinois.edu/w/images/c/ca/Full-Maude-$pkgver.zip"; + maude.sh) +md5sums=('aa31753f742f976940c69aa699c3d0ec' + 'b365fe0fdd161880e95aeb089f166657' + '0a51738365579574b40a3d32da6f3291') + +prepare() { + cd "$srcdir/maude-$pkgver" + autoreconf -i +} + +build() { + cd "$srcdir/maude-$pkgver" + ./configure --prefix=/usr --datadir=/usr/share/maude + make -j1 all CVC4_LIB="-lcvc4 -lcln" +} + +check() { + cd "$srcdir/maude-$pkgver" + make check +} + +package() { + cd "$srcdir/maude-$pkgver" + 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" +} Property changes on: maude/trunk/PKGBUILD ___________________________________________________________________ Added: svn:keywords ## -0,0 +1 ## +Id \ No newline at end of property Added: maude/trunk/maude.sh =================================================================== --- maude/trunk/maude.sh (rev 0) +++ maude/trunk/maude.sh 2017-08-06 18:44:35 UTC (rev 249078) @@ -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.
