From: Mart Lubbers <mart@martlubbers.net>
Date: Wed, 23 Mar 2016 09:06:19 +0000 (+0100)
Subject: makefile
X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=7b58c6ef6de2382ed29f3e618d94b07a4b4f5791;p=mc1516pa.git

makefile
---

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 <stdio.h>
+
+#include <sylvan.h>
+
+int main(void){
+	printf("Hello world!\n");
+	return 0;
+}