Skip to content

Commit cef0bb6

Browse files
mshinwellpoechsel
authored andcommitted
flambda-backend: Config.flambda2 (#58)
1 parent ff0e4f7 commit cef0bb6

File tree

2 files changed

+5
-1
lines changed

2 files changed

+5
-1
lines changed

utils/config.mli

Lines changed: 4 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -195,7 +195,10 @@ val target : string
195195
(** Whether the compiler is a cross-compiler *)
196196

197197
val flambda : bool
198-
(** Whether the compiler was configured for flambda *)
198+
(** Whether the compiler was configured for Flambda 1 *)
199+
200+
val flambda2 : bool
201+
(** Whether the compiler was configured for Flambda 2 *)
199202

200203
val with_flambda_invariants : bool
201204
(** Whether the invariants checks for flambda are enabled *)

utils/config.mlp

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -74,6 +74,7 @@ let mkdll, mkexe, mkmaindll =
7474
"%%MKDLL%%", "%%MKEXE%%", "%%MKMAINDLL%%"
7575

7676
let flambda = %%FLAMBDA%%
77+
let flambda2 = false
7778
let with_flambda_invariants = %%WITH_FLAMBDA_INVARIANTS%%
7879
let safe_string = %%FORCE_SAFE_STRING%%
7980
let default_safe_string = %%DEFAULT_SAFE_STRING%%

0 commit comments

Comments
 (0)