Skip to content

Commit 6682f8d

Browse files
mshinwellpoechsel
authored andcommitted
flambda-backend: To upstream: use flambda_o3 attribute instead of -O3 in the Makefile for systhreads/
1 parent de197df commit 6682f8d

File tree

4 files changed

+5
-4
lines changed

4 files changed

+5
-4
lines changed

otherlibs/systhreads/Makefile

Lines changed: 0 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -38,9 +38,6 @@ CAMLOPT=$(BEST_OCAMLOPT) $(LIBS)
3838

3939
MKLIB=$(CAMLRUN) $(ROOTDIR)/tools/ocamlmklib$(EXE)
4040
COMPFLAGS=-w +33..39 -warn-error A -g -bin-annot -safe-string
41-
ifeq "$(FLAMBDA)" "true"
42-
OPTCOMPFLAGS += -O3
43-
endif
4441

4542
LIBNAME=threads
4643

otherlibs/systhreads/event.ml

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -13,6 +13,8 @@
1313
(* *)
1414
(**************************************************************************)
1515

16+
[@@@ocaml.flambda_o3]
17+
1618
(* Events *)
1719
type 'a basic_event =
1820
{ poll: unit -> bool;

otherlibs/systhreads/thread.ml

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -16,6 +16,8 @@
1616

1717
(* User-level threads *)
1818

19+
[@@@ocaml.flambda_o3]
20+
1921
type t
2022

2123
external thread_initialize : unit -> unit = "caml_thread_initialize"

testsuite/tests/backtrace/callstack.reference

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -12,4 +12,4 @@ Raised by primitive operation at Callstack.f0 in file "callstack.ml", line 11, c
1212
Called from Callstack.f1 in file "callstack.ml", line 12, characters 27-32
1313
Called from Callstack.f2 in file "callstack.ml", line 13, characters 27-32
1414
Called from Callstack.f3 in file "callstack.ml", line 14, characters 27-32
15-
Called from Thread.create.(fun) in file "thread.ml", line 41, characters 8-14
15+
Called from Thread.create.(fun) in file "thread.ml", line 43, characters 8-14

0 commit comments

Comments
 (0)