From 3637514e920a66144a04d5a17eafe436b366502c Mon Sep 17 00:00:00 2001
From: Simon Rose <simon.rose@ess.eu>
Date: Thu, 25 Nov 2021 16:57:34 +0100
Subject: [PATCH] Allow other header files to be installed

---
 require-ess/tools/driver.makefile | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/require-ess/tools/driver.makefile b/require-ess/tools/driver.makefile
index 6c972976..fb6bd690 100644
--- a/require-ess/tools/driver.makefile
+++ b/require-ess/tools/driver.makefile
@@ -742,7 +742,10 @@ debug::
 define install_subdirs
 $1_HDRS = $$(filter $1/%,$$(HDRS))
 INSTALL_HDRS += $$(addprefix $$(INSTALL_INCLUDE)/,$$($1_HDRS:$1/%=%))
-vpath %h ../$1
+vpath %.h ../$1
+vpath %.hpp ../$1
+vpath %.hh ../$1
+vpath %.hxx ../$1
 debug::
 	@echo "$1_HDRS = $$($1_HDRS)"
 endef
-- 
GitLab