diff options
Diffstat (limited to 'runtime/Makefile')
-rw-r--r-- | runtime/Makefile | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/runtime/Makefile b/runtime/Makefile new file mode 100644 index 00000000..c45c9fb8 --- /dev/null +++ b/runtime/Makefile @@ -0,0 +1,13 @@ +CFLAGS=-arch ppc -O1 -g -Wall +#CFLAGS=-O1 -g -Wall +OBJS=stdio.o calloc.o +LIB=libcompcert.a + +$(LIB): $(OBJS) + rm -f $(LIB) + ar rcs $(LIB) $(OBJS) + +stdio.o: stdio.h + +clean: + rm -f *.o $(LIB) |