Commit f0c0cb8074644d0c48258f39ea5566308527013f
2019-10-31T17:04:49
scripts/makeheader: allow overriding the prefix path of the X11 headers with X11_HEADERS_PREFIX Signed-off-by: Sebastian Wick <sebastian@sebastianwick.net>
diff --git a/scripts/makeheader b/scripts/makeheader
index 7b7a07e..cfdc684 100755
--- a/scripts/makeheader
+++ b/scripts/makeheader
@@ -2,14 +2,18 @@
from __future__ import print_function
import re
+import os
+prefix = os.environ.get('X11_HEADERS_PREFIX')
+if not prefix:
+ prefix = '/usr'
HEADERS = [
- '/usr/include/X11/keysymdef.h',
- '/usr/include/X11/XF86keysym.h',
- '/usr/include/X11/Sunkeysym.h',
- '/usr/include/X11/DECkeysym.h',
- '/usr/include/X11/HPkeysym.h',
+ prefix + '/include/X11/keysymdef.h',
+ prefix + '/include/X11/XF86keysym.h',
+ prefix + '/include/X11/Sunkeysym.h',
+ prefix + '/include/X11/DECkeysym.h',
+ prefix + '/include/X11/HPkeysym.h',
]
print('''#ifndef _XKBCOMMON_KEYSYMS_H