[arch-commits] Commit in maude/repos (6 files)
Felix Yan
felixonmars at archlinux.org
Sun Aug 6 18:45:03 UTC 2017
Date: Sunday, August 6, 2017 @ 18:45:03
Author: felixonmars
Revision: 249079
archrelease: copy trunk to community-i686, community-x86_64
Added:
maude/repos/community-i686/
maude/repos/community-i686/PKGBUILD
(from rev 249078, maude/trunk/PKGBUILD)
maude/repos/community-i686/maude.sh
(from rev 249078, maude/trunk/maude.sh)
maude/repos/community-x86_64/
maude/repos/community-x86_64/PKGBUILD
(from rev 249078, maude/trunk/PKGBUILD)
maude/repos/community-x86_64/maude.sh
(from rev 249078, maude/trunk/maude.sh)
---------------------------+
community-i686/PKGBUILD | 46 ++++++++++++++++++++++++++++++++++++++++++++
community-i686/maude.sh | 20 +++++++++++++++++++
community-x86_64/PKGBUILD | 46 ++++++++++++++++++++++++++++++++++++++++++++
community-x86_64/maude.sh | 20 +++++++++++++++++++
4 files changed, 132 insertions(+)
Copied: maude/repos/community-i686/PKGBUILD (from rev 249078, maude/trunk/PKGBUILD)
===================================================================
--- community-i686/PKGBUILD (rev 0)
+++ community-i686/PKGBUILD 2017-08-06 18:45:03 UTC (rev 249079)
@@ -0,0 +1,46 @@
+# $Id$
+# Maintainer: Felix Yan <felixonmars at archlinux.org>
+# Contributor: <kaptoxic _at_ yahoo _dot_ com >
+# Contributor: Peter Simons <simons at cryp.to>
+# Contributor: Stefan Husmann <stefan-husmann at 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"
+}
Copied: maude/repos/community-i686/maude.sh (from rev 249078, maude/trunk/maude.sh)
===================================================================
--- community-i686/maude.sh (rev 0)
+++ community-i686/maude.sh 2017-08-06 18:45:03 UTC (rev 249079)
@@ -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.
Copied: maude/repos/community-x86_64/PKGBUILD (from rev 249078, maude/trunk/PKGBUILD)
===================================================================
--- community-x86_64/PKGBUILD (rev 0)
+++ community-x86_64/PKGBUILD 2017-08-06 18:45:03 UTC (rev 249079)
@@ -0,0 +1,46 @@
+# $Id$
+# Maintainer: Felix Yan <felixonmars at archlinux.org>
+# Contributor: <kaptoxic _at_ yahoo _dot_ com >
+# Contributor: Peter Simons <simons at cryp.to>
+# Contributor: Stefan Husmann <stefan-husmann at 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"
+}
Copied: maude/repos/community-x86_64/maude.sh (from rev 249078, maude/trunk/maude.sh)
===================================================================
--- community-x86_64/maude.sh (rev 0)
+++ community-x86_64/maude.sh 2017-08-06 18:45:03 UTC (rev 249079)
@@ -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.
More information about the arch-commits
mailing list