From c845a2d943aebce16da9aab8fa9b4a76df685429 Mon Sep 17 00:00:00 2001
From: Sebastian Sumpf <sebastian.sumpf@genode-labs.com>
Date: Wed, 30 Oct 2019 12:36:32 +0100
Subject: [PATCH] libprots: libgcov ARMv8 support

issue #3537
---
 repos/libports/lib/mk/libgcov.mk | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/repos/libports/lib/mk/libgcov.mk b/repos/libports/lib/mk/libgcov.mk
index c8cc89bd2..13ca536bb 100644
--- a/repos/libports/lib/mk/libgcov.mk
+++ b/repos/libports/lib/mk/libgcov.mk
@@ -50,6 +50,11 @@ ifeq ($(filter-out $(SPECS),arm),)
 	           $(GCOV_PORT_DIR)/include/arm/libgcc
 endif
 
+ifeq ($(filter-out $(SPECS),arm_64),)
+	INC_DIR += $(GCOV_PORT_DIR)/include/arm_64/gcc \
+	           $(GCOV_PORT_DIR)/include/arm_64/libgcc
+endif
+
 ifeq ($(filter-out $(SPECS),x86_32),)
 	INC_DIR += $(GCOV_PORT_DIR)/include/x86_32/gcc \
 	           $(GCOV_PORT_DIR)/include/x86_32/libgcc