diff options
author | Yann Herklotz <git@yannherklotz.com> | 2020-03-31 10:46:11 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2020-03-31 10:46:11 +0100 |
commit | d033047de9bdcd90e79cd8f5316cdd0dd54788df (patch) | |
tree | a499a33499c2f2732bf0010e21e83b99ecab0bbb /_CoqProject | |
parent | 0695114f5f1b758177d2e43989be5432710db6a5 (diff) | |
download | vericert-d033047de9bdcd90e79cd8f5316cdd0dd54788df.tar.gz vericert-d033047de9bdcd90e79cd8f5316cdd0dd54788df.zip |
Fix Makefile build
Diffstat (limited to '_CoqProject')
-rw-r--r-- | _CoqProject | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/_CoqProject b/_CoqProject index a1a5144..7b2f864 100644 --- a/_CoqProject +++ b/_CoqProject @@ -2,6 +2,7 @@ -R src/extraction coqup.extraction -R src/translation coqup.translation -R src/verilog coqup.verilog +-R src coqup -R lib/CompCert/MenhirLib compcert.MenhirLib -R lib/CompCert/backend compcert.backend |