diff options
-rw-r--r-- | Makefile | 4 | ||||
-rw-r--r-- | runtime/Makefile | 4 |
2 files changed, 6 insertions, 2 deletions
@@ -122,7 +122,9 @@ all: $(MAKE) proof $(MAKE) extraction $(MAKE) ccomp +ifeq ($(HAS_RUNTIME_LIB),true) $(MAKE) runtime +endif ifeq ($(CCHECKLINK),true) $(MAKE) cchecklink endif @@ -225,7 +227,9 @@ install: ifeq ($(CCHECKLINK),true) install ./cchecklink $(BINDIR) endif +ifeq ($(HAS_RUNTIME_LIB),true) $(MAKE) -C runtime install +endif clean: rm -f $(patsubst %, %/*.vo, $(DIRS)) diff --git a/runtime/Makefile b/runtime/Makefile index cd4e3018..81df4ea7 100644 --- a/runtime/Makefile +++ b/runtime/Makefile @@ -14,10 +14,10 @@ $(LIB): $(OBJS) ar rcs $(LIB) $(OBJS) %.o: $(ARCH)/%.s - $(CASMRUNTIME) $^ + $(CASMRUNTIME) -o $@ $^ %.o: $(ARCH)/%.S - $(CASMRUNTIME) -DVARIANT_$(VARIANT) -DSYS_$(SYSTEM) $^ + $(CASMRUNTIME) -DVARIANT_$(VARIANT) -DSYS_$(SYSTEM) -o $@ $^ clean:: rm -f *.o $(LIB) |