From 2b8a4ce87082db18b3505818045ba2de1abf5a6a Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Tue, 2 Jun 2020 16:32:37 +0200
Subject: [PATCH] [parsing] use -nostdinc if in Frama-C stdlib mode
---
src/kernel_services/ast_queries/file.ml | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/kernel_services/ast_queries/file.ml b/src/kernel_services/ast_queries/file.ml
index 4d92135e2a6..676c7dbcf56 100644
--- a/src/kernel_services/ast_queries/file.ml
+++ b/src/kernel_services/ast_queries/file.ml
@@ -478,8 +478,8 @@ let parse_cabs = function
else []
in
let extra_args =
- if include_args = [] && define_args = [] then []
- else add_if_gnu "-nostdinc"
+ if Kernel.FramaCStdLib.get() then add_if_gnu "-nostdinc"
+ else []
in
let define_args = "__FRAMAC__" :: define_args in
(* Hypothesis: the preprocessor does support the arch-related
--
GitLab