diff options
Diffstat (limited to 'gnu/packages/ocaml.scm')
| -rw-r--r-- | gnu/packages/ocaml.scm | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 3eb14c77f6..eb09747127 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -155,6 +155,8 @@ (install-file "ocamllex" bin))))))) (native-inputs `(("guile" ,guile-3.0))) + (properties + `(max-silent-time . 14400)) ; 4 hours, expected even on x86_64 (home-page "https://github.com/Ekdohibs/camlboot") (synopsis "OCaml souce bootstrap") (description "OCaml is written in OCaml. Its sources contain a pre-compiled |