From c285a7eaf0740e0d3d83cd0cdf6ca87f81c11431 Mon Sep 17 00:00:00 2001 From: Mart Lubbers Date: Wed, 23 Mar 2016 11:07:44 +0100 Subject: [PATCH] make --- modelchecker/.gitignore | 1 + modelchecker/Makefile | 13 ++++++++----- modelchecker/sokoban.c | 0 3 files changed, 9 insertions(+), 5 deletions(-) create mode 100644 modelchecker/sokoban.c diff --git a/modelchecker/.gitignore b/modelchecker/.gitignore index 84abf5a..6f3c928 100644 --- a/modelchecker/.gitignore +++ b/modelchecker/.gitignore @@ -1,2 +1,3 @@ main sylvan +*.o diff --git a/modelchecker/Makefile b/modelchecker/Makefile index ab740f9..83816ec 100644 --- a/modelchecker/Makefile +++ b/modelchecker/Makefile @@ -1,9 +1,12 @@ -PROGRAM:=main -OBJS:= -CFLAGS:=-O3 -Wextra -Wall -Werror -fno-strict-aliasing -std=gnu11 \ +PROGRAM=main +OBJS=sokoban.o +CFLAGS=-O3 -Wextra -Wall -Werror -fno-strict-aliasing -std=gnu11 \ -I./sylvan/src -all: $(PROGRAM) +all: main + +main: main.c $(OBJS) + $(CC) $(CFLAGS) $< -o $@ clean: - $(RM) -v $(PROGRAM) + $(RM) -v main *.o diff --git a/modelchecker/sokoban.c b/modelchecker/sokoban.c new file mode 100644 index 0000000..e69de29 -- 2.20.1