diff options
author | Alexey Neyman <stilor@att.net> | 2017-07-02 20:12:53 (GMT) |
---|---|---|
committer | Alexey Neyman <stilor@att.net> | 2017-07-08 17:57:56 (GMT) |
commit | f63fbd356f4e80b2f597796039eb79a69121fb4d (patch) | |
tree | 28d8f105c0e00fd6697b48790c7f3f3ffa515436 /config/companion_libs | |
parent | d0ff020e23372a8eccd319c142c72d266c652f56 (diff) |
Allow for custom archive names
... and directories therein.
Signed-off-by: Alexey Neyman <stilor@att.net>
Diffstat (limited to 'config/companion_libs')
-rw-r--r-- | config/companion_libs/isl.in | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/config/companion_libs/isl.in b/config/companion_libs/isl.in index b617aa3..9c74078 100644 --- a/config/companion_libs/isl.in +++ b/config/companion_libs/isl.in @@ -16,7 +16,6 @@ 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 -# TBD 0.12.2 should allow both! config ISL_NEEDS_WITH_GMP bool |