From d2b4a7a1d654cf8f315e2471b1470506255f3d68 Mon Sep 17 00:00:00 2001
From: Brian Campbell
Date: Wed, 10 Jun 2020 21:33:09 +0100
Subject: 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

---
 src/process_file.ml | 11 +----------
 1 file changed, 1 insertion(+), 10 deletions(-)

(limited to 'src')

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
-- 
cgit v1.2.3