1 2 3 4 5 6 7 8 9 10 11 12 13 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 $(CCOMPPATH) $(CCOMP) $(CFLAGS) -S $< -o $@ sed -i -e 's/i64_/__compcert_i64_/g' $@