blob: 2255ae0cd5d8d88d4052f4efaa04437546cdea67 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
-R ../vericert/src vericert
-R ../vericert/lib/CompCert/lib compcert.lib
-R ../vericert/lib/CompCert/common compcert.common
-R ../vericert/lib/CompCert/verilog compcert.verilog
-R ../vericert/lib/CompCert/backend compcert.backend
-R ../vericert/lib/CompCert/cfrontend compcert.cfrontend
-R ../vericert/lib/CompCert/driver compcert.driver
-R ../vericert/lib/CompCert/cparser compcert.cparser
-R ../vericert/lib/CompCert/flocq Flocq
-R ../vericert/lib/CompCert/MenhirLib MenhirLib
-Q . symb
|
