summaryrefslogtreecommitdiff
path: root/lang/ocaml/patches
ModeNameSize
-rw-r--r--patch-Makefile6113logplain
-rw-r--r--patch-asmcomp_asmlink.ml482logplain
-rw-r--r--patch-asmrun_Makefile1536logplain
-rw-r--r--patch-asmrun_signals_osdep.h1563logplain
-rw-r--r--patch-byterun_Makefile901logplain
-rw-r--r--patch-configure7221logplain
-rw-r--r--patch-debugger_Makefile.shared536logplain
-rw-r--r--patch-driver_compenv.ml494logplain
-rw-r--r--patch-driver_main.ml533logplain
-rw-r--r--patch-driver_main_args.ml1283logplain
-rw-r--r--patch-driver_main_args.mli480logplain
-rw-r--r--patch-driver_optmain.ml565logplain
-rw-r--r--patch-man_Makefile594logplain
-rw-r--r--patch-ocamldoc_Makefile2594logplain
-rw-r--r--patch-ocamldoc_odoc__messages.ml617logplain
-rw-r--r--patch-otherlibs_Makefile598logplain
-rw-r--r--patch-otherlibs_Makefile.shared1371logplain
-rw-r--r--patch-otherlibs_bigarray_mmap__unix.c504logplain
-rw-r--r--patch-otherlibs_dynlink_Makefile864logplain
-rw-r--r--patch-otherlibs_systhreads_Makefile1693logplain
-rw-r--r--patch-otherlibs_threads_Makefile1173logplain
-rw-r--r--patch-stdlib_Makefile863logplain
-rw-r--r--patch-stdlib_Makefile.shared921logplain
-rw-r--r--patch-tools_Makefile.shared2078logplain
-rw-r--r--patch-tools_ocamlcp.ml528logplain
-rw-r--r--patch-tools_ocamlmklib2071logplain
-rw-r--r--patch-tools_ocamloptp.ml518logplain
-rw-r--r--patch-utils_clflags.ml615logplain
-rw-r--r--patch-utils_clflags.mli413logplain