Makefile « mppa_k1c « runtime - compcert-kvx - Unnamed repository; edit this file 'description' to name the repository.

about summary refs log tree commit diff stats

path: root/runtime/mppa_k1c/Makefile

blob: d15928b8e7356282465d2e38c75139574d71d26b (plain)

CFILES=$(wildcard *.c)
SFILES=$(subst .c,.s,$(CFILES))

all: $(SFILES)

.SECONDARY:
%.S: %.c
	ccomp -O2 -S $< -o $@
	sed -i -e 's/i64_/__compcert_i64_/g' $@