Mark Wielaard
b63007ed58
configure: Add new --enable-install-elfh option.
...
We explicitly test (with system-elf-libelf) that our include headers
work with the system elf.h header. But it might be helpful to install
the elf.h file for a private install. Our elf.h header really is just
a copy of the latest glibc elf.h. But it might be newer and include
more constants than the system installed elf.h.
Add a new configure option --enable-install-elfh to install elf.h.
But warn when it is enabled for the default /usr or /usr/local prefix
because it might clash with the glibc/system elf.h header in that case.
Signed-off-by: Mark Wielaard <mark@klomp.org >
2019-01-31 23:51:17 +01:00
..
2016-01-06 14:27:10 +01:00
2019-01-31 23:51:17 +01:00
2016-01-06 14:27:10 +01:00
2012-06-05 23:12:05 +02:00
2015-09-23 15:50:00 +02:00
2015-09-23 15:50:55 +02:00
2015-09-23 15:50:55 +02:00
2016-01-06 14:27:10 +01:00
2015-09-23 20:49:54 +02:00
2015-09-23 15:50:55 +02:00
2016-01-06 14:27:10 +01:00
2015-09-23 15:50:55 +02:00
2015-09-23 15:50:55 +02:00
2015-09-23 15:50:55 +02:00
2018-11-21 12:30:12 +01:00
2018-02-10 03:19:26 +01:00
2015-09-23 15:50:55 +02:00
2018-10-29 00:57:57 +01:00
2012-06-05 23:12:05 +02:00
2012-06-05 23:12:05 +02:00
2016-01-06 14:27:10 +01:00
2012-06-05 23:12:05 +02:00
2012-06-05 23:12:05 +02:00
2012-06-05 23:12:05 +02:00
2012-06-05 23:12:05 +02:00
2012-06-05 23:12:05 +02:00
2012-06-05 23:12:05 +02:00
2012-06-05 23:12:05 +02:00
2012-06-05 23:12:05 +02:00
2012-06-05 23:12:05 +02:00
2012-06-05 23:12:05 +02:00
2018-02-10 03:19:26 +01:00
2012-06-05 23:12:05 +02:00
2018-02-10 03:19:26 +01:00
2018-11-13 16:53:40 +01:00
2018-11-13 21:30:17 +01:00
2016-08-15 09:58:12 +02:00
2017-10-13 16:22:06 +02:00
2015-09-23 15:50:55 +02:00
2015-09-23 15:50:55 +02:00
2015-09-23 15:50:55 +02:00
2015-09-23 15:50:55 +02:00
2015-09-23 15:50:55 +02:00
2015-09-23 15:50:55 +02:00
2015-09-23 15:50:55 +02:00
2015-09-23 15:50:55 +02:00
2015-09-23 15:50:55 +02:00
2017-04-19 17:11:08 +02:00
2015-09-23 15:50:55 +02:00
2018-06-22 17:52:34 +02:00
2018-11-13 21:30:17 +01:00
2015-09-23 15:50:55 +02:00
2016-07-11 09:53:29 +02:00
2018-09-13 14:30:30 +02:00
2015-09-23 20:49:54 +02:00
2017-10-13 16:22:06 +02:00
2015-09-23 15:50:55 +02:00
2015-09-23 15:50:55 +02:00
2015-09-23 15:50:55 +02:00
2015-09-23 15:50:55 +02:00
2015-09-23 15:50:55 +02:00
2015-02-06 22:24:08 +01:00
2015-09-23 15:50:55 +02:00
2015-09-23 15:50:55 +02:00
2016-06-28 20:19:24 +02:00
2015-09-23 15:50:55 +02:00
2015-09-23 15:50:55 +02:00
2015-09-23 15:50:55 +02:00
2015-09-23 20:49:54 +02:00
2012-06-05 23:12:05 +02:00
2016-10-13 11:24:03 +02:00
2018-09-13 14:25:22 +02:00
2015-09-23 15:50:55 +02:00
2018-11-13 13:46:40 +01:00
2018-06-21 20:30:19 +02:00
2016-01-06 14:27:10 +01:00
2015-09-23 15:50:55 +02:00
2018-10-29 00:57:57 +01:00
2015-09-23 15:50:55 +02:00
2016-01-06 14:27:10 +01:00
2015-09-23 15:50:55 +02:00
2015-09-23 15:50:55 +02:00
2015-09-23 20:49:54 +02:00
2015-09-23 15:50:55 +02:00
2015-09-23 15:50:55 +02:00
2018-10-29 00:57:57 +01:00
2015-09-23 15:50:55 +02:00
2015-09-23 15:50:55 +02:00
2015-09-23 15:50:55 +02:00
2015-09-23 15:50:55 +02:00
2015-09-23 15:50:55 +02:00
2015-09-23 15:50:55 +02:00
2015-09-23 15:50:55 +02:00
2015-09-23 15:50:55 +02:00
2015-09-23 15:50:55 +02:00
2015-09-23 15:50:55 +02:00
2015-09-23 15:50:55 +02:00
2015-09-23 15:50:55 +02:00
2016-12-07 15:19:08 +01:00
2016-12-07 15:19:08 +01:00
2015-09-23 15:50:55 +02:00
2015-09-23 15:50:55 +02:00
2015-09-23 15:50:55 +02:00
2012-06-05 23:12:05 +02:00
2015-09-23 15:50:55 +02:00
2015-09-23 15:50:55 +02:00
2012-06-05 23:12:05 +02:00
2014-01-23 11:31:53 +01:00
2014-01-23 11:31:53 +01:00
2012-06-05 23:12:05 +02:00
2015-09-23 15:50:55 +02:00
2015-09-23 15:50:55 +02:00
2015-09-23 15:50:55 +02:00
2015-09-23 15:50:55 +02:00
2015-09-23 15:50:55 +02:00
2015-09-23 15:50:55 +02:00
2015-09-23 15:50:55 +02:00
2015-09-23 15:50:55 +02:00
2018-10-29 00:57:57 +01:00
2016-01-06 14:27:10 +01:00
2015-09-23 15:50:55 +02:00
2015-09-23 15:50:55 +02:00
2016-12-07 15:19:08 +01:00
2012-06-05 23:12:05 +02:00
2012-06-05 23:12:05 +02:00
2012-06-05 23:12:05 +02:00
2018-10-29 00:57:57 +01:00
2016-01-06 14:27:10 +01:00
2018-11-16 09:27:00 +01:00
2019-01-31 23:51:17 +01:00
2015-06-19 12:27:22 +02:00
2012-06-05 23:12:05 +02:00
2019-01-16 12:25:57 +01:00
2015-05-06 13:43:22 +02:00