Package: maude / 2.7-2

Metadata

Package Version Patches format
maude 2.7-2 3.0 (quilt)

Patch series

view the series file
Patch File delta Description
search datadir.patch | (download)

src/Main/main.cc | 5 5 + 0 - 0 !
src/Mixfix/global.cc | 3 3 + 0 - 0 !
src/Mixfix/global.hh | 1 1 + 0 - 0 !
3 files changed, 9 insertions(+)

---
bison parse param.patch | (download)

src/Mixfix/bottom.yy | 2 1 + 1 - 0 !
src/Mixfix/top.yy | 4 3 + 1 - 0 !
2 files changed, 4 insertions(+), 2 deletions(-)

 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. :-)


getinput size_t.patch | (download)

src/IO_Stuff/IO_Manager.cc | 6 3 + 3 - 0 !
src/IO_Stuff/IO_Manager.hh | 2 1 + 1 - 0 !
src/Mixfix/lexerAux.cc | 5 4 + 1 - 0 !
3 files changed, 8 insertions(+), 5 deletions(-)

 types of the arguments for yy_input has changed from int to
 yy_size_t (which is a typedef for size_t), which caused the following error:
 .
 <stdout>: In function 'int yy_get_next_buffer()':
 ./lexer.ll:56:72: error: invalid initialization of reference of type 'int&' from expression of type 'yy_size_t {aka unsigned int}'
 .
 This patch adjusts the types.  This change requires bumping build-dependency
 on flex to >= 2.5.36.


strip build date.patch | (download)

src/Mixfix/banner.cc | 3 1 + 2 - 0 !
1 file changed, 1 insertion(+), 2 deletions(-)

 strip build date
 Strip build date from banner, for reproducibility reasons.