From bf0a885d03b07e26434497dd95f006f57cdf55da Mon Sep 17 00:00:00 2001 From: Greta Yorsh Date: Fri, 6 Sep 2019 15:46:50 +0100 Subject: [PATCH] Install artifacts from asmcomp/debug --- Makefile | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/Makefile b/Makefile index 986d77e1a..06cf49b48 100644 --- a/Makefile +++ b/Makefile @@ -663,6 +663,9 @@ endif $(INSTALL_DATA) \ asmcomp/*.cmi \ "$(INSTALL_COMPLIBDIR)" + $(INSTALL_DATA) \ + asmcomp/debug/*.cmi \ + "$(INSTALL_COMPLIBDIR)" ifeq "$(INSTALL_SOURCE_ARTIFACTS)" "true" $(INSTALL_DATA) \ middle_end/*.cmt middle_end/*.cmti \ @@ -685,6 +688,10 @@ ifeq "$(INSTALL_SOURCE_ARTIFACTS)" "true" asmcomp/*.cmt asmcomp/*.cmti \ asmcomp/*.mli \ "$(INSTALL_COMPLIBDIR)" + $(INSTALL_DATA) \ + asmcomp/debug/*.cmt asmcomp/debug/*.cmti \ + asmcomp/debug/*.mli \ + "$(INSTALL_COMPLIBDIR)" endif $(INSTALL_DATA) \ compilerlibs/ocamloptcomp.cma $(OPTSTART) \ @@ -729,6 +736,7 @@ installoptopt: middle_end/closure/*.cmx \ middle_end/flambda/*.cmx \ middle_end/flambda/base_types/*.cmx \ + asmcomp/debug/*.cmx \ "$(INSTALL_COMPLIBDIR)" $(INSTALL_DATA) \ compilerlibs/ocamlcommon.cmxa compilerlibs/ocamlcommon.$(A) \ @@ -763,6 +771,7 @@ ifeq "$(INSTALL_SOURCE_ARTIFACTS)" "true" toplevel/*.ml middle_end/*.ml middle_end/closure/*.ml \ middle_end/flambda/*.ml middle_end/flambda/base_types/*.ml \ asmcomp/*.ml \ + asmcmp/debug/*.ml \ "$(INSTALL_COMPLIBDIR)" endif