From 7891caa52489dd6cabb79f7dc4a1dc7f2a079bf1 Mon Sep 17 00:00:00 2001 From: Maxime Dénès Date: Tue, 13 Jan 2015 11:46:51 +0100 Subject: Native compiler: if debug flag not present, remove .native files. --- kernel/nativelib.ml | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) (limited to 'kernel/nativelib.ml') diff --git a/kernel/nativelib.ml b/kernel/nativelib.ml index 187d98fae..dd47bc06a 100644 --- a/kernel/nativelib.ml +++ b/kernel/nativelib.ml @@ -81,7 +81,9 @@ let call_compiler ml_filename = let compile fn code = write_ml_code fn code; - call_compiler fn + let r = call_compiler fn in + if (not !Flags.debug) && Sys.file_exists fn then Sys.remove fn; + r let compile_library dir code fn = let header = mk_library_header dir in @@ -92,7 +94,9 @@ let compile_library dir code fn = if not (Sys.file_exists dirname) then Unix.mkdir dirname 0o755; let fn = dirname / basename in write_ml_code fn ~header code; - fst (call_compiler fn) + let r = fst (call_compiler fn) in + if (not !Flags.debug) && Sys.file_exists fn then Sys.remove fn; + r (* call_linker links dynamically the code for constants in environment or a *) (* conversion test. Silently fails if the file does not exist in bytecode *) -- cgit v1.2.3