diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 7 |
1 files changed, 6 insertions, 1 deletions
@@ -19,7 +19,7 @@ HEADERS := $(COMMON_DIR)/common.h $(COMMON_DIR)/gluten.h \ CFLAGS += -DTMP_DATA_SIZE=1000 CFLAGS += -Wall -Wextra -pedantic -std=c99 -I$(COMMON_DIR) -g -all: cooker eater seitan +all: cooker eater seitan demo .PHONY: cooker cooker: @@ -37,12 +37,17 @@ seitan: $(SRCS) $(HEADERS) debug: $(MAKE) -C debug +.PHONY: demo +demo: + $(MAKE) -C demo + .PHONY: clean clean: rm -f $(BIN) $(MAKE) -C cooker clean $(MAKE) -C eater clean $(MAKE) -C debug clean + $(MAKE) -C demo clean numbers.h: ./scripts/nr_syscalls.sh |