1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
let path_sep =
if Sys.win32 then
';'
else
':'
let parse_path ?(sep=path_sep) s =
String.split s ~on:sep
|> List.filter_map ~f:(function
| "" -> None
| p -> Some (Path.of_filename_relative_to_initial_cwd p))
let cons_path p ~_PATH =
let p = Path.to_absolute_filename p in
match _PATH with
| None -> p
| Some s -> Printf.sprintf "%s%c%s" p path_sep s
let exe = if Sys.win32 then ".exe" else ""
let exists fn =
match Unix.stat (Path.to_string fn) with
| { st_kind = S_DIR; _ } -> false
| exception (Unix.Unix_error _) -> false
| _ -> true
let best_prog dir prog =
let fn = Path.relative dir (prog ^ ".opt" ^ exe) in
if exists fn then
Some fn
else
let fn = Path.relative dir (prog ^ exe) in
if exists fn then
Some fn
else
None
let which ~path prog =
let rec search = function
| [] -> None
| dir :: rest ->
match best_prog dir prog with
| None -> search rest
| Some fn -> Some fn
in
search path
let make ~path =
match which ~path "gmake" with
| None -> which ~path "make"
| some -> some