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 <felixonm...@archlinux.org>
+# Contributor: <kaptoxic _at_ yahoo _dot_ com >
+# Contributor: Peter Simons <sim...@cryp.to>
+# Contributor: Stefan Husmann <stefan-husm...@t-online.de>
+
+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.

Reply via email to