scripts/makeheader: allow overriding the prefix path of the X11 headers

with X11_HEADERS_PREFIX

Signed-off-by: Sebastian Wick <sebastian@sebastianwick.net>
master
Sebastian Wick 2019-10-31 17:04:49 +01:00 committed by Ran Benita
parent 255200faa7
commit f0c0cb8074
1 changed files with 9 additions and 5 deletions

View File

@ -2,14 +2,18 @@
from __future__ import print_function from __future__ import print_function
import re import re
import os
prefix = os.environ.get('X11_HEADERS_PREFIX')
if not prefix:
prefix = '/usr'
HEADERS = [ HEADERS = [
'/usr/include/X11/keysymdef.h', prefix + '/include/X11/keysymdef.h',
'/usr/include/X11/XF86keysym.h', prefix + '/include/X11/XF86keysym.h',
'/usr/include/X11/Sunkeysym.h', prefix + '/include/X11/Sunkeysym.h',
'/usr/include/X11/DECkeysym.h', prefix + '/include/X11/DECkeysym.h',
'/usr/include/X11/HPkeysym.h', prefix + '/include/X11/HPkeysym.h',
] ]
print('''#ifndef _XKBCOMMON_KEYSYMS_H print('''#ifndef _XKBCOMMON_KEYSYMS_H