runtime/mppa_k1c/Makefile


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' $@