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/Makefile | |
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/Makefile')
-rw-r--r-- | runtime/Makefile | 2 |
1 files changed, 1 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) |