Skip to main content

Browse the archive

Revision 3d4f1e51ea282eb7e6ed2efc74d4cc993078c9a2 authored by Christian Doczkal on 28 July 2022, 14:55:15 UTC, committed by Christian Doczkal on 28 July 2022, 14:55:15 UTC 
port Dexcepted to dresrict and deprecate Dfilter
 
fixes #233
1 parent c8d3d6c
Raw File
ecRelocate.ml 
let myname = Filename.basename Sys.executable_name
let mydir  = Filename.dirname  Sys.executable_name

let eclocal =
  let rex = EcRegexp.regexp "^ec\\.(?:native|byte|exe)$" in
  EcRegexp.match_ (`C rex) myname

let sourceroot =
  if eclocal then
    if   Filename.basename mydir = "src"
    then Some (Filename.dirname mydir)
    else Some mydir
  else None

let resource name =
  match eclocal with
  | true ->
      if Filename.basename mydir = "src" then
        List.fold_left Filename.concat mydir
          ([Filename.parent_dir_name] @ name)
      else
        List.fold_left Filename.concat mydir name

  | false ->
      List.fold_left Filename.concat mydir
        ([Filename.parent_dir_name; "lib"; "easycrypt"] @ name)

module Sites = struct
  let theories = [resource ["theories"]]
end
back to top