|
Packit |
bd2e5d |
(*************************************************************************)
|
|
Packit |
bd2e5d |
(* *)
|
|
Packit |
bd2e5d |
(* OCaml LablTk library *)
|
|
Packit |
bd2e5d |
(* *)
|
|
Packit |
bd2e5d |
(* Jacques Garrigue, Kyoto University RIMS *)
|
|
Packit |
bd2e5d |
(* *)
|
|
Packit |
bd2e5d |
(* Copyright 1999 Institut National de Recherche en Informatique et *)
|
|
Packit |
bd2e5d |
(* en Automatique and Kyoto University. All rights reserved. *)
|
|
Packit |
bd2e5d |
(* This file is distributed under the terms of the GNU Library *)
|
|
Packit |
bd2e5d |
(* General Public License, with the special exception on linking *)
|
|
Packit |
bd2e5d |
(* described in file ../../../LICENSE. *)
|
|
Packit |
bd2e5d |
(* *)
|
|
Packit |
bd2e5d |
(*************************************************************************)
|
|
Packit |
bd2e5d |
|
|
Packit |
bd2e5d |
(* $Id$ *)
|
|
Packit |
bd2e5d |
|
|
Packit |
bd2e5d |
open StdLabels
|
|
Packit |
bd2e5d |
open UnixLabels
|
|
Packit |
bd2e5d |
|
|
Packit |
bd2e5d |
let get_files_in_directory dir =
|
|
Packit |
bd2e5d |
let len = String.length dir in
|
|
Packit |
bd2e5d |
let dir =
|
|
Packit |
bd2e5d |
if len > 0 && Sys.os_type = "Win32" &&
|
|
Packit |
bd2e5d |
(dir.[len-1] = '/' || dir.[len-1] = '\\')
|
|
Packit |
bd2e5d |
then String.sub dir ~pos:0 ~len:(len-1)
|
|
Packit |
bd2e5d |
else dir
|
|
Packit |
bd2e5d |
in match
|
|
Packit |
bd2e5d |
try Some(opendir dir) with Unix_error _ -> None
|
|
Packit |
bd2e5d |
with
|
|
Packit |
bd2e5d |
None -> []
|
|
Packit |
bd2e5d |
| Some dirh ->
|
|
Packit |
bd2e5d |
let rec get_them l =
|
|
Packit |
bd2e5d |
match
|
|
Packit |
bd2e5d |
try Some(readdir dirh) with _ -> None
|
|
Packit |
bd2e5d |
with
|
|
Packit |
bd2e5d |
| Some x ->
|
|
Packit |
bd2e5d |
get_them (x::l)
|
|
Packit |
bd2e5d |
| None ->
|
|
Packit |
bd2e5d |
closedir dirh; l
|
|
Packit |
bd2e5d |
in
|
|
Packit |
bd2e5d |
List.sort ~cmp:compare (get_them [])
|
|
Packit |
bd2e5d |
|
|
Packit |
bd2e5d |
let is_directory name =
|
|
Packit |
bd2e5d |
try
|
|
Packit |
bd2e5d |
(stat name).st_kind = S_DIR
|
|
Packit |
bd2e5d |
with _ -> false
|
|
Packit |
bd2e5d |
|
|
Packit |
bd2e5d |
let concat dir name =
|
|
Packit |
bd2e5d |
let len = String.length dir in
|
|
Packit |
bd2e5d |
if len = 0 then name else
|
|
Packit |
bd2e5d |
if dir.[len-1] = '/' then dir ^ name
|
|
Packit |
bd2e5d |
else dir ^ "/" ^ name
|
|
Packit |
bd2e5d |
|
|
Packit |
bd2e5d |
let get_directories_in_files ~path =
|
|
Packit |
bd2e5d |
List.filter ~f:(fun x -> is_directory (concat path x))
|
|
Packit |
bd2e5d |
|
|
Packit |
bd2e5d |
(************************************************** Subshell call *)
|
|
Packit |
bd2e5d |
let subshell ~cmd =
|
|
Packit |
bd2e5d |
let rc = open_process_in cmd in
|
|
Packit |
bd2e5d |
let rec it l =
|
|
Packit |
bd2e5d |
match
|
|
Packit |
bd2e5d |
try Some(input_line rc) with _ -> None
|
|
Packit |
bd2e5d |
with
|
|
Packit |
bd2e5d |
Some x -> it (x::l)
|
|
Packit |
bd2e5d |
| None -> List.rev l
|
|
Packit |
bd2e5d |
in
|
|
Packit |
bd2e5d |
let answer = it [] in
|
|
Packit |
bd2e5d |
ignore (close_process_in rc);
|
|
Packit |
bd2e5d |
answer
|