diff options
| author | No author <no_author@ocaml.org> | 1995-06-15 16:08:54 +0000 |
|---|---|---|
| committer | No author <no_author@ocaml.org> | 1995-06-15 16:08:54 +0000 |
| commit | 77b1c8b89fd8940a63b17c41eb37161e5d159831 (patch) | |
| tree | 43dbfb3982d9166b717199cb8faa97bdce30add7 /utils/config.mli | |
| parent | ba79d4bd1f01a70b892c69f6a5e6e86714a023d6 (diff) | |
| download | ocaml-unlabeled-1.2.2.tar.gz | |
This commit was manufactured by cvs2svn to create branchunlabeled-1.2.2
'unlabeled-1.2.2'.
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/unlabeled-1.2.2@37 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'utils/config.mli')
| -rw-r--r-- | utils/config.mli | 26 |
1 files changed, 0 insertions, 26 deletions
diff --git a/utils/config.mli b/utils/config.mli deleted file mode 100644 index 483de0b515..0000000000 --- a/utils/config.mli +++ /dev/null @@ -1,26 +0,0 @@ -(* System configuration *) - -val version: string - (* The current version number of the system *) - -val standard_library: string - (* The directory containing the standard libraries *) -val c_compiler: string - (* The C compiler to use for custom runtime mode *) -val c_libraries: string - (* The C libraries to link with custom runtimes *) - -val load_path: string list ref - (* Directories in the search path for .cmi and .cmo files *) - -val exec_magic_number: string - (* Magic number for bytecode executable files *) -val cmi_magic_number: string - (* Magic number for compiled interface files *) -val cmo_magic_number: string - (* Magic number for object bytecode files *) -val cma_magic_number: string - (* Magic number for archive files *) - -val max_tag: int - (* Biggest tag that can be stored in the header of a block. *) |