diff options
author | Jacques Le Normand <rathereasy@gmail.com> | 2010-09-13 05:28:30 +0000 |
---|---|---|
committer | Jacques Le Normand <rathereasy@gmail.com> | 2010-09-13 05:28:30 +0000 |
commit | 6de25fef2f6db569e0499e5eb492e31caf784a6c (patch) | |
tree | 77d092980193ac6cd27f64c780b6a10881101797 /driver | |
parent | 4fd6cd82750051e930451963b5f9a67831cac5dc (diff) | |
download | ocaml-6de25fef2f6db569e0499e5eb492e31caf784a6c.tar.gz |
first commit
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10679 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'driver')
-rw-r--r-- | driver/main.ml | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/driver/main.ml b/driver/main.ml index 09aa89655e..832c266556 100644 --- a/driver/main.ml +++ b/driver/main.ml @@ -165,16 +165,18 @@ let main () = fatal "Option -i is incompatible with -pack, -a, -output-obj" else fatal "Please specify at most one of -pack, -a, -c, -output-obj"; - if !make_archive then begin Compile.init_path(); + Bytelibrarian.create_archive (List.rev !objfiles) (extract_output !output_name) end else if !make_package then begin Compile.init_path(); - Bytepackager.package_files (List.rev !objfiles) - (extract_output !output_name) + let exctracted_output = extract_output !output_name in + let revd = List.rev !objfiles in + Bytepackager.package_files (revd) + (exctracted_output) end else if not !compile_only && !objfiles <> [] then begin let target = |