From 0e0ecc8bcf27d34c6564dcf990e1c7ef8c5acb4c Mon Sep 17 00:00:00 2001 From: Bryan Hundven Date: Sun, 22 Nov 2015 19:13:53 -0800 Subject: PPL: Remove support for PPL and CLooG/PPL Now that versions of gcc that required PPL are no longer supported ( >= gcc-4.5.x AND <= gcc-4.7.x ) ...we no longer require PPL or CLooG/PPL. This commit: * Removes PPL * Removes CLooG/PPL * Updates the documentation * Updates build script for CLooG and GCC * Removes PPL and CLooG/PPL from scripts/addToolVersion.sh and scripts/showSamples.sh * Adds ISL to scripts/addToolVersion.sh and scripts/showSamples.sh I know that sounds like a lot for one commit, but it was all kind of inter-tangled. Signed-off-by: Bryan Hundven --- config/companion_libs/cloog.in | 10 ---------- 1 file changed, 10 deletions(-) (limited to 'config/companion_libs/cloog.in') diff --git a/config/companion_libs/cloog.in b/config/companion_libs/cloog.in index 6fb522ad..dcac30d8 100644 --- a/config/companion_libs/cloog.in +++ b/config/companion_libs/cloog.in @@ -26,15 +26,6 @@ config CLOOG_V_0_18_0 endif # ISL -if PPL - -config CLOOG_V_0_15_11 - bool - prompt "0.15.11" - select CLOOG_NEEDS_AUTORECONF - -endif # PPL - endchoice config CLOOG_VERSION @@ -44,7 +35,6 @@ config CLOOG_VERSION default "0.18.4" if CLOOG_V_0_18_4 default "0.18.1" if CLOOG_V_0_18_1 default "0.18.0" if CLOOG_V_0_18_0 - default "0.15.11" if CLOOG_V_0_15_11 config CLOOG_0_18_4_or_later bool -- cgit v1.2.3