Skip to content
GitLab
Explore
Sign in
CertiCompil
CompCert-KVX
Repository
compcert-kvx
configure
Find file
Blame
History
Permalink
Support the use of already-installed MenhirLib and Flocq libraries
· ab0d9476
Xavier Leroy
authored
Sep 21, 2020
configure flags -use-external-Flocq and -use external-MenhirLib.
ab0d9476