From c0320421fcf0cdd34637c9fbb68208e053e86573 Mon Sep 17 00:00:00 2001
From: Patrick Baudin <patrick.baudin@cea.fr>
Date: Mon, 20 Jun 2022 11:41:20 +0200
Subject: [PATCH] Clean share/Makefile.common about FRAMAC_SRC_DIRS

---
 share/Makefile.common | 25 -------------------------
 1 file changed, 25 deletions(-)

diff --git a/share/Makefile.common b/share/Makefile.common
index 79231fbcff8..083461f2595 100644
--- a/share/Makefile.common
+++ b/share/Makefile.common
@@ -28,31 +28,6 @@
 
 include $(MAKECONFIG_DIR)/Makefile.config
 
-#######################
-# Working directories #
-#######################
-
-# Frama-C kernel directories
-FRAMAC_SRC_DIRS= plugins/pdg_types plugins/value_types \
-	       libraries/stdlib libraries/utils \
-	       libraries/project libraries/datatype \
-	       kernel_internals/parsing \
-	       kernel_internals/typing \
-	       kernel_internals/runtime \
-	       kernel_services/parsetree \
-	       kernel_services/ast_data \
-	       kernel_services/ast_queries \
-	       kernel_services/ast_printing \
-	       kernel_services/ast_building \
-	       kernel_services/cmdline_parameters \
-	       kernel_services/plugin_entry_points \
-	       kernel_services/abstract_interp \
-	       kernel_services/visitors \
-	       kernel_services/analysis \
-	       kernel_services/ast_transformations \
-	       plugins/gui
-FRAMAC_SRC_DIRS:= $(addprefix src/, $(FRAMAC_SRC_DIRS))
-
 ##################
 # Flags          #
 ##################
-- 
GitLab