diff options
author | Enguerrand <decorne.en@gmail.com> | 2022-11-17 10:56:35 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-11-17 09:56:35 +0000 |
commit | c1f35ad7f64a75a507a1172834e488a6cda946e2 (patch) | |
tree | a2b000d9b19960aa9845657a28ec1142f1afb1c4 /utils | |
parent | 6d68843d88273dfbff217245e9b8ccd341da138d (diff) | |
download | ocaml-c1f35ad7f64a75a507a1172834e488a6cda946e2.tar.gz |
Remove force-instrumented-runtime configure option (#11660)
Diffstat (limited to 'utils')
-rw-r--r-- | utils/clflags.ml | 5 | ||||
-rw-r--r-- | utils/config.fixed.ml | 1 | ||||
-rw-r--r-- | utils/config.generated.ml.in | 1 | ||||
-rw-r--r-- | utils/config.mli | 4 |
4 files changed, 1 insertions, 10 deletions
diff --git a/utils/clflags.ml b/utils/clflags.ml index 68200b7157..569358c96d 100644 --- a/utils/clflags.ml +++ b/utils/clflags.ml @@ -166,10 +166,7 @@ let pic_code = ref (match Config.architecture with (* -fPIC *) | "amd64" -> true | _ -> false) -let runtime_variant = - ref (match Config.force_instrumented_runtime with (* -runtime-variant *) - | true -> "i" - | false -> "") +let runtime_variant = ref "" let with_runtime = ref true (* -with-runtime *) diff --git a/utils/config.fixed.ml b/utils/config.fixed.ml index 141fcea3d8..e29c94cfe1 100644 --- a/utils/config.fixed.ml +++ b/utils/config.fixed.ml @@ -47,7 +47,6 @@ let flambda = false let with_flambda_invariants = false let with_cmm_invariants = false let windows_unicode = false -let force_instrumented_runtime = false let flat_float_array = true let function_sections = false let afl_instrument = false diff --git a/utils/config.generated.ml.in b/utils/config.generated.ml.in index af25f2ca1d..3808089004 100644 --- a/utils/config.generated.ml.in +++ b/utils/config.generated.ml.in @@ -78,7 +78,6 @@ let flambda = @flambda@ let with_flambda_invariants = @flambda_invariants@ let with_cmm_invariants = @cmm_invariants@ let windows_unicode = @windows_unicode@ != 0 -let force_instrumented_runtime = @force_instrumented_runtime@ let flat_float_array = @flat_float_array@ diff --git a/utils/config.mli b/utils/config.mli index c4333c055c..fb0d733509 100644 --- a/utils/config.mli +++ b/utils/config.mli @@ -239,10 +239,6 @@ val supports_shared_libraries: bool @since 4.08 *) -val force_instrumented_runtime: bool -(** Force runtime-variant to be "i" at configure time - when ocamlc or ocamlopt link executables. *) - val afl_instrument : bool (** Whether afl-fuzz instrumentation is generated by default *) |