diff options
Diffstat (limited to 'runtime/mppa_k1c/Makefile')
-rw-r--r-- | runtime/mppa_k1c/Makefile | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/runtime/mppa_k1c/Makefile b/runtime/mppa_k1c/Makefile index d15928b8..e10c5086 100644 --- a/runtime/mppa_k1c/Makefile +++ b/runtime/mppa_k1c/Makefile @@ -1,9 +1,14 @@ +CCOMP ?= ccomp +CFLAGS ?= -O2 -D__K1_TINYK1__ + CFILES=$(wildcard *.c) SFILES=$(subst .c,.s,$(CFILES)) +CCOMPPATH=$(shell which $(CCOMP)) + all: $(SFILES) .SECONDARY: -%.S: %.c - ccomp -O2 -S $< -o $@ +%.s: %.c $(CCOMPPATH) + $(CCOMP) $(CFLAGS) -S $< -o $@ sed -i -e 's/i64_/__compcert_i64_/g' $@ |