diff options
author | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2017-07-21 16:43:36 +0200 |
---|---|---|
committer | Damien Doligez <damien.doligez@gmail.com> | 2017-09-18 17:40:14 +0200 |
commit | 635b5edcc1a0ce40d974295a696fbb3dea2f0766 (patch) | |
tree | a7ca13c2a2e09d1ce027748281729a2de60a6e31 /ocamltest/options.mli | |
parent | b08deacf182decf4fef22900371ddc860b666447 (diff) | |
download | ocaml-635b5edcc1a0ce40d974295a696fbb3dea2f0766.tar.gz |
ocamltest: the test driver for the OCaml compiler
This commit contains:
- The initial version of the tool itself, in the ocamltest directory
- The required additions to the main .gitignore and .merlin files.
The integration of ocamltest in OCaml's main build system and its use
in the testsuite are not part of this commit.
Credits go to David Allsopp for
- Extending the computation of ocamlsrcdir to the Windows case
- Making ocamltest compile when flexlink
is being bootstrapped.
Diffstat (limited to 'ocamltest/options.mli')
-rw-r--r-- | ocamltest/options.mli | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/ocamltest/options.mli b/ocamltest/options.mli new file mode 100644 index 0000000000..57fe7a3d5f --- /dev/null +++ b/ocamltest/options.mli @@ -0,0 +1,20 @@ +(**************************************************************************) +(* *) +(* 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. *) +(* *) +(**************************************************************************) + +(* Description of ocamltest's command-line options *) + +val testfile : string ref + +val usage : string |