- Timestamp:
- Mar 28, 2013, 4:56:38 PM (8 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
driver/clightParser.ml
r2620 r3013 1 let safe_remove name = 2 try Sys.remove name with Sys_error _ -> () 1 3 2 4 let process ?is_lustre_file ?remove_lustre_externals file = … … 19 21 (Filename.quote file) (Filename.quote tmp_file1)) in 20 22 if rc <> 0 then ( 21 (* 22 Misc.SysExt.safe_remove tmp_file1; 23 *) 23 safe_remove tmp_file1; 24 24 failwith "Error adding primitive prototypes." 25 25 ); … … 32 32 (Filename.quote tmp_file1) (Filename.quote tmp_file2)) in 33 33 if rc <> 0 then ( 34 (* 35 Misc.SysExt.safe_remove tmp_file1; 36 Misc.SysExt.safe_remove tmp_file2; 37 *) 34 safe_remove tmp_file1; 35 safe_remove tmp_file2; 38 36 failwith "Error calling gcc." 39 37 ); … … 48 46 | None -> failwith "Error during C to Clight pass." 49 47 | Some(pp) -> 50 (*Misc.SysExt.safe_remove tmp_file1;51 Misc.SysExt.safe_remove tmp_file2;*)48 safe_remove tmp_file1; 49 safe_remove tmp_file2; 52 50 if remove_lustre_externals = Some true then failwith "not implemented yet" (*ClightLustre.simplify pp*) 53 51 else pp)
Note: See TracChangeset
for help on using the changeset viewer.