From 178f8de5e13cf9ca057b4f75fa97be935c6e5647 Mon Sep 17 00:00:00 2001
From: Patrick Baudin <patrick.baudin@cea.fr>
Date: Thu, 28 Mar 2019 08:25:41 +0100
Subject: [PATCH] [Distribution] adds share/META.frama-c
---
Makefile | 1 +
headers/header_spec.txt | 1 +
2 files changed, 2 insertions(+)
diff --git a/Makefile b/Makefile
index c451aa21fec..f517edfe058 100644
--- a/Makefile
+++ b/Makefile
@@ -275,6 +275,7 @@ DISTRIB_FILES:=\
share/Makefile.plugin.template share/Makefile.dynamic \
share/Makefile.dynamic_config.external \
share/Makefile.dynamic_config.internal \
+ share/META.frama-c \
$(filter-out src/kernel_internals/runtime/config.ml, \
$(wildcard src/kernel_internals/runtime/*.ml*)) \
$(wildcard src/kernel_services/abstract_interp/*.ml*) \
diff --git a/headers/header_spec.txt b/headers/header_spec.txt
index 5960673ee93..8538850d61e 100644
--- a/headers/header_spec.txt
+++ b/headers/header_spec.txt
@@ -142,6 +142,7 @@ share/Makefile.dynamic_config.external: CEA_LGPL
share/Makefile.dynamic_config.internal: CEA_LGPL
share/Makefile.generic: CEA_LGPL
share/Makefile.plugin.template: CEA_LGPL
+share/META.frama-c: .ignore
share/builtin.h: CEA_LGPL
share/configure.ac: CEA_LGPL
share/emacs/acsl.el: ACSL_EL
--
GitLab