Up

module OASISFileUtil

: sig

File operations

Author 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.

end