2007-02-07 00:59:16 -08:00
|
|
|
(***********************************************************************)
|
2012-08-01 07:47:00 -07:00
|
|
|
(* *)
|
2007-02-07 00:59:16 -08:00
|
|
|
(* ocamlbuild *)
|
|
|
|
(* *)
|
|
|
|
(* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *)
|
|
|
|
(* *)
|
|
|
|
(* Copyright 2007 Institut National de Recherche en Informatique et *)
|
|
|
|
(* en Automatique. All rights reserved. This file is distributed *)
|
|
|
|
(* under the terms of the Q Public License version 1.0. *)
|
|
|
|
(* *)
|
|
|
|
(***********************************************************************)
|
|
|
|
|
2009-03-03 08:54:58 -08:00
|
|
|
|
2007-02-07 00:59:16 -08:00
|
|
|
(* Original author: Nicolas Pouillard *)
|
|
|
|
(* My_std *)
|
|
|
|
|
|
|
|
(** Generic utility functions, and system-independent glue. *)
|
|
|
|
|
|
|
|
exception Exit_OK
|
|
|
|
exception Exit_usage of string
|
|
|
|
exception Exit_system_error of string
|
|
|
|
exception Exit_with_code of int
|
|
|
|
exception Exit_silently_with_code of int
|
|
|
|
|
|
|
|
module Outcome : Signatures.OUTCOME
|
|
|
|
|
2009-03-03 08:23:12 -08:00
|
|
|
val ksbprintf : (string -> 'a) -> ('b, Format.formatter, unit, 'a) format4 -> 'b
|
|
|
|
val sbprintf : ('a, Format.formatter, unit, string) format4 -> 'a
|
2007-02-07 00:59:16 -08:00
|
|
|
|
|
|
|
module Set : sig
|
|
|
|
module type OrderedTypePrintable = Signatures.OrderedTypePrintable
|
|
|
|
module type S = Signatures.SET
|
|
|
|
module Make (M : OrderedTypePrintable) : S with type elt = M.t
|
|
|
|
end
|
|
|
|
|
|
|
|
module List : Signatures.LIST
|
|
|
|
|
|
|
|
module String : Signatures.STRING
|
|
|
|
|
|
|
|
module Digest : sig
|
|
|
|
type t = string
|
|
|
|
val string : string -> t
|
|
|
|
val substring : string -> int -> int -> t
|
2009-03-03 08:23:12 -08:00
|
|
|
external channel : in_channel -> int -> t = "caml_md5_chan"
|
2007-02-07 00:59:16 -08:00
|
|
|
val file : string -> t
|
2009-03-03 08:23:12 -08:00
|
|
|
val output : out_channel -> t -> unit
|
2007-02-07 00:59:16 -08:00
|
|
|
val input : in_channel -> t
|
|
|
|
val to_hex : t -> string
|
|
|
|
end
|
|
|
|
|
|
|
|
module StringSet : Set.S with type elt = String.t
|
|
|
|
|
|
|
|
val sys_readdir : string -> (string array, exn) Outcome.t
|
|
|
|
val sys_remove : string -> unit
|
|
|
|
val reset_readdir_cache : unit -> unit
|
|
|
|
val reset_filesys_cache : unit -> unit
|
|
|
|
val reset_filesys_cache_for_file : string -> unit
|
|
|
|
val sys_file_exists : string -> bool
|
|
|
|
val sys_command : string -> int
|
|
|
|
val filename_concat : string -> string -> string
|
|
|
|
|
2009-03-03 08:23:12 -08:00
|
|
|
val invalid_arg' : ('a, Format.formatter, unit, 'b) format4 -> 'a
|
2007-02-07 00:59:16 -08:00
|
|
|
|
|
|
|
include Signatures.MISC
|