2017-07-21 07:43:36 -07:00
|
|
|
(**************************************************************************)
|
|
|
|
(* *)
|
|
|
|
(* OCaml *)
|
|
|
|
(* *)
|
|
|
|
(* Sebastien Hinderer, projet Gallium, INRIA Paris *)
|
|
|
|
(* *)
|
|
|
|
(* Copyright 2016 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. *)
|
|
|
|
(* *)
|
|
|
|
(**************************************************************************)
|
|
|
|
|
|
|
|
(* Definition of variables used by built-in actions *)
|
|
|
|
|
|
|
|
(* The variables are listed in alphabetical order *)
|
|
|
|
|
|
|
|
val arguments : Variables.t
|
|
|
|
|
2018-03-23 01:21:25 -07:00
|
|
|
val cwd : Variables.t
|
|
|
|
|
2018-04-17 03:30:24 -07:00
|
|
|
val commandline : Variables.t
|
|
|
|
|
2018-02-28 07:24:46 -08:00
|
|
|
val exit_status : Variables.t
|
|
|
|
|
2017-07-21 07:43:36 -07:00
|
|
|
val files : Variables.t
|
|
|
|
|
2018-04-19 00:21:59 -07:00
|
|
|
val make : Variables.t
|
|
|
|
|
2018-01-22 08:01:21 -08:00
|
|
|
val ocamltest_response : Variables.t
|
2017-07-21 07:43:36 -07:00
|
|
|
|
2017-11-03 10:52:11 -07:00
|
|
|
val ocamltest_log : Variables.t
|
2017-07-21 07:43:36 -07:00
|
|
|
|
|
|
|
val output : Variables.t
|
|
|
|
|
|
|
|
val program : Variables.t
|
|
|
|
val program2 : Variables.t
|
|
|
|
|
2018-01-28 08:37:58 -08:00
|
|
|
val promote : Variables.t
|
|
|
|
|
2018-03-27 08:06:50 -07:00
|
|
|
val reason : Variables.t
|
|
|
|
|
2017-07-21 07:43:36 -07:00
|
|
|
val reference : Variables.t
|
|
|
|
|
2018-03-05 02:09:57 -08:00
|
|
|
val skip_header_lines : Variables.t
|
|
|
|
val skip_header_bytes : Variables.t
|
|
|
|
|
2017-07-21 07:43:36 -07:00
|
|
|
val script : Variables.t
|
|
|
|
|
|
|
|
val stdin : Variables.t
|
|
|
|
val stdout : Variables.t
|
|
|
|
val stderr : Variables.t
|
|
|
|
|
|
|
|
val test_build_directory : Variables.t
|
2017-11-03 10:52:11 -07:00
|
|
|
val test_build_directory_prefix : Variables.t
|
2017-07-21 07:43:36 -07:00
|
|
|
|
|
|
|
val test_file : Variables.t
|
|
|
|
|
|
|
|
val test_source_directory : Variables.t
|
2017-11-03 10:52:11 -07:00
|
|
|
|
|
|
|
val test_pass : Variables.t
|
|
|
|
|
|
|
|
val test_skip : Variables.t
|
|
|
|
|
|
|
|
val test_fail : Variables.t
|