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

about summary refs log tree commit diff stats

path: root/test/lib/Makefile

blob: 03ba69eb6067dfe6b4acc1e535c503dbd60fce5f (plain)

CFLAGS=-arch ppc -O1 -g -Wall
OBJS=compcert_stdio.o
LIB=libcompcert.a

$(LIB): $(OBJS)
	ar rcs $(LIB) $(OBJS)

compcert_stdio.o: compcert_stdio.h