diff options
| author | Pascal Rigaux <pixel@mandriva.com> | 2003-08-04 01:14:51 +0000 |
|---|---|---|
| committer | Pascal Rigaux <pixel@mandriva.com> | 2003-08-04 01:14:51 +0000 |
| commit | 4afc0398529198b0b6ce9092b206e015cc3fbf00 (patch) | |
| tree | 76bb876c815fb6846d2d024d4afb50811ff7f90d | |
| parent | 9b01d95a3c93b7cd8d0bd6fc4fa898dd00146f50 (diff) | |
| download | perl_checker-4afc0398529198b0b6ce9092b206e015cc3fbf00.tar perl_checker-4afc0398529198b0b6ce9092b206e015cc3fbf00.tar.gz perl_checker-4afc0398529198b0b6ce9092b206e015cc3fbf00.tar.bz2 perl_checker-4afc0398529198b0b6ce9092b206e015cc3fbf00.tar.xz perl_checker-4afc0398529198b0b6ce9092b206e015cc3fbf00.zip | |
- reverse the order of packages found in a file (so that perl_checker doesn't
think ugtk2.pm's basedir is ".." (since it defines "package Gtk2::Entry"))
- in verbose mode, tell when using a .so
| -rw-r--r-- | perl_checker.src/tree.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/perl_checker.src/tree.ml b/perl_checker.src/tree.ml index d55f70b..929a5a3 100644 --- a/perl_checker.src/tree.ml +++ b/perl_checker.src/tree.ml @@ -62,7 +62,7 @@ let get_current_package t = match t with | Package(Ident _ as ident) :: body -> let rec bundled_packages packages current_package found_body = function - | [] -> (Some current_package, List.rev found_body) :: packages + | [] -> List.rev ((Some current_package, List.rev found_body) :: packages) | Package(Ident _ as ident) :: body -> let packages = (Some current_package, List.rev found_body) :: packages in bundled_packages packages (string_of_Ident ident) [] body @@ -233,6 +233,7 @@ let read_xs_extension_from_so global_vars_declared package pos = let rel_file = String.concat "/" ("auto" :: splitted @ [ last splitted ]) ^ ".so" in let so = (findfile !use_lib rel_file) ^ "/" ^ rel_file in let channel = Unix.open_process_in (Printf.sprintf "nm --defined-only -D \"%s\"" so) in + if !Flags.verbose then print_endline_flush (sprintf "using shared-object symbols from %s" so) ; fold_lines (fun () s -> let s = skip_n_char 11 s in if str_begins_with s "XS_" then |