makefile

diff --git a/.gitmodules b/.gitmodules
new file mode 100644 (file)
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 (file)
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 (file)
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 (file)
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;
+}