5 files changed, 63 insertions, 4 deletions

diff --git a/lang/maude/files/patch-src_Core_dagNodeSet.hh b/lang/maude/files/patch-src_Core_dagNodeSet.hh
new file mode 100644
index 000000000000..1967c371a489
--- /dev/null
+++ b/lang/maude/files/patch-src_Core_dagNodeSet.hh
@@ -0,0 +1,18 @@
+./dagNodeSet.hh:35:15: error: ISO C++11 does not allow access declarations; use using
+      declarations instead
+  PointerSet::cardinality;
+              ^
+
+--- src/Core/dagNodeSet.hh.orig	2018-08-27 20:49:56 UTC
++++ src/Core/dagNodeSet.hh
+@@ -32,8 +32,8 @@ class DagNodeSet : private PointerSet
+ public:
+   int insert(DagNode* d);
+   int dagNode2Index(DagNode* d) const;
+-  PointerSet::cardinality;
+-  PointerSet::makeEmpty;
++  using PointerSet::cardinality;
++  using PointerSet::makeEmpty;
+   DagNode* index2DagNode(int i) const;
+ 
+ private:
diff --git a/lang/maude/files/patch-src_Core_termSet.hh b/lang/maude/files/patch-src_Core_termSet.hh
new file mode 100644
index 000000000000..cbc6bbd1ab94
--- /dev/null
+++ b/lang/maude/files/patch-src_Core_termSet.hh
@@ -0,0 +1,19 @@
+In file included from symbol.cc:41:
+In file included from ./term.hh:34:
+../../src/Core/termSet.hh:35:15: error: ISO C++11 does not allow access declarations; use using declarations instead
+  PointerSet::cardinality;
+              ^
+
+--- src/Core/termSet.hh.orig	2018-08-27 20:47:58 UTC
++++ src/Core/termSet.hh
+@@ -32,8 +32,8 @@ class TermSet : private PointerSet
+ public:
+   void insert(Term* t);
+   int term2Index(Term* t) const;
+-  PointerSet::cardinality;
+-  PointerSet::makeEmpty;
++  using PointerSet::cardinality;
++  using PointerSet::makeEmpty;
+ 
+ private:
+   unsigned int hash(void* pointer) const;
diff --git a/lang/maude/files/patch-src_Meta_metaMatch.cc b/lang/maude/files/patch-src_Meta_metaMatch.cc
new file mode 100644
index 000000000000..2b015926f455
--- /dev/null
+++ b/lang/maude/files/patch-src_Meta_metaMatch.cc
@@ -0,0 +1,11 @@
+--- src/Meta/metaMatch.cc.orig	2018-08-27 20:58:55 UTC
++++ src/Meta/metaMatch.cc
+@@ -172,7 +172,7 @@ MetaLevelOpSymbol::makeMatchSearchState2(MetaModule* m
+ 	    }
+ 	}
+     }
+-  return false;
++  return NULL;
+ }
+ 
+ bool
diff --git a/lang/maude/files/patch-src_ObjectSystem_socketStuff.cc b/lang/maude/files/patch-src_ObjectSystem_socketStuff.cc
new file mode 100644
index 000000000000..4e930fe49627
--- /dev/null
+++ b/lang/maude/files/patch-src_ObjectSystem_socketStuff.cc
@@ -0,0 +1,11 @@
+--- src/ObjectSystem/socketStuff.cc.orig	2018-08-27 20:56:09 UTC
++++ src/ObjectSystem/socketStuff.cc
+@@ -219,7 +219,7 @@ SocketManagerSymbol::createServerTcpSocket(FreeDagNode
+ 	sockName.sin_family = AF_INET;
+ 	sockName.sin_port = htons(port);
+ 	sockName.sin_addr.s_addr = htonl(INADDR_ANY);  // HACK - what is the portable way to set this?
+-	if (bind(fd, reinterpret_cast<sockaddr*>(&sockName), sizeof(sockName)) == -1)
++	if (::bind(fd, reinterpret_cast<sockaddr*>(&sockName), sizeof(sockName)) == -1)
+ 	  {
+ 	    const char* errText = strerror(errno);
+ 	    DebugAdvisory("unexpected bind() error with fd " << fd << ": " << errText);
diff --git a/lang/maude/files/patch-src__BuiltIn__stringOpSymbol.cc b/lang/maude/files/patch-src__BuiltIn__stringOpSymbol.cc
index f1d236663614..252a2884f2e8 100644
--- a/lang/maude/files/patch-src__BuiltIn__stringOpSymbol.cc
+++ b/lang/maude/files/patch-src__BuiltIn__stringOpSymbol.cc
@@ -1,11 +1,11 @@
---- ./src/BuiltIn/stringOpSymbol.cc.orig	2014-09-03 02:36:06.000000000 +0200
-+++ ./src/BuiltIn/stringOpSymbol.cc	2014-09-03 02:32:45.000000000 +0200
-@@ -472,7 +472,7 @@
+--- src/BuiltIn/stringOpSymbol.cc.orig	2008-09-12 01:03:36 UTC
++++ src/BuiltIn/stringOpSymbol.cc
+@@ -472,7 +472,7 @@ StringOpSymbol::eqRewrite(DagNode* subject, RewritingC
  		const mpz_class& n0 = succSymbol->getNat(a0);
  		if (n0 <= 255)
  		  {
 -		    char c = n0.get_si();
-+		    char c[2] = { n0.get_si(), 0 };
++		    char c[2] = { static_cast<char>(n0.get_si()), 0 };
  		    return rewriteToString(subject, context, crope(c));
  		  }
  	      }