summaryrefslogtreecommitdiff
path: root/driver
diff options
context:
space:
mode:
authorJacques Le Normand <rathereasy@gmail.com>2010-09-13 05:28:30 +0000
committerJacques Le Normand <rathereasy@gmail.com>2010-09-13 05:28:30 +0000
commit6de25fef2f6db569e0499e5eb492e31caf784a6c (patch)
tree77d092980193ac6cd27f64c780b6a10881101797 /driver
parent4fd6cd82750051e930451963b5f9a67831cac5dc (diff)
downloadocaml-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.ml8
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 =