Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
POTTIER Francois
menhir
Repository
a9ff58bd3db7565221e2a53ef4926ac6cafce641
Switch branch/tag
menhir
Makefile
Find file
Blame
History
Permalink
Fixed a couple bugs in Makefile and src/Makefile which would cause compilation
· a9ff58bd
POTTIER Francois
authored
Jan 16, 2015
and installation to fail with "TARGET=byte". (Reported by Daniel Dickman.)
a9ff58bd
POTTIER Francois authored