Changeset 3013 for driver

Timestamp:

Mar 28, 2013, 4:56:38 PM (7 years ago)

Author:

sacerdot

Message:

Temporary parsing files removed.

File:

• driver/clightParser.ml (modified) (4 diffs)

driver/clightParser.ml

@@ +1 @@
+let safe_remove name =
+ try Sys.remove name with Sys_error _ -> ()
 
 let process ?is_lustre_file ?remove_lustre_externals file = 
@@ -19 +21 @@
        (Filename.quote file) (Filename.quote tmp_file1)) in
   if rc <> 0 then (
-    (*
-    Misc.SysExt.safe_remove tmp_file1;
-    *)
+    safe_remove tmp_file1;
     failwith "Error adding primitive prototypes."
   );
@@ -32 +32 @@
        (Filename.quote tmp_file1) (Filename.quote tmp_file2)) in
   if rc <> 0 then (
-    (*
-    Misc.SysExt.safe_remove tmp_file1;
-    Misc.SysExt.safe_remove tmp_file2;
-    *)
+    safe_remove tmp_file1;
+    safe_remove tmp_file2;
     failwith "Error calling gcc."
   );
@@ -48 +46 @@
         | None -> failwith "Error during C to Clight pass."
         | Some(pp) ->
-          (*Misc.SysExt.safe_remove tmp_file1;
-          Misc.SysExt.safe_remove tmp_file2;*)
+          safe_remove tmp_file1;
+          safe_remove tmp_file2;
           if remove_lustre_externals = Some true then failwith "not implemented yet" (*ClightLustre.simplify pp*)
           else pp)