mirror of
https://github.com/crosstool-ng/crosstool-ng.git
synced 2024-12-23 22:52:23 +00:00
0fe21f8db8
Also, remove a couple of config options that dealt with package versions that have been since retired. Signed-off-by: Alexey Neyman <stilor@att.net>
14 lines
399 B
Plaintext
14 lines
399 B
Plaintext
# ISL options
|
|
# CLooG 0.18.4 requires ISL 0.12 or newer
|
|
# CLooG 0.18.1 requires ISL 0.12 or older
|
|
## select CLOOG_REQUIRE_0_18_1_or_older if CLOOG_NEEDED && !ISL_0_12_or_later
|
|
## select CLOOG_REQUIRE_0_18_4_or_later if CLOOG_NEEDED && !ISL_0_14_or_older
|
|
|
|
config ISL_NEEDS_WITH_GMP
|
|
bool
|
|
default y if !ISL_0_12_or_later
|
|
|
|
config ISL_HAS_WITH_PIPLIB
|
|
bool
|
|
default y if !ISL_0_14_or_later
|