diff options
author | Son Ho | 2023-08-04 22:46:48 +0200 |
---|---|---|
committer | Son Ho | 2023-08-04 22:46:48 +0200 |
commit | cb603d47be46a6957ec16b9bc68176694542e99a (patch) | |
tree | 415903c8f0ed680033401af01f9165fd5aa1e76b /compiler/Translate.ml | |
parent | 60db3c210aeaf66a4fe312544c6e5d4662681de7 (diff) |
Add an option to not override Hashmap.lean
Diffstat (limited to '')
-rw-r--r-- | compiler/Translate.ml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/compiler/Translate.ml b/compiler/Translate.ml index dfc97246..6c6435c5 100644 --- a/compiler/Translate.ml +++ b/compiler/Translate.ml @@ -1334,7 +1334,6 @@ let translate_crate (filename : string) (dest_dir : string) (crate : A.crate) : custom_includes = []; } in - (* Add the extension for F* *) extract_file gen_config gen_ctx file_info); (* Generate the build file *) @@ -1352,7 +1351,7 @@ let translate_crate (filename : string) (dest_dir : string) (crate : A.crate) : * Generate the library entry point, if the crate is split between * different files. *) - if !Config.split_files then ( + if !Config.split_files && !Config.generate_lib_entry_point then ( let filename = Filename.concat dest_dir (crate_name ^ ".lean") in let out = open_out filename in (* Write *) |