Package: maude / 3.4-1

Metadata

Package Version Patches format
maude 3.4-1 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( )

---
getinput size_t.patch | (download)

src/Mixfix/lexerAux.cc | 5 4 1 - 0 !
1 file changed, 4 insertions( ), 1 deletion(-)

 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/Main/main.cc | 4 2 2 - 0 !
src/Mixfix/banner.cc | 2 1 1 - 0 !
src/Mixfix/maudeLatexBuffer.cc | 2 1 1 - 0 !
3 files changed, 4 insertions( ), 4 deletions(-)

 strip build date
 Strip build date from banner, for reproducibility reasons.
skip_failing_test.patch | (download)

tests/Misc/Makefile.am | 3 0 3 - 0 !
1 file changed, 3 deletions(-)

 skip one fialing test