Package: maude / 3.4-1
Metadata
Package | Version | Patches format |
---|---|---|
maude | 3.4-1 | 3.0 (quilt) |
Patch series
view the series filePatch | File delta | Description |
---|---|---|
search datadir.patch | (download) |
src/Main/main.cc |
5 5 0 - 0 ! |
--- |
getinput size_t.patch | (download) |
src/Mixfix/lexerAux.cc |
5 4 1 - 0 ! |
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 ! |
strip build date Strip build date from banner, for reproducibility reasons. |
skip_failing_test.patch | (download) |
tests/Misc/Makefile.am |
3 0 3 - 0 ! |
skip one fialing test |