Query: jocamlmklib
OS: debian
Section: 1
Format: Original Unix Latex Style Formatted with HTML and a Horizontal Scroll Bar
JOCAMLMKLIB(1) General Commands Manual JOCAMLMKLIB(1)NAMEjocamlmklib - generate libraries with mixed C / Caml code.SYNOPSISocalmklib [options] filesDESCRIPTIONThe jocamlmklib command facilitates the construction of libraries containing both Caml code and C code, and usable both in static linking and dynamic linking modes.OPTIONS-h, --help Show summary of options. -cclib lib C library passed to jocamlc -a or jocamlopt(1) -a only. -ccopt opt C option passed to jocamlc(1) -a or jocamlopt(1) -a only. -custom Disable dynamic loading. -dllpath dir Add dir to the run-time search path for DLLs. -I dir Add dir to the path searched for Caml object files. -failsafe Fall back to static linking if DLL construction failed. -ldopt opt C option passed to the shared linker only. -linkall Build Caml archive with link-all behavior. -llib Specify a dependent C library. -Ldir Add dir to the path searched for C libraries. -jocamlc cmd Use cmd in place of jocamlc(1). -jocamlopt cmd Use cmd in place of jocamlopt(1). -o name Generated Caml library is named name.cma or name.cmxa. -oc name Generated C library is named dllname.so or libname.a. -rpath dir Same as -dllpath dir. -Rdir Same as -rpath. -verbose Print commands before executing them. -Wl, -rpath dir Same as -dllpath dir. -Wl, -rpath -Wl dir Same as -dllpath dir. -Wl, -Rdir Same as -dllpath dir. -Fdir Specify a framework directory (MacOSX). -framework name Use framework name (MacOSX).SEE ALSOjocamlc(1), jocamlopt(1).AUTHORThis manual page was written by Samuel Mimram <samuel.mimram@ens-lyon.org>, for the Debian project (but may be used by others). August 19, 2004 JOCAMLMKLIB(1)
Related Man Pages |
---|
jocamldep(1) - debian |
coqide(1) - debian |
jocaml(1) - debian |
jocamlc(1) - debian |
lint(1b) - suse |
Similar Topics in the Unix Linux Community |
---|
Add Date format to a file. |
awk question |
cannot cd or rename the directory "{};" |
sed copy paste |
Need a script to move the files from one dir to other other dir |