Revive original package

5 files changed, 234 insertions, 0 deletions

diff --git a/.SRCINFO b/.SRCINFO
new file mode 100644
index 000000000000..80bdce3acc73
--- /dev/null
+++ b/.SRCINFO
@@ -0,0 +1,29 @@
+# Generated by mksrcinfo v8
+# Wed Jan 13 16:03:35 UTC 2016
+pkgbase = maude
+	pkgdesc = High-level Specification Language.
+	pkgver = 2.6
+	pkgrel = 2
+	url = http://maude.cs.uiuc.edu/
+	install = maude.install
+	arch = i686
+	arch = x86_64
+	license = GPL
+	makedepends = flex
+	makedepends = bison
+	depends = buddy
+	depends = libtecla
+	depends = gmp
+	depends = libsigsegv
+	options = !makeflags
+	source = http://maude.cs.uiuc.edu/download/current/Maude-2.6.tar.gz
+	source = http://maude.cs.uiuc.edu/download/current/FM2.6/full-maude26.maude
+	source = maude.sh
+	source = patch.diff
+	md5sums = 7b1dd753e9994f034a49588e2541b968
+	md5sums = 7bab068a28777b1281455247f97af751
+	md5sums = 0a51738365579574b40a3d32da6f3291
+	md5sums = 91db8315081ac1177e5f7d17a1e28aef
+
+pkgname = maude
+
diff --git a/PKGBUILD b/PKGBUILD
new file mode 100644
index 000000000000..01b6536a4c4e
--- /dev/null
+++ b/PKGBUILD
@@ -0,0 +1,42 @@
+# Maintainer: <kaptoxic _at_ yahoo _dot_ com >
+# Contributor: Peter Simons <simons@cryp.to>
+# Contributor: Stefan Husmann <stefan-husmann@t-online.de>
+
+pkgname=maude
+pkgver=2.6
+pkgrel=2
+pkgdesc="High-level Specification Language."
+arch=('i686' 'x86_64')
+url='http://maude.cs.uiuc.edu/'
+license=('GPL')
+depends=('buddy' 'libtecla' 'gmp' 'libsigsegv')
+makedepends=('flex' 'bison')
+install=maude.install
+options=(!makeflags)
+source=( "http://maude.cs.uiuc.edu/download/current/Maude-$pkgver.tar.gz"
+         "http://maude.cs.uiuc.edu/download/current/FM2.6/full-maude26.maude"
+	 "maude.sh"
+	 "patch.diff")
+md5sums=('7b1dd753e9994f034a49588e2541b968'
+         '7bab068a28777b1281455247f97af751'
+         '0a51738365579574b40a3d32da6f3291'
+         '91db8315081ac1177e5f7d17a1e28aef')
+noextract=()
+
+build() {
+  cd "$srcdir/Maude-$pkgver"
+  cp "$srcdir/patch.diff" ./patch.diff
+  patch -p1 < patch.diff
+  ./configure --prefix=/usr --datadir=/usr/share/maude
+  make all 
+  make check 
+}
+
+package() {
+  cd "$srcdir/Maude-$pkgver"
+  make DESTDIR="$pkgdir/" install
+  install -D -m 444 "$srcdir/full-maude26.maude" \
+    "$pkgdir/usr/share/maude/full-maude.maude"
+  #not sure if needed
+  install -D -m 555 "$srcdir/maude.sh" "$pkgdir/usr/share/maude/maude.sh"
+}
diff --git a/maude.install b/maude.install
new file mode 100644
index 000000000000..750e4bd1acdd
--- /dev/null
+++ b/maude.install
@@ -0,0 +1,8 @@
+ ## arg 1:  the new package version
+post_install() {
+    echo
+    echo ">>> Copy maude.sh from /usr/share/maude/"
+    echo ">>> to /etc/profile.d/ to have"
+    echo ">>> MAUDE_LIB environment variable set at startup"
+    echo
+}
diff --git a/maude.sh b/maude.sh
new file mode 100644
index 000000000000..64d679488aa1
--- /dev/null
+++ b/maude.sh
@@ -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.
diff --git a/patch.diff b/patch.diff
new file mode 100644
index 000000000000..9a5299be420a
--- /dev/null
+++ b/patch.diff
@@ -0,0 +1,135 @@
+--- maude-2.6.orig/src/Mixfix/top.yy
++++ maude-2.6/src/Mixfix/top.yy
+@@ -24,6 +24,8 @@
+ //	Parser for Maude surface syntax.
+ //
+ 
++%parse-param {void* YYPARSE_PARAM}
++
+ %{
+ #include <string>
+ #include <stack>
+@@ -91,7 +93,7 @@ SyntaxContainer* oldSyntaxContainer = 0;
+ Int64 number;
+ Int64 number2;
+ 
+-static void yyerror(char *s);
++static void yyerror(void *, char *s);
+ 
+ void cleanUpModuleExpression();
+ void cleanUpParser();
+--- maude-2.6.orig/src/Mixfix/bottom.yy
++++ maude-2.6/src/Mixfix/bottom.yy
+@@ -23,7 +23,7 @@
+ %%
+ 
+ static void
+-yyerror(char *s)
++yyerror(void *, char *s)
+ {
+   if (!(UserLevelRewritingContext::interrupted()))
+     IssueWarning(LineNumber(lineNumber) << ": " << s);
+
+--- maude-2.6.orig/src/IO_Stuff/IO_Manager.cc
++++ maude-2.6/src/IO_Stuff/IO_Manager.cc
+@@ -85,8 +85,8 @@ IO_Manager::setAutoWrap()
+   (void) cerr.rdbuf(wrapErr);
+ }
+ 
+-int
+-IO_Manager::getInput(char* buf, int maxSize, FILE* stream)
++size_t
++IO_Manager::getInput(char* buf, size_t maxSize, FILE* stream)
+ {
+   if (stream != stdin)
+     {
+@@ -118,7 +118,7 @@ IO_Manager::getInput(char* buf, int maxS
+ 	    return 0;
+ 	}
+       
+-      int n;
++      size_t n;
+       for (n = 0;; n++)
+ 	{
+ 	  char c = *line;
+--- maude-2.6.orig/src/Mixfix/lexerAux.cc
++++ maude-2.6/src/Mixfix/lexerAux.cc
+@@ -23,6 +23,9 @@
+ //
+ //	Auxiliary functions and data needed by lexical analyzer.
+ //
++
++#include <stddef.h>
++
+ #define MAX_IN_DEPTH	10
+ 
+ int inStackPtr = 0;
+@@ -35,14 +38,14 @@ bool fakeNewline = false;  // fake \n fo
+ bool fakeNewlineStack[MAX_IN_DEPTH];
+ 
+ void
+-getInput(char* buf, int& result, int max_size)
++getInput(char* buf, size_t& result, size_t max_size)
+ {
+   result = YY_NULL;
+   if (UserLevelRewritingContext::interrupted())
+     fakeNewline = false;
+   else
+     {
+-      int n = ioManager.getInput(buf, max_size, yyin);
++      size_t n = ioManager.getInput(buf, max_size, yyin);
+       if (UserLevelRewritingContext::interrupted())
+ 	fakeNewline = false;
+       else
+--- maude-2.6.orig/src/Mixfix/lexerAux.hh
++++ maude-2.6/src/Mixfix/lexerAux.hh
+@@ -27,7 +27,7 @@
+ //extern int inStackPtr;
+ //extern YY_BUFFER_STATE inStack[];
+ 
+-void getInput(char* buf, int& result, int max_size);
++void getInput(char* buf, size_t& result, size_t max_size);
+ void lexerIdMode();
+ void lexerTokenTreeMode(int terminatingTokens);
+ void lexerCmdMode();
+--- maude-2.6.orig/src/IO_Stuff/IO_Manager.hh
++++ maude-2.6/src/IO_Stuff/IO_Manager.hh
+@@ -49,7 +49,7 @@ public:
+   void setPrompt(const string& newPrompt);
+   void setContPrompt(const string& newContPrompt);
+   void startCommand();
+-  int getInput(char* buf, int maxSize, FILE* stream);
++  size_t getInput(char* buf, size_t maxSize, FILE* stream);
+ 
+ private:
+   GetLine* gl;
+
+--- maude-2.6.orig/src/Mixfix/commands.yy
++++ maude-2.6/src/Mixfix/commands.yy
+@@ -23,12 +23,12 @@
+ /*
+  *	Commands.
+  */
+-command		:	KW_SELECT		{ lexBubble(END_COMMAND, 1) }
++command		:	KW_SELECT		{ lexBubble(END_COMMAND, 1); }
+ 			endBubble
+ 			{
+ 			  interpreter.setCurrentModule(lexerBubble);
+ 			}
+-		|	KW_DUMP			{ lexBubble(END_COMMAND, 1) }
++		|	KW_DUMP			{ lexBubble(END_COMMAND, 1); }
+ 			endBubble
+ 			{
+ 			  if (interpreter.setCurrentModule(lexerBubble))
+--- maude-2.6.orig/src/Mixfix/modules.yy
++++ maude-2.6/src/Mixfix/modules.yy
+@@ -247,7 +247,7 @@ viewEndOpMap	:	':'
+ 			  //	press on.
+ 			  //
+ 			  opDescription = lexerBubble;
+-			  lexBubble(END_STATEMENT, 1)
++			  lexBubble(END_STATEMENT, 1);
+ 			}
+ 			endBubble
+ 			{
+