From 7b58c6ef6de2382ed29f3e618d94b07a4b4f5791 Mon Sep 17 00:00:00 2001 From: Mart Lubbers Date: Wed, 23 Mar 2016 10:06:19 +0100 Subject: [PATCH] makefile --- .gitmodules | 3 +++ modelchecker/.gitignore | 2 ++ modelchecker/Makefile | 8 ++++++++ modelchecker/main.c | 8 ++++++++ 4 files changed, 21 insertions(+) create mode 100644 .gitmodules create mode 100644 modelchecker/.gitignore create mode 100644 modelchecker/Makefile create mode 100644 modelchecker/main.c diff --git a/.gitmodules b/.gitmodules new file mode 100644 index 0000000..ef5881a --- /dev/null +++ b/.gitmodules @@ -0,0 +1,3 @@ +[submodule "modelchecker/sylvan"] + path = modelchecker/sylvan + url = git@github.com:utwente-fmt/sylvan.git diff --git a/modelchecker/.gitignore b/modelchecker/.gitignore new file mode 100644 index 0000000..84abf5a --- /dev/null +++ b/modelchecker/.gitignore @@ -0,0 +1,2 @@ +main +sylvan diff --git a/modelchecker/Makefile b/modelchecker/Makefile new file mode 100644 index 0000000..6bd0041 --- /dev/null +++ b/modelchecker/Makefile @@ -0,0 +1,8 @@ +PROGRAM:=main +CFLAGS:=-O3 -Wextra -Wall -Werror -fno-strict-aliasing -std=gnu11 \ + -I./sylvan/src -I./sylvan/examples/. + +all: $(PROGRAM) + +clean: + $(RM) -v $(PROGRAM) diff --git a/modelchecker/main.c b/modelchecker/main.c new file mode 100644 index 0000000..5e89211 --- /dev/null +++ b/modelchecker/main.c @@ -0,0 +1,8 @@ +#include + +#include + +int main(void){ + printf("Hello world!\n"); + return 0; +} -- 2.20.1