summaryrefslogtreecommitdiff
path: root/config/companion_libs/cloog.in
diff options
context:
space:
mode:
authorYann E. MORIN" <yann.morin.1998@anciens.enib.fr>2009-05-24 22:04:14 (GMT)
committerYann E. MORIN" <yann.morin.1998@anciens.enib.fr>2009-05-24 22:04:14 (GMT)
commit822fb9415e457383450c96d2432b76c8874ada49 (patch)
tree919fe3672d27140eaa610cc05990337575684b4e /config/companion_libs/cloog.in
parent6c5993d03892a8c541ec905426c6aab086fda2aa (diff)
/devel/gcc-4.4:
- add support for building CLooG -------- diffstat follows -------- /devel/gcc-4.4/scripts/build/companion_libs/cloog.sh | 60 60 0 0 ++++++++++++++++++++++++++++++++++ /devel/gcc-4.4/scripts/addToolVersion.sh | 3 2 1 0 +- /devel/gcc-4.4/scripts/crosstool-NG.sh.in | 3 3 0 0 ++ /devel/gcc-4.4/steps.mk | 1 1 0 0 + /devel/gcc-4.4/config/companion_libs/cloog.in | 32 32 0 0 ++++++++++++++++++ /devel/gcc-4.4/config/companion_libs.in | 1 1 0 0 + 6 files changed, 99 insertions(+), 1 deletion(-)
Diffstat (limited to 'config/companion_libs/cloog.in')
-rw-r--r--config/companion_libs/cloog.in32
1 files changed, 32 insertions, 0 deletions
diff --git a/config/companion_libs/cloog.in b/config/companion_libs/cloog.in
new file mode 100644
index 0000000..e67e79f
--- /dev/null
+++ b/config/companion_libs/cloog.in
@@ -0,0 +1,32 @@
+# CLooG options
+
+choice
+ bool
+ prompt "CLooG/ppl version"
+
+config CLOOG_V_0_15_3
+ bool
+ prompt "0.15.3"
+
+# CT_INSERT_VERSION_ABOVE
+# Don't remove above line!
+endchoice
+
+config CLOOG_VERSION
+ string
+ default "0.15.3" if CLOOG_V_0_15_3
+# CT_INSERT_VERSION_STRING_ABOVE
+# Don't remove above line!
+
+config CLOOG_CHECK
+ bool
+ prompt "Check CLooG (!!! README !!!)"
+ default n
+ help
+ It is highly recommended to check the newly built CLooG library.
+ Unfortunately, this is a very intensive task, and takes a loooong time.
+
+ Checking CLooG is thus disabled by default.
+
+ If you suspect that your CLooG library is the cause for incorrectly
+ generated code, you should answer 'Y' here.