diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2022-03-02 18:06:18 +0000 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2022-03-02 18:06:18 +0000 |
| commit | c2ba535604cef5bc86369512e6f3c2833753a55a (patch) | |
| tree | fd0b83022443a3806a5bac4e82299c513f5d2f8d /Makefile | |
| parent | 88d015ba178665ee21b282f364ccf047522e3b1c (diff) | |
| download | vericert-c2ba535604cef5bc86369512e6f3c2833753a55a.tar.gz vericert-c2ba535604cef5bc86369512e6f3c2833753a55a.zip | |
Update Coq version to 8.14.1
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -6,7 +6,7 @@ ifeq ($(UNAME_S),Darwin) ARCH := verilog-macosx endif -COMPCERTRECDIRS := lib common verilog backend cfrontend driver exportclight cparser +COMPCERTRECDIRS := lib common verilog backend cfrontend driver cparser COQINCLUDES := -R src/common vericert.common \ -R src/extraction vericert.extraction \ |