Changeset 3013


Ignore:
Timestamp:
Mar 28, 2013, 4:56:38 PM (4 years ago)
Author:
sacerdot
Message:

Temporary parsing files removed.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • driver/clightParser.ml

    r2620 r3013  
     1let safe_remove name =
     2 try Sys.remove name with Sys_error _ -> ()
    13
    24let process ?is_lustre_file ?remove_lustre_externals file =
     
    1921       (Filename.quote file) (Filename.quote tmp_file1)) in
    2022  if rc <> 0 then (
    21     (*
    22     Misc.SysExt.safe_remove tmp_file1;
    23     *)
     23    safe_remove tmp_file1;
    2424    failwith "Error adding primitive prototypes."
    2525  );
     
    3232       (Filename.quote tmp_file1) (Filename.quote tmp_file2)) in
    3333  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;
    3836    failwith "Error calling gcc."
    3937  );
     
    4846        | None -> failwith "Error during C to Clight pass."
    4947        | 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;
    5250          if remove_lustre_externals = Some true then failwith "not implemented yet" (*ClightLustre.simplify pp*)
    5351          else pp)
Note: See TracChangeset for help on using the changeset viewer.