diff options
author | Dmitry Eremin-Solenikov <dmitry.ereminsolenikov@linaro.org> | 2017-11-21 22:09:38 +0300 |
---|---|---|
committer | Maxim Uvarov <maxim.uvarov@linaro.org> | 2018-01-18 22:07:22 +0300 |
commit | 60feb6af342d581f798308563b975974986d9a3c (patch) | |
tree | dcd42281361b195b750e8fbbeba0d59caa19edd4 /configure.ac | |
parent | 503bc79ee960ea4caa72d639cbc5a42c7524a790 (diff) |
build, linux-gen: provide optional dir for arch includes
To enable multi-arch installs, provide a way to separate arch-specific
files from arch-independent ones.
Signed-off-by: Dmitry Eremin-Solenikov <dmitry.ereminsolenikov@linaro.org>
Reviewed-by: Bill Fischofer <bill.fischofer@linaro.org>
Signed-off-by: Maxim Uvarov <maxim.uvarov@linaro.org>
Diffstat (limited to 'configure.ac')
-rw-r--r-- | configure.ac | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/configure.ac b/configure.ac index cc8eee81e..31e798b01 100644 --- a/configure.ac +++ b/configure.ac @@ -102,6 +102,16 @@ AX_VALGRIND_DFLT([drd], [off]) AX_VALGRIND_CHECK ########################################################################## +# Architecture-specific dir +########################################################################## +AC_ARG_WITH([archincludedir], + [AS_HELP_STRING([--with-archincludedir=DIR], + [directory to hold arch-specific headers (${includedir})])], + [archincludedir=$with_archincludedir], + [archincludedir="${includedir}"]) +AC_SUBST([archincludedir]) + +########################################################################## # Which architecture optimizations will we use ########################################################################## AS_CASE([$host], |