diff options
author | 2017-11-30 07:54:11 (GMT) | |
---|---|---|
committer | 2017-11-30 07:54:11 (GMT) | |
commit | e832b9b220f90b11b893e2815ceb37ec2b708683 (patch) | |
tree | 696f267410565b7f20b9b115bdd4d71881cadfed /config/comp_libs/cloog.in | |
parent | 1b8d0d2138a7292b6ad546e1c3dcfd1ed495c02f (diff) | |
parent | 9fdb93cce0a05e2562522153fe5deba8a9e9ae54 (diff) |
Merge pull request #869 from stilor/show-samples
Support custom packages in show-config
Diffstat (limited to 'config/comp_libs/cloog.in')
-rw-r--r-- | config/comp_libs/cloog.in | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/config/comp_libs/cloog.in b/config/comp_libs/cloog.in index b894de9..54cb76b 100644 --- a/config/comp_libs/cloog.in +++ b/config/comp_libs/cloog.in @@ -1,11 +1,8 @@ # CLooG options -## depends on OBSOLETE # CLooG 0.18.4 requires ISL 0.12 or newer # CLooG 0.18.1/0.18.0 requires ISL 0.12 or older -source "config/versions/cloog.in" - config CLOOG_HAS_WITH_GMP_ISL_OSL bool default y if CLOOG_0_18_or_later |