index
:
compcert-kvx
CPP22_if_lifting
CPP22_main
master
patched_for_velus
riscV-cmov
ssa
vericert
vericert-kvx
Unnamed repository; edit this file 'description' to name the repository.
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
Makefile.menhir
Commit message (
Expand
)
Author
Age
Files
Lines
*
Revised menhirLib autoconfiguration (#331)
Xavier Leroy
2020-02-05
1
-1
/
+5
*
Resynchronize the LICENSE file and the license headers in individual files (#45)
Xavier Leroy
2018-01-05
1
-0
/
+3
*
Query menhir for location of menhir lib in config.
Bernhard Schommer
2016-10-18
1
-37
/
+0
*
Use ifndef correct. Bug 17481
Bernhard Schommer
2015-10-27
1
-1
/
+1
*
Test if menhir includes is set before trying to set it.
Bernhard Schommer
2015-10-27
1
-1
/
+5
*
Allow the MENHIR_INCLUDE path to be set by environment.
Bernhard Schommer
2015-10-27
1
-4
/
+3
*
Added copyright banners to the new files.
François Pottier
2015-10-23
1
-0
/
+12
*
Switch to --table mode. This is slightly slower but otherwise changes nothing.
François Pottier
2015-10-23
1
-1
/
+1
*
Distinguish [MENHIR] and [MENHIR_MODE]. Cleaner, more flexible.
François Pottier
2015-10-23
1
-5
/
+9
*
It is probably more efficient to eagerly evaluate $(MENHIR_INCLUDES).
François Pottier
2015-10-16
1
-1
/
+1
*
Added [Makefile.menhir], which gives a choice between Menhir's "code" and "ta...
François Pottier
2015-10-16
1
-0
/
+67