From 50072a7021d832d5ce9f8cbb86236fc01be0018e Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Thu, 9 Jul 2020 10:23:59 +0200
Subject: [PATCH] fixes headers generation
---
Makefile | 4 ++--
Makefile.common | 2 +-
2 files changed, 3 insertions(+), 3 deletions(-)
diff --git a/Makefile b/Makefile
index d71afcee..28f2c262 100644
--- a/Makefile
+++ b/Makefile
@@ -54,7 +54,7 @@ PLUGIN_DISTRIBUTED:=no
PLUGIN_DISTRIB_EXTERNAL:=configure.ac configure Makefile Makefile.clang \
Makefile.common Makefile.config.in gen_ast.ml *.cpp *.h \
intermediate_format.ast DescentParse.template frama_Clang_config.ml.in \
-Doxyfile mainpage.dox README \
+Doxyfile mainpage.dox README.md \
$(addprefix share/libc++/,$(CXX_HEADERS))
include $(FRAMAC_SHARE)/Makefile.dynamic
@@ -122,7 +122,7 @@ distrib: clean
$(TAR) czf frama-clang-$(FCLANG_VERSION).tar.gz frama-clang-$(FCLANG_VERSION)
$(RM) -r frama-clang-$(FCLANG_VERSION)
-NOHEADER=%configure README
+NOHEADER=$(addprefix $(Frama_Clang_DIR)/, configure README.md)
headers::
$(PRINT_MAKING) $@
diff --git a/Makefile.common b/Makefile.common
index cd2eb675..3682e9c2 100644
--- a/Makefile.common
+++ b/Makefile.common
@@ -70,5 +70,5 @@ FCLANG_DISTRIBUTED_FILES=\
gen_ast.ml intermediate_format.ast \
configure.ac configure \
Makefile Makefile.common Makefile.clang Makefile.config.in \
- README \
+ README.md \
$(addprefix share/libc++/, $(CXX_HEADERS)))
--
GitLab