From 18640c782f216e6e62e25ce24b6061ad93703cf6 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Thu, 24 Mar 2022 11:03:10 +0000 Subject: Update makefile and remove _CoqProject --- _CoqProject | 15 --------------- 1 file changed, 15 deletions(-) delete mode 100644 _CoqProject (limited to '_CoqProject') diff --git a/_CoqProject b/_CoqProject deleted file mode 100644 index 69d12c1..0000000 --- a/_CoqProject +++ /dev/null @@ -1,15 +0,0 @@ --R src/common vericert.common --R src/extraction vericert.extraction --R src/hls vericert.hls --R src vericert - --R lib/CompCert/backend compcert.backend --R lib/CompCert/cfrontend compcert.cfrontend --R lib/CompCert/common compcert.common --R lib/CompCert/cparser compcert.cparser --R lib/CompCert/driver compcert.driver --R lib/CompCert/exportclight compcert.exportclight --R lib/CompCert/lib compcert.lib --R lib/CompCert/verilog compcert.verilog --R lib/CompCert/flocq Flocq --R lib/CompCert/MenhirLib MenhirLib -- cgit