Use stdlib.c and pthread.c stubs only when library activated

goblint · Apr 3, 2023 · 9c17fdc · 9c17fdc
1 parent 818a06c
commit 9c17fdc
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/src/maingoblint.ml b/src/maingoblint.ml
@@ -362,7 +362,11 @@ let preprocess_files () =
 
   let extra_files = ref [] in
 
-  extra_files := find_custom_include (Fpath.v "stdlib.c") :: find_custom_include (Fpath.v "pthread.c") :: !extra_files;
+  if List.mem "c" (get_string_list "lib.activated") then
+    extra_files := find_custom_include (Fpath.v "stdlib.c") :: !extra_files;
+
+  if List.mem "pthread" (get_string_list "lib.activated") then
+    extra_files := find_custom_include (Fpath.v "pthread.c") :: !extra_files;
 
   if List.mem "sv-comp" (get_string_list "lib.activated") then
     extra_files := find_custom_include (Fpath.v "sv-comp.c") :: !extra_files;