diff options
| author | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2019-03-12 03:33:26 +0100 |
|---|---|---|
| committer | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2019-03-12 03:33:26 +0100 |
| commit | 2ac104cd3c070490755d5529688b61fedf2ca4cf (patch) | |
| tree | 31adda72b67f4d1eacba033d07de5420400b83d1 /tools | |
| parent | 32dc5b8290723c09b74d0790fcf3f9f826f1f17b (diff) | |
| download | ocaml-2ac104cd3c070490755d5529688b61fedf2ca4cf.tar.gz | |
Update Inria's bootstrap CI job
This commit adapts Inria's bootstrap CI job to take into account the
removal of the threads library. More precisely, it updates the patch
that removes the sinh primitive from the runtime to not patch
otherlibs/threads/stdlib.ml any longer since this file has been removed
from the repository.
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/ci/inria/remove-sinh-primitive.patch | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/tools/ci/inria/remove-sinh-primitive.patch b/tools/ci/inria/remove-sinh-primitive.patch index c6a211573c..db9dfe83b9 100644 --- a/tools/ci/inria/remove-sinh-primitive.patch +++ b/tools/ci/inria/remove-sinh-primitive.patch @@ -3,19 +3,6 @@ and standard library. It is used on Inria's CI to make sure the bootstrap procedure works. -diff --git a/otherlibs/threads/stdlib.ml b/otherlibs/threads/stdlib.ml -index 27cb01e54..eea32ee94 100644 ---- a/otherlibs/threads/stdlib.ml -+++ b/otherlibs/threads/stdlib.ml -@@ -152,8 +152,6 @@ external log10 : float -> float = "caml_log10_float" "log10" - external log1p : float -> float = "caml_log1p_float" "caml_log1p" - [@@unboxed] [@@noalloc] - external sin : float -> float = "caml_sin_float" "sin" [@@unboxed] [@@noalloc] --external sinh : float -> float = "caml_sinh_float" "sinh" -- [@@unboxed] [@@noalloc] - external sqrt : float -> float = "caml_sqrt_float" "sqrt" - [@@unboxed] [@@noalloc] - external tan : float -> float = "caml_tan_float" "tan" [@@unboxed] [@@noalloc] diff --git a/runtime/floats.c b/runtime/floats.c index b93f6a409..6edbed9c6 100644 --- a/runtime/floats.c |