Ekdohibs
/
ocaml
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

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.
master
Sébastien Hinderer 2019-03-12 03:33:26 +01:00
parent 32dc5b8290
commit 2ac104cd3c
1 changed files with 0 additions and 13 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
tools/ci/inria/remove-sinh-primitive.patch
View File

@ -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