From f52db46f2bf4e3e83aed70ddea27b0e23cdf4d44 Mon Sep 17 00:00:00 2001
From: Patrick Baudin <patrick.baudin@cea.fr>
Date: Mon, 4 Jul 2022 09:24:50 +0200
Subject: [PATCH] [Configure] Removes Fc_config.lablgtk
---
src/kernel_internals/runtime/dump_config.ml | 4 ++--
src/kernel_internals/runtime/fc_config.ml.in | 2 --
src/kernel_internals/runtime/fc_config.mli | 4 ----
3 files changed, 2 insertions(+), 8 deletions(-)
diff --git a/src/kernel_internals/runtime/dump_config.ml b/src/kernel_internals/runtime/dump_config.ml
index 36a0d0fea55..5dce2b63232 100644
--- a/src/kernel_internals/runtime/dump_config.ml
+++ b/src/kernel_internals/runtime/dump_config.ml
@@ -51,8 +51,8 @@ let dump_to_json () =
"major_version", `Int Fc_config.major_version ;
"minor_version", `Int Fc_config.minor_version ;
"is_gui", `Bool Fc_config.is_gui ;
- "lablgtk", `String Fc_config.lablgtk ;
- (* "ocamlc", `String Fc_config.ocamlc ;
+ (* "lablgtk", `String Fc_config.lablgtk ;
+ * "ocamlc", `String Fc_config.ocamlc ;
* "ocamlopt", `String Fc_config.ocamlopt ; *)
"ocaml_wflags", `String Fc_config.ocaml_wflags ;
"datadir", `String (Fc_config.datadir:>string) ;
diff --git a/src/kernel_internals/runtime/fc_config.ml.in b/src/kernel_internals/runtime/fc_config.ml.in
index f24f0a68b40..30d792b08e0 100644
--- a/src/kernel_internals/runtime/fc_config.ml.in
+++ b/src/kernel_internals/runtime/fc_config.ml.in
@@ -32,8 +32,6 @@ let minor_version = @MINOR_VERSION@
let is_gui = Frama_c_very_first.Gui_init.is_gui
-let lablgtk = "@LABLGTK@"
-
let ocaml_wflags = "@WARNINGS@"
let datadirs = (List.map Filepath.Normalized.of_string Config_data.Sites.share)
let datadir = List.hd (List.rev datadirs)
diff --git a/src/kernel_internals/runtime/fc_config.mli b/src/kernel_internals/runtime/fc_config.mli
index 5f6af30299f..1d442453ffb 100644
--- a/src/kernel_internals/runtime/fc_config.mli
+++ b/src/kernel_internals/runtime/fc_config.mli
@@ -48,10 +48,6 @@ val is_gui: bool
@since frama-c-trunk not anymore a reference
*)
-val lablgtk: string
-(** Name of the lablgtk version against which Frama-C has been compiled.
- blank if only command-line mode is available. *)
-
val ocaml_wflags: string
(** Warning flags used when compiling Frama-C.
@since Chlorine-20180501 *)
--
GitLab