Module: ppl/ppl Branch: master Commit: ca9227e0a5828b6653ae4ca7cf52b8c0840b871b URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ca9227e0a5828... Author: Roberto Bagnara <bagnara@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([