Skip to content
GitLab
Explore
Sign in
CertiCompil
CompCert-KVX
Repository
compcert-kvx
Makefile.extr
Find file
Blame
History
Permalink
Tentative fix for issue #70 (menhirLib recompilation problems)
· 20e3c4ae
Xavier Leroy
authored
Nov 13, 2015
Don't pass $(MENHIR_INCLUDES) to ocamldep.
20e3c4ae