diff options
| author | Julien Lepiller <julien@lepiller.eu> | 2021-03-05 15:51:52 +0100 |
|---|---|---|
| committer | Julien Lepiller <julien@lepiller.eu> | 2021-03-05 15:53:36 +0100 |
| commit | 58277e68d4427e110c07fca7bce931be31e6a266 (patch) | |
| tree | bde5f6e78b2b691f75b0a152d0438c046abf8a14 /gnu/packages/ocaml.scm | |
| parent | f5c3e8e2ec9ab9e105c0b53afa0c2f5d5fa11065 (diff) | |
gnu: camlboot: Raise max-silent-time timeout value to 4 hours.
* gnu/packages/ocaml.scm (camlboot)[properties]: Add a 'max-silent-time'
property, with a value of 4 hours.
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 |