From ad437bff8f55c1aa2678b5701763b1cc3b843e61 Mon Sep 17 00:00:00 2001
From: Veselin Dobrev <v-dobrev@users.noreply.github.com>
Date: Tue, 25 Aug 2020 17:00:49 -0700
Subject: [PATCH] [GnuTLS] Add gnutls-specific headers property. (#7259)

---
 var/spack/repos/builtin/packages/gnutls/package.py | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/var/spack/repos/builtin/packages/gnutls/package.py b/var/spack/repos/builtin/packages/gnutls/package.py
index 4d56fab7fe4..e258cc5ad5a 100644
--- a/var/spack/repos/builtin/packages/gnutls/package.py
+++ b/var/spack/repos/builtin/packages/gnutls/package.py
@@ -90,3 +90,9 @@ def configure_args(self):
             ])
 
         return args
+
+    @property
+    def headers(self):
+        headers = find_all_headers(self.prefix.include)
+        headers.directories = self.prefix.include
+        return headers