From: Mart Lubbers Date: Wed, 23 Mar 2016 17:47:10 +0000 (+0100) Subject: some X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=f73ed5bf4ad9769bcf39e00d6896ae8e7085126a;p=mc1516pa.git some --- diff --git a/modelchecker/Makefile b/modelchecker/Makefile index 4f09f85..e527f22 100644 --- a/modelchecker/Makefile +++ b/modelchecker/Makefile @@ -1,10 +1,14 @@ PROGRAM:=main -OBJS:=sokoban.o +OBJS:=sokoban.o mc.o -CFLAGS=-O3 -Wextra -Wall -Werror -fno-strict-aliasing -std=gnu11 -CFLAGS+=-I./sylvan/src +CFLAGS=-O3 -Wextra -Wall -Werror -fno-strict-aliasing -std=gnu11 \ + -I./sylvan/src -all: $(OBJS) $(PROGRAM) +$(PROGRAM): $(PROGRAM).c $(OBJS) + $(CC) $(CFLAGS) -o $@ $< + +%.o: %.c %.h + $(CC) $(CFLAGS) -c -o $@ $< clean: $(RM) -v $(PROGRAM) $(OBJS) diff --git a/modelchecker/mc.c b/modelchecker/mc.c new file mode 100644 index 0000000..09bfc54 --- /dev/null +++ b/modelchecker/mc.c @@ -0,0 +1,2 @@ +#include "mc.h" + diff --git a/modelchecker/sokoban.h b/modelchecker/sokoban.h index e69de29..95dc079 100644 --- a/modelchecker/sokoban.h +++ b/modelchecker/sokoban.h @@ -0,0 +1,15 @@ +#ifndef SOKOBAN_H +#define SOKOBAN_H + +typedef enum {FREE, WALL, BOX, TARGET, AGENT, TARGAGENT, TARGBOX} sokoban_tile; + +struct sokoban_screen { + int x; + int y; + sokoban_tile tile; + sokoban_screen *next; +}; + +sokoban_screen *parse(FILE *stream); + +#endif