diff options
Diffstat (limited to 'runtime/Makefile')
| -rw-r--r-- | runtime/Makefile | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/runtime/Makefile b/runtime/Makefile index ef8e21b..c128ba2 100644 --- a/runtime/Makefile +++ b/runtime/Makefile @@ -1,11 +1,11 @@ include ../Makefile.config CFLAGS=-O1 -g -Wall -OBJS=stdio.o +INCLUDES= +OBJS= LIB=libcompcert.a -INCLUDES=stdio.h -ifeq ($(strip $(NEED_STDLIB_WRAPPER)),true) +ifeq ($(strip $(HAS_RUNTIME_LIB)),true) all: $(LIB) $(INCLUDES) else all: @@ -18,7 +18,7 @@ $(LIB): $(OBJS) clean: rm -f *.o $(LIB) -ifeq ($(strip $(NEED_STDLIB_WRAPPER)),true) +ifeq ($(strip $(HAS_RUNTIME_LIB)),true) install: install -d $(LIBDIR) install -c $(LIB) $(INCLUDES) $(LIBDIR) |