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
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
|
(****************************************************************************)
(* the diy toolsuite *)
(* *)
(* Jade Alglave, University College London, UK. *)
(* Luc Maranget, INRIA Paris-Rocquencourt, France. *)
(* *)
(* Copyright 2010-present Institut National de Recherche en Informatique et *)
(* en Automatique and the authors. All rights reserved. *)
(* *)
(* This software is governed by the CeCILL-B license under French law and *)
(* abiding by the rules of distribution of free software. You can use, *)
(* modify and/ or redistribute the software under the terms of the CeCILL-B *)
(* license as circulated by CEA, CNRS and INRIA at the following URL *)
(* "http://www.cecill.info". We also give a copy in LICENSE.txt. *)
(****************************************************************************)
(** Additional system commands *)
(***********)
(* Control *)
(***********)
val save_temps : bool ref
val debug : bool ref
(****************************)
(* Write & read lines *)
(****************************)
val output_line : out_channel -> string -> unit
val output_lines : out_channel -> string list -> unit
val print_lines : string list -> unit
val read_by_line : in_channel -> (string -> 'a -> 'a) -> 'a -> 'a
val read_list : in_channel -> (string -> 'a option) -> 'a list
(****************)
(* Remove files *)
(****************)
val remove : string -> unit
(**************)
(* Move files *)
(**************)
val move : string -> string -> unit
(****************)
(* Select lines *)
(****************)
val grep : out_channel -> string -> string -> unit
(***********************************)
(* Call function on each file line *)
(***********************************)
val cat_chan : in_channel -> (string -> unit) -> unit
val cat : string -> (string -> unit) -> unit
val cp : ?prf:string -> in_channel -> string -> unit
(* and remove file *)
val cat_and_remove : string -> (string -> unit) -> unit
(**********************)
(* Call unix commands *)
(**********************)
val exec_stdout : string -> unit
val exec : string -> (string -> unit) -> unit
val mkdir : string -> unit
val mkdirp : string -> unit
val mktmpdir : unit -> string
val rmdir : string -> unit
|
