summaryrefslogtreecommitdiff
path: root/utils/config.mli
diff options
context:
space:
mode:
authorAlain Frisch <alain@frisch.fr>2012-01-16 09:05:37 +0000
committerAlain Frisch <alain@frisch.fr>2012-01-16 09:05:37 +0000
commitbfb35c4fce698c2dacbe5eab2f2a7086cff79b3c (patch)
treeb80eb1438d915b37e06d230d6a7e8d047b17e0a9 /utils/config.mli
parentee95e9fd9125c4b8dcff20be96dab9e5ba509ebb (diff)
downloadocaml-bfb35c4fce698c2dacbe5eab2f2a7086cff79b3c.tar.gz
#5478: makes it possible to specify a custom 'ar' command.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12027 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'utils/config.mli')
-rw-r--r--utils/config.mli2
1 files changed, 2 insertions, 0 deletions
diff --git a/utils/config.mli b/utils/config.mli
index 897edb6da2..78fe77c6af 100644
--- a/utils/config.mli
+++ b/utils/config.mli
@@ -46,6 +46,8 @@ val mkmaindll: string
(* The linker command line to build main programs as dlls. *)
val ranlib: string
(* Command to randomize a library, or "" if not needed *)
+val ar: string
+ (* Name of the ar command, or "" if not needed (MSVC) *)
val cc_profile : string
(* The command line option to the C compiler to enable profiling. *)