diff options
-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) |