[arch-commits] Commit in maude/trunk (PKGBUILD)

[Felix Yan]

    Date: Saturday, June 20, 2020 @ 10:08:29
  Author: felixonmars
Revision: 648280

upgpkg: maude 3.0-3: rebuild with cvc4 1.8

Modified:
  maude/trunk/PKGBUILD

----------+
 PKGBUILD |    6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

Modified: PKGBUILD
===================================================================
--- PKGBUILD	2020-06-20 09:49:32 UTC (rev 648279)
+++ PKGBUILD	2020-06-20 10:08:29 UTC (rev 648280)
@@ -5,7 +5,7 @@
 
 pkgname=maude
 pkgver=3.0
-pkgrel=2
+pkgrel=3
 pkgdesc="High-level Specification Language"
 arch=('x86_64')
 url="http://maude.cs.illinois.edu"
@@ -21,6 +21,10 @@
 
 prepare() {
   cd "$srcdir/maude-$pkgver"
+
+  # Always enabled in CVC4 1.8: https://github.com/CVC4/CVC4/pull/4519
+  sed -i '/rewrite-divk/d' src/Mixfix/cvc4_Bindings.cc
+
   autoreconf -i
 }