[PPL-devel] [GIT] ppl/ppl(master): Added missing macro definition.

[Roberto Bagnara]

Module: ppl/ppl
Branch: master
Commit: ca9227e0a5828b6653ae4ca7cf52b8c0840b871b
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ca9227e0a5828b6653ae4ca7cf52b8c0840b871b

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sun Feb 14 17:04:37 2016 +0100

Added missing macro definition.
Fixes violations of rule MP1.16-0-7 detected by ECLAIR.

---

 configure.ac |   12 ++++++++----
 1 files changed, 8 insertions(+), 4 deletions(-)

diff --git a/configure.ac b/configure.ac
index 5081714..5d350ef 100644
--- a/configure.ac
+++ b/configure.ac
@@ -84,21 +84,25 @@ AH_TOP([
 #ifndef PPL_ppl_config_h
 #define PPL_ppl_config_h 1
 
+/* Unique (nonzero) code for the IEEE 754 Half Precision
+   floating point format.  */
+#define PPL_FLOAT_IEEE754_HALF 1
+
 /* Unique (nonzero) code for the IEEE 754 Single Precision
    floating point format.  */
-#define PPL_FLOAT_IEEE754_SINGLE 1
+#define PPL_FLOAT_IEEE754_SINGLE 2
 
 /* Unique (nonzero) code for the IEEE 754 Double Precision
    floating point format.  */
-#define PPL_FLOAT_IEEE754_DOUBLE 2
+#define PPL_FLOAT_IEEE754_DOUBLE 3
 
 /* Unique (nonzero) code for the IEEE 754 Quad Precision
    floating point format.  */
-#define PPL_FLOAT_IEEE754_QUAD 3
+#define PPL_FLOAT_IEEE754_QUAD 4
 
 /* Unique (nonzero) code for the Intel Double-Extended
    floating point format.  */
-#define PPL_FLOAT_INTEL_DOUBLE_EXTENDED 4
+#define PPL_FLOAT_INTEL_DOUBLE_EXTENDED 5
 ])
 
 AH_BOTTOM([