Commit 8b6f8ea4 authored Sep 19, 2018 by Andreas Tille

Drop patch for bison which now leads to errors (thanks to Sergio Durigan...

Drop patch for bison which now leads to errors (thanks to Sergio Durigan Junior <sergiodj@debian.org> for the hint)

parent f3a46e2f

debian/patches/bison-parse-param.patch

deleted100644 → 0

+0 −19

Original line number	Diff line number	Diff line
		Author: Jakub Wilk <jwilk@debian.org>
		Last-Update: Tue, 20 May 2014 13:35:26 +0200
		Bug-Debian: http://bugs.debian.org/733407
		Description: this is quick and dirty patch to use %parse-param instead
		of deprecated YYPARSE_PARAM (and eventually removed in Bison 3.0).
		%parse-param was added in bison 1.875, over a decade ago, so no
		Build-Depends adjustments are needed. :-)

		--- a/src/Mixfix/top.yy
		+++ b/src/Mixfix/top.yy
		@@ -24,6 +24,8 @@
		// Parser for Maude surface syntax.
		//

		+%parse-param {void* YYPARSE_PARAM}
		+
		%{
		#include <string>
		#include <stack>

debian/patches/series

+0 −1

Original line number	Diff line number	Diff line
		search-datadir.patch
		bison-parse-param.patch
		getinput-size_t.patch
		strip-build-date.patch