module BaseFileUtil: sig
.. end
File operations
Author(s): Sylvain Le Gall
val find_file : 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 : OASISTypes.host_filename -> OASISTypes.host_filename
Find real filename of an executable.
val cp : OASISTypes.host_filename -> OASISTypes.host_filename -> unit
Copy a file.
val mkdir : OASISTypes.host_filename -> unit
Create a directory.
val mkdir_parent : (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 : OASISTypes.host_filename -> unit
Remove a directory.
val glob : string -> OASISTypes.host_filename list
Expand a filename containing '*.ext' into corresponding
real files.