diff options
Diffstat (limited to 'test')
-rw-r--r-- | test/clightgen/Makefile | 2 | ||||
-rw-r--r-- | test/clightgen/annotations.c | 2 |
2 files changed, 4 insertions, 0 deletions
diff --git a/test/clightgen/Makefile b/test/clightgen/Makefile index 0607e2fa..bf4a044b 100644 --- a/test/clightgen/Makefile +++ b/test/clightgen/Makefile @@ -22,6 +22,8 @@ SRC+=aes.c almabench.c binarytrees.c bisect.c chomp.c fannkuch.c fft.c \ SRC+=arrays.c eval.c gmllexer.c gmlparser.c intersect.c light.c main.c \ matrix.c memory.c object.c render.c simplify.c surface.c vector.c +CFLAGS=-DSYSTEM_$(SYSTEM) + all: $(SRC:.c=.vo) test: diff --git a/test/clightgen/annotations.c b/test/clightgen/annotations.c index 56fc1700..e91c7fbc 100644 --- a/test/clightgen/annotations.c +++ b/test/clightgen/annotations.c @@ -1,6 +1,8 @@ int f(int x, long y) { +#if !defined(SYSTEM_macosx) && !defined(SYSTEM_cygwin) __builtin_ais_annot("x is %e1, y is %e2", x, y); +#endif __builtin_annot("x is %1, y is %2", x, y); return __builtin_annot_intval("x was here: %1", x); } |