Prepare Coq library for packaging

- rename files to get rid of prefix
- use -Q to get package name right
- add Base.v to make package imports simpler
- add opam file for coq package

1 files changed, 1 insertions, 10 deletions

diff --git a/src/process_file.ml b/src/process_file.ml
index 116788b9..74b4d05b 100644
--- a/src/process_file.ml
+++ b/src/process_file.ml
@@ -359,16 +359,7 @@ let output_lem filename libs type_env defs =
 let output_coq opt_dir filename alt_modules alt_modules2 libs defs =
   let generated_line = generated_line filename in
   let types_module = (filename ^ "_types") in
-  let monad_modules = ["Sail2_prompt_monad"; "Sail2_prompt"; "Sail2_state"] in
-  let operators_module = "Sail2_operators_mwords" in
-  let base_imports_default = [
-      "Sail2_instr_kinds";
-      "Sail2_values";
-      "Sail2_string";
-      "Sail2_real";
-      operators_module
-    ] @ monad_modules
-  in
+  let base_imports_default = ["Sail.Base"; "Sail.Real"] in
   let base_imports =
     (match alt_modules with
     | [] -> base_imports_default