diff options
| author | Michael Soegtrop | 2020-09-23 22:06:36 +0200 |
|---|---|---|
| committer | Michael Soegtrop | 2020-09-23 22:06:36 +0200 |
| commit | 768af575bd6336665c094bf6fd8de3d5daf2636b (patch) | |
| tree | 698f7893ad4d4390f22fa8b979499c75290df440 /dev/build | |
| parent | d7b2da080bbfbbc85b3ce19bcda99e06ee355fef (diff) | |
Fix issue #13065 - Windows CI broken
Diffstat (limited to 'dev/build')
| -rw-r--r-- | dev/build/windows/patches_coq/ocaml-4.08.1.patch | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/dev/build/windows/patches_coq/ocaml-4.08.1.patch b/dev/build/windows/patches_coq/ocaml-4.08.1.patch new file mode 100644 index 0000000000..a79033a061 --- /dev/null +++ b/dev/build/windows/patches_coq/ocaml-4.08.1.patch @@ -0,0 +1,25 @@ +diff --git a/runtime/caml/misc.h b/runtime/caml/misc.h +index 6aa98516b..8184c2797 100644 +--- a/runtime/caml/misc.h ++++ b/runtime/caml/misc.h +@@ -327,7 +327,6 @@ extern void caml_set_fields (intnat v, uintnat, uintnat); + + #if defined(_WIN32) && !defined(_UCRT) + extern int caml_snprintf(char * buf, size_t size, const char * format, ...); +-#define snprintf caml_snprintf + #endif + + #ifdef CAML_INSTR +@@ -336,6 +335,12 @@ extern int caml_snprintf(char * buf, size_t size, const char * format, ...); + #include <time.h> + #include <stdio.h> + ++/* snprintf emulation for Win32 - do define after stdio.h, in case snprintf is defined */ ++ ++#if defined(_WIN32) && !defined(_UCRT) ++#define snprintf caml_snprintf ++#endif ++ + extern intnat caml_stat_minor_collections; + extern intnat caml_instr_starttime, caml_instr_stoptime; + |