Package: maude / 3.1-2

Metadata

Package Version Patches format
maude 3.1-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(+)

---
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/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.
32 bit fixes.patch | (download)

src/BuiltIn/succSymbol.hh | 9 9 + 0 - 0 !
src/Meta/interpreterManagerSymbol.cc | 8 7 + 1 - 0 !
2 files changed, 16 insertions(+), 1 deletion(-)

---