summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJulien Lepiller <julien@lepiller.eu>2021-11-21 16:18:07 +0100
committerJulien Lepiller <julien@lepiller.eu>2021-11-21 16:20:57 +0100
commit29e9dc49cc104bf606a642627d537e8e496d1fc1 (patch)
tree7ea5355d3750d2b4c0471b15a1df8e477bbba11b
parentf0a30bf8aac0f2178543f9cd629011eb85f6df48 (diff)
gnu: camlboot: Increase max-silent-time.
* gnu/packages/ocaml.scm (camlboot)[properties]: Set max-silent-time to 10 hours.
-rw-r--r--gnu/packages/ocaml.scm3
1 files changed, 2 insertions, 1 deletions
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index 8924f9c0ae..f6824561fd 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -161,7 +161,8 @@
(native-inputs
`(("guile" ,guile-3.0)))
(properties
- `((max-silent-time . 14400))) ; 4 hours, expected even on x86_64
+ ;; 10 hours, mostly for arm, more than 1 expected even on x86_64
+ `((max-silent-time . 36000)))
(home-page "https://github.com/Ekdohibs/camlboot")
(synopsis "OCaml source bootstrap")
(description "OCaml is written in OCaml. Its sources contain a pre-compiled