summaryrefslogtreecommitdiff
path: root/lang/ocaml/patches
ModeNameSize
-rw-r--r--patch-Makefile5805logplain
-rw-r--r--patch-asmcomp_asmlink.ml482logplain
-rw-r--r--patch-asmrun_Makefile1536logplain
-rw-r--r--patch-byterun_Makefile901logplain
-rw-r--r--patch-configure5782logplain
-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.ml1262logplain
-rw-r--r--patch-driver_main_args.mli476logplain
-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_bigarray_mmap__unix.c502logplain
-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.shared1843logplain
-rw-r--r--patch-tools_ocamlcp.ml530logplain
-rw-r--r--patch-tools_ocamlmklib2071logplain
-rw-r--r--patch-tools_ocamloptp.ml520logplain
-rw-r--r--patch-utils_clflags.ml615logplain
-rw-r--r--patch-utils_clflags.mli413logplain