Skip to content
Snippets Groups Projects
Commit 178f8de5 authored by Patrick Baudin's avatar Patrick Baudin
Browse files

[Distribution] adds share/META.frama-c

parent 8ad5c287
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Makefile
+ 1
− 0
View file @ 178f8de5
...@@ -275,6 +275,7 @@ DISTRIB_FILES:=\ ...@@ -275,6 +275,7 @@ DISTRIB_FILES:=\
share/Makefile.plugin.template share/Makefile.dynamic \ share/Makefile.plugin.template share/Makefile.dynamic \
share/Makefile.dynamic_config.external \ share/Makefile.dynamic_config.external \
share/Makefile.dynamic_config.internal \ share/Makefile.dynamic_config.internal \
share/META.frama-c \
$(filter-out src/kernel_internals/runtime/config.ml, \ $(filter-out src/kernel_internals/runtime/config.ml, \
$(wildcard src/kernel_internals/runtime/*.ml*)) \ $(wildcard src/kernel_internals/runtime/*.ml*)) \
$(wildcard src/kernel_services/abstract_interp/*.ml*) \ $(wildcard src/kernel_services/abstract_interp/*.ml*) \
......
headers/header_spec.txt
+ 1
− 0
View file @ 178f8de5
...@@ -142,6 +142,7 @@ share/Makefile.dynamic_config.external: CEA_LGPL ...@@ -142,6 +142,7 @@ share/Makefile.dynamic_config.external: CEA_LGPL
share/Makefile.dynamic_config.internal: CEA_LGPL share/Makefile.dynamic_config.internal: CEA_LGPL
share/Makefile.generic: CEA_LGPL share/Makefile.generic: CEA_LGPL
share/Makefile.plugin.template: CEA_LGPL share/Makefile.plugin.template: CEA_LGPL
share/META.frama-c: .ignore
share/builtin.h: CEA_LGPL share/builtin.h: CEA_LGPL
share/configure.ac: CEA_LGPL share/configure.ac: CEA_LGPL
share/emacs/acsl.el: ACSL_EL share/emacs/acsl.el: ACSL_EL
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment