diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2020-03-25 23:43:59 +0000 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2020-03-25 23:43:59 +0000 |
| commit | 539177f4675398e72d59e03c04aa0ec907d7c08b (patch) | |
| tree | fe224e2cd920b14c69c90d9763df479cd400f2ef | |
| parent | b71997d5928750f4ca2d8d749a99a49d33c61124 (diff) | |
| download | vericert-kvx-539177f4675398e72d59e03c04aa0ec907d7c08b.tar.gz vericert-kvx-539177f4675398e72d59e03c04aa0ec907d7c08b.zip | |
Move driver
| -rw-r--r-- | driver/CompCert.v (renamed from src/driver/CompCert.v) | 0 | ||||
| -rw-r--r-- | driver/Driver.ml (renamed from src/driver/Driver.ml) | 5 | ||||
| -rw-r--r-- | driver/dune (renamed from src/driver/dune) | 4 |
3 files changed, 4 insertions, 5 deletions
diff --git a/src/driver/CompCert.v b/driver/CompCert.v index d8dcb97..d8dcb97 100644 --- a/src/driver/CompCert.v +++ b/driver/CompCert.v diff --git a/src/driver/Driver.ml b/driver/Driver.ml index 40a45e6..75ade9e 100644 --- a/src/driver/Driver.ml +++ b/driver/Driver.ml @@ -16,7 +16,4 @@ * along with this program. If not, see <https://www.gnu.org/licenses/>. *) -open Verilog -open Extraction - -let _ = print_string (PrettyPrint.prettyprint VerilogAST.verilog_example) +let _ = print_string (Coqup.PrettyPrint.prettyprint Coqup.VerilogAST.verilog_example) diff --git a/src/driver/dune b/driver/dune index e295a76..583f201 100644 --- a/src/driver/dune +++ b/driver/dune @@ -1,6 +1,8 @@ +(include_subdirs no) + (executables (names Driver) - (libraries compcert coqup.verilog coqup.extraction)) + (libraries coqup)) (install (section bin) |