diff options
author | Alexey Neyman <stilor@att.net> | 2017-07-05 02:19:42 (GMT) |
---|---|---|
committer | Alexey Neyman <stilor@att.net> | 2017-07-08 17:57:56 (GMT) |
commit | ff0a1a3da605ca157e3f3d0ed2d8b9acb30c2f69 (patch) | |
tree | 3866631ee0fa3fc650fd71de948f9a8b32bfc359 /config/companion_libs/isl.in | |
parent | 50a387afa7abd24255ef865dada5d324265e1250 (diff) |
Switch gen-kconfig to new framework
Also:
- Move companion_* to comp_* to match the kconfig symbols
- Replace bootstrap with former gen-versions.sh
- Fold *.in.2 into their respective first parts; this moves common
options to the end - if it is undesirable, inclusion of *.in
can be moved where *.in.2 used to be (but that will also move
version selection after common options).
- Retire addToolVersion.sh (may later replace with a more
comprehensive script that tries to download the added tarballs,
copy the patches and try to apply them, and create a version.desc).
Signed-off-by: Alexey Neyman <stilor@att.net>
Diffstat (limited to 'config/companion_libs/isl.in')
-rw-r--r-- | config/companion_libs/isl.in | 26 |
1 files changed, 0 insertions, 26 deletions
diff --git a/config/companion_libs/isl.in b/config/companion_libs/isl.in deleted file mode 100644 index 9c74078..0000000 --- a/config/companion_libs/isl.in +++ /dev/null @@ -1,26 +0,0 @@ -# ISL options -# FIXME these currently have no effect -## select CLOOG_REQUIRE_0_18_1_or_older if !ISL_0_12_or_later -## select CLOOG_REQUIRE_0_18_4_or_later if !ISL_0_14_or_older - -source "config/versions/isl.in" - -# FIXME should be auto-generated once companion libs are using gen-kconfig (and hence, ## syntax) -config ISL_CLOOG_auto_select_1 - def_bool y - depends on CLOOG_NEEDED && !ISL_0_12_or_later - select CLOOG_REQUIRE_0_18_1_or_older - -# FIXME should be auto-generated once companion libs are using gen-kconfig (and hence, ## syntax) -config ISL_CLOOG_auto_select_2 - def_bool y - depends on CLOOG_NEEDED && !ISL_0_13_or_older - select CLOOG_REQUIRE_0_18_4_or_later - -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 |