/usr/lib/ocaml/oasis/BaseBuilt.mli is in liboasis-ocaml-dev 0.4.10-2build1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
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 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 | (******************************************************************************)
(* OASIS: architecture for building OCaml libraries and applications *)
(* *)
(* Copyright (C) 2011-2016, Sylvain Le Gall *)
(* Copyright (C) 2008-2011, OCamlCore SARL *)
(* *)
(* This library is free software; you can redistribute it and/or modify it *)
(* under the terms of the GNU Lesser General Public License as published by *)
(* the Free Software Foundation; either version 2.1 of the License, or (at *)
(* your option) any later version, with the OCaml static compilation *)
(* exception. *)
(* *)
(* This library is distributed in the hope that it will be useful, but *)
(* WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY *)
(* or FITNESS FOR A PARTICULAR PURPOSE. See the file COPYING for more *)
(* details. *)
(* *)
(* You should have received a copy of the GNU Lesser General Public License *)
(* along with this library; if not, write to the Free Software Foundation, *)
(* Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA *)
(******************************************************************************)
(** Register files built to be installed
@author Sylvain Le Gall
*)
(* TODO: replace host_filename here by OASISContext.build_filename, using the
same scheme as source_filename.
*)
open OASISTypes
type t =
| BExec (* Executable. *)
| BExecLib (* Library coming with executable. *)
| BLib (* Library. *)
| BObj (* Object. *)
| BDoc (* Document. *)
(** Register files built. Each files built is provided as a list
of alternatives. At least one alternative file should exist
when registering and we only register existing ones.
*)
val register:
ctxt:OASISContext.t ->
t ->
name ->
host_filename list list ->
unit
(** Unregister all files built. *)
val unregister: ctxt:OASISContext.t -> t -> name -> unit
(** Fold-left files built, filter existing
and non-existing files.
*)
val fold:
ctxt:OASISContext.t ->
t ->
name ->
('a -> host_filename -> 'a) ->
'a ->
'a
(** Check if a library/object/doc/exec has been built.
*)
val is_built: ctxt:OASISContext.t -> t -> name -> bool
(** [of_executable loc_fn (cs, bs, exec)] Compute at the same time events
that should be registered by {!register} and data returned by
{!OASISExecutable.unix_exec_is}. Use [loc_fn], if generated files
are moved to a directory different from sources (e.g. in directory
"_build").
*)
val of_executable:
(unix_filename -> host_filename) ->
common_section * build_section *
executable ->
(t * name * host_filename list list) list *
unix_filename * unix_filename option
(** [of_library loc_fn (cs, bs, lib)] Same as {!of_executable}, but
using {!OASISLibrary.generated_unix_files}.
*)
val of_library:
(unix_filename -> host_filename) ->
common_section * build_section * library ->
(t * name * host_filename list list) list * unix_filename list list
(** [of_object loc_fn (cs, bs, lib)] Same as {!of_executable}, but
using {!OASISObject.generated_unix_files}.
*)
val of_object:
(unix_filename -> host_filename) ->
common_section * build_section * object_ ->
(t * name * host_filename list list) list * unix_filename list list
|