[Configure] Removes Fc_config.lablgtk

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) ;

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)

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 *)