Sebastian Sumpf b95dc611d6 gmp: use architecture specific 'config.h'
Generated a separate 'config.h' for arm, arm_64, x86_32, x86_64 for the
current version (6.1.2) of GMP. This became necessary because
configurations differ for each architecture.

'config.h' generaton on x86_64 host in'gmp-6.1.2' directory:

for x86_64 (native):
! configure

for x86_32:
! configure --host=x86-pc-linux-gnu --build=x86_64-pc-linux-gnu

for arm:
! configure --host=arm-linux-gnu --build=x86_64-pc-linux-gnu \
!  CC=/usr/local/gcc-linaro-arm/bin/arm-linux-gnueabi-gcc ABI=32

for arm_v8:
! configure --host=aarch64-linux-gnu --build=x86_64-pc-linux-gnu \
!  CC=/usr/local/gcc-linaro/bin/aarch64-linux-gnu-gcc ABI=64

issue #3598
2020-02-27 14:46:57 +01:00
..
2018-05-03 15:31:20 +02:00
2018-03-27 13:44:27 +02:00
2018-11-29 11:46:01 +01:00
2018-03-27 13:43:08 +02:00
2018-05-03 15:31:20 +02:00
2019-11-19 14:45:39 +01:00
2019-11-19 14:45:39 +01:00
2019-11-19 14:45:39 +01:00
2018-11-29 11:46:01 +01:00
2019-02-12 10:33:14 +01:00
2019-05-27 14:46:53 +02:00
2019-05-27 14:46:53 +02:00
2019-05-27 14:46:53 +02:00
2019-05-27 14:46:53 +02:00
2019-05-27 14:46:53 +02:00
2019-11-19 14:45:39 +01:00
2019-05-27 14:46:53 +02:00
2018-01-17 12:14:39 +01:00
2019-05-27 14:46:53 +02:00
2019-03-18 15:56:23 +01:00
2018-10-29 09:36:22 +01:00
2019-01-07 12:33:54 +01:00
2019-05-27 14:52:52 +02:00
2018-11-29 11:46:01 +01:00
2018-05-03 15:31:58 +02:00
2018-08-02 14:36:49 +02:00
2018-01-17 12:14:39 +01:00
2018-11-29 11:46:01 +01:00
2019-11-19 14:45:39 +01:00
2018-05-03 15:31:19 +02:00
2018-05-30 12:26:19 +02:00
2018-05-30 12:26:19 +02:00
2018-05-30 12:26:19 +02:00
2019-08-28 14:22:33 +02:00
2018-05-30 12:26:19 +02:00
2018-05-30 12:26:19 +02:00
2019-08-28 14:22:33 +02:00
2018-05-30 12:26:19 +02:00
2018-05-30 12:26:19 +02:00
2018-05-30 12:26:19 +02:00
2018-05-30 12:26:19 +02:00
2018-05-30 12:26:19 +02:00
2018-05-30 12:26:19 +02:00
2018-08-28 16:45:27 +02:00
2018-05-30 12:26:19 +02:00
2018-05-30 12:26:19 +02:00
2018-05-30 12:26:19 +02:00
2018-05-30 12:26:19 +02:00
2018-05-30 12:26:19 +02:00
2018-05-30 12:26:19 +02:00
2018-05-30 12:26:19 +02:00
2016-03-17 17:02:04 +01:00
2019-02-19 11:08:17 +01:00
2019-08-21 13:25:25 +02:00
2018-08-02 14:36:48 +02:00
2020-02-04 15:47:27 +01:00