diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-04-12 18:16:05 +0200 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-04-12 18:16:05 +0200 |
| commit | 9a81ad0f93540acc6a27dd54d56bf42e1bbcca83 (patch) | |
| tree | 9982386d5518da32bbbb147dc256880b1e4b15ac /runtime | |
| parent | 5cc18b7860630f822ada1e56ae73c6d96b372361 (diff) | |
| download | compcert-kvx-9a81ad0f93540acc6a27dd54d56bf42e1bbcca83.tar.gz compcert-kvx-9a81ad0f93540acc6a27dd54d56bf42e1bbcca83.zip | |
workaround for non-standard C isfinite macro in math.h
Diffstat (limited to 'runtime')
| -rw-r--r-- | runtime/Makefile | 2 | ||||
| -rw-r--r-- | runtime/include/math.h | 3 |
2 files changed, 4 insertions, 1 deletions
diff --git a/runtime/Makefile b/runtime/Makefile index 174a0a41..1258d941 100644 --- a/runtime/Makefile +++ b/runtime/Makefile @@ -42,7 +42,7 @@ INCLUDES=include/float.h include/stdarg.h include/stdbool.h \ include/stddef.h include/varargs.h include/stdalign.h \ include/stdnoreturn.h ifeq ($(ARCH),mppa_k1c) -INCLUDES += include/ccomp_k1c_fixes.h +INCLUDES += include/ccomp_k1c_fixes.h include/math.h endif VPATH=$(ARCH) diff --git a/runtime/include/math.h b/runtime/include/math.h new file mode 100644 index 00000000..a61d8c17 --- /dev/null +++ b/runtime/include/math.h @@ -0,0 +1,3 @@ +#define isfinite(__y) (fpclassify(__y) >= FP_ZERO) + +#include_next <math.h> |