summaryrefslogtreecommitdiff
path: root/ocaml-binary-annot/myocamlbuild_config.mli
diff options
context:
space:
mode:
Diffstat (limited to 'ocaml-binary-annot/myocamlbuild_config.mli')
-rw-r--r--ocaml-binary-annot/myocamlbuild_config.mli60
1 files changed, 60 insertions, 0 deletions
diff --git a/ocaml-binary-annot/myocamlbuild_config.mli b/ocaml-binary-annot/myocamlbuild_config.mli
new file mode 100644
index 0000000000..28b2261776
--- /dev/null
+++ b/ocaml-binary-annot/myocamlbuild_config.mli
@@ -0,0 +1,60 @@
+val prefix : string
+val bindir : string
+val libdir : string
+val manext : string
+val ranlib : string
+val ranlibcmd : string
+val sharpbangscripts : bool
+val bng_arch : string
+val bng_asm_level : string
+val pthread_link : string
+val x11_includes : string
+val x11_link : string
+val tk_link : string
+val dbm_includes : string
+val dbm_link : string
+val bytecc : string
+val bytecccompopts : string
+val bytecclinkopts : string
+val bytecclibs : string
+val byteccrpath : string
+val exe : string
+val supports_shared_libraries : bool
+val sharedcccompopts : string
+val mksharedlibrpath : string
+val arch : string
+val model : string
+val system : string
+val nativecc : string
+val nativecccompopts : string
+val nativeccprofopts : string
+val nativecclinkopts : string
+val nativeccrpath : string
+val nativecclibs : string
+val packld : string
+val dllcccompopts : string
+val asm : string
+val aspp : string
+val asppprofflags : string
+val profiling : string
+val dynlinkopts : string
+val otherlibraries : string
+val debugger : string
+val cc_profile : string
+val systhread_support : bool
+val syslib : string -> string
+val mkexe : string
+val mkdll : string
+val mkmaindll : string
+val mklib : string -> string -> string -> string
+val ext_lib : string
+val ext_obj : string
+val ext_asm : string
+val ext_dll : string
+val o : string
+val a : string
+val so : string
+val toolchain : string
+val ccomptype : string
+val extralibs : string
+val tk_defs : string