summaryrefslogtreecommitdiff
path: root/TODO
diff options
context:
space:
mode:
authorvlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2016-03-02 15:52:47 +0000
committervlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2016-03-02 15:52:47 +0000
commit75813c4888f1cd7c08b2cb83e0d86caffe8b4a91 (patch)
treea92441e20e53ec2f548e0bb872b8f7350f61b9f0 /TODO
parenta0d6b645176301a4b6dcdfb797167be0811af749 (diff)
downloadmpfr-75813c4888f1cd7c08b2cb83e0d86caffe8b4a91.tar.gz
[TODO] Update ICC detection.
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@10186 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'TODO')
-rw-r--r--TODO9
1 files changed, 7 insertions, 2 deletions
diff --git a/TODO b/TODO
index 51f5ab6ed..5755af3a3 100644
--- a/TODO
+++ b/TODO
@@ -20,7 +20,7 @@ http://www.gnu.org/licenses/ or write to the Free Software Foundation, Inc.,
Table of contents:
1. Documentation
-2. Installation
+2. Compiler/library detection
3. Changes in existing functions
4. New functions to implement
5. Efficiency
@@ -34,7 +34,7 @@ Table of contents:
- add a description of the algorithms used and a proof of correctness
##############################################################################
-2. Installation
+2. Compiler/library detection
##############################################################################
- if we want to distinguish GMP and MPIR, we can check at configure time
@@ -47,6 +47,11 @@ Table of contents:
There is also a library symbol mpir_version, which should match VERSION, set
by configure, for example 0.9.0.
+- update ICC detection.
+ * Use only __INTEL_COMPILER instead of the obsolete macro __ICC?
+ * Possibly enable some features with ICC. For instance, removing
+ "&& !defined(__ICC)" from src/mpfr.h works with ICC 15.0.0 20140723.
+
##############################################################################
3. Changes in existing functions
##############################################################################