From 73faec565beb0697e059c8ce60bd0018432c636e Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Fri, 13 Mar 2020 10:15:23 +0100
Subject: [PATCH] [kernel-compat] update against new file name fc_config.ml
---
frama_Clang_option.ml | 5 ++---
1 file changed, 2 insertions(+), 3 deletions(-)
diff --git a/frama_Clang_option.ml b/frama_Clang_option.ml
index 4d5b6cb0..fe839255 100644
--- a/frama_Clang_option.ml
+++ b/frama_Clang_option.ml
@@ -20,7 +20,6 @@
(* *)
(**************************************************************************)
-module FC_config = Config
include
Plugin.Register(
struct
@@ -117,7 +116,7 @@ let () =
module C_std_headers =
String(
struct
- let default = FC_config.datadir ^ "/libc"
+ let default = Fc_config.datadir ^ "/libc"
let option_name = "-cxx-cstdlib-path"
let help = "<path> where to look for C standard headers \
(default: Frama-C libc in " ^ default ^ ")"
@@ -127,7 +126,7 @@ module C_std_headers =
module Cxx_std_headers =
String(
struct
- let default = FC_config.datadir ^ "/frama-clang/libc++"
+ let default = Fc_config.datadir ^ "/frama-clang/libc++"
let option_name = "-cxx-c++stdlib-path"
let help = "<path> where to look for C++ standard headers \
(default: FClang libc++ in " ^ default ^ ")"
--
GitLab