Note:

You are viewing a development version of the library. Goto the latest version.

Module OASISFileUtil

module OASISFileUtil: sig .. end
File operations
Author(s): Sylvain Le Gall

val find_file : ?case_sensitive:bool ->
OASISTypes.host_filename list list -> string list -> OASISTypes.host_filename
find_file paths exts Find a file among all provided paths, trying various extensiosn exts. Return the first combination of paths and exts.
val which : ctxt:OASISContext.t -> OASISTypes.host_filename -> OASISTypes.host_filename
Find real filename of an executable.
val cp : ctxt:OASISContext.t ->
?recurse:bool -> OASISTypes.host_filename -> OASISTypes.host_filename -> unit
Copy a file.
val mkdir : ctxt:OASISContext.t -> OASISTypes.host_filename -> unit
Create a directory.
val mkdir_parent : ctxt:OASISContext.t ->
(OASISTypes.host_filename -> 'a) -> OASISTypes.host_filename -> unit
mkdir_parent f tgt Create a directory and its parent, call f with directory name created, in order.
val rmdir : ctxt:OASISContext.t -> OASISTypes.host_filename -> unit
Remove a directory.
val glob : ctxt:OASISContext.t -> string -> OASISTypes.host_filename list
Expand a filename containing '*.ext' into corresponding real files.
val file_exists_case : string -> bool
Test file existence, considering case even on case insensitive filesystem.