2018-01-27 07:10:27 -08:00
|
|
|
(**************************************************************************)
|
|
|
|
|
(* *)
|
|
|
|
|
(* OCaml *)
|
|
|
|
|
(* *)
|
|
|
|
|
(* Sebastien Hinderer, projet Gallium, INRIA Paris *)
|
|
|
|
|
(* *)
|
|
|
|
|
(* Copyright 2018 Institut National de Recherche en Informatique et *)
|
|
|
|
|
(* en Automatique. *)
|
|
|
|
|
(* *)
|
|
|
|
|
(* All rights reserved. This file is distributed under the terms of *)
|
|
|
|
|
(* the GNU Lesser General Public License version 2.1, with the *)
|
|
|
|
|
(* special exception on linking described in the file LICENSE. *)
|
|
|
|
|
(* *)
|
|
|
|
|
(**************************************************************************)
|
|
|
|
|
|
|
|
|
|
(* Locations of directories in the OCaml source tree *)
|
|
|
|
|
|
|
|
|
|
open Ocamltest_stdlib
|
|
|
|
|
|
|
|
|
|
let srcdir () =
|
2018-02-21 00:26:36 -08:00
|
|
|
Sys.getenv_with_default_value "OCAMLSRCDIR" Ocamltest_config.ocamlsrcdir
|
2018-01-27 07:10:27 -08:00
|
|
|
|
|
|
|
|
let stdlib ocamlsrcdir =
|
|
|
|
|
Filename.make_path [ocamlsrcdir; "stdlib"]
|
|
|
|
|
|
|
|
|
|
let toplevel ocamlsrcdir =
|
|
|
|
|
Filename.make_path [ocamlsrcdir; "toplevel"]
|
|
|
|
|
|
|
|
|
|
let runtime ocamlsrcdir =
|
|
|
|
|
Filename.make_path [ocamlsrcdir; "byterun"]
|
2018-02-18 23:23:12 -08:00
|
|
|
|
|
|
|
|
let runtime_library backend ocamlsrcdir =
|
|
|
|
|
let backend_lib_dir = match backend with
|
|
|
|
|
| Ocaml_backends.Native -> "asmrun"
|
|
|
|
|
| Ocaml_backends.Bytecode -> "byterun" in
|
|
|
|
|
Filename.make_path [ocamlsrcdir; backend_lib_dir]
|
