From 6de6406398425fac59c904f571455a6ee6100d2d Mon Sep 17 00:00:00 2001
From: Arthur Bit-Monnot <abitmonnot@laas.fr>
Date: Wed, 6 Nov 2019 14:11:10 +0100
Subject: [PATCH] Makefile + minimal vscode conf

---
 .vscode/settings.json |  6 ++++++
 .vscode/tasks.json    | 16 ++++++++++++++++
 Makefile              |  7 +++++++
 3 files changed, 29 insertions(+)
 create mode 100644 .vscode/settings.json
 create mode 100644 .vscode/tasks.json
 create mode 100644 Makefile

diff --git a/.vscode/settings.json b/.vscode/settings.json
new file mode 100644
index 0000000..10f2f4c
--- /dev/null
+++ b/.vscode/settings.json
@@ -0,0 +1,6 @@
+{
+    "files.associations": {
+        "*.ml": "ocaml",
+        "*.mli": "ocaml"
+    }
+}
\ No newline at end of file
diff --git a/.vscode/tasks.json b/.vscode/tasks.json
new file mode 100644
index 0000000..a58e5bf
--- /dev/null
+++ b/.vscode/tasks.json
@@ -0,0 +1,16 @@
+{
+    // See https://go.microsoft.com/fwlink/?LinkId=733558
+    // for the documentation about the tasks.json format
+    "version": "2.0.0",
+    "tasks": [
+        {
+            "label": "make",
+            "type": "shell",
+            "command": "make",
+            "group": {
+                "kind": "build",
+                "isDefault": true
+            }
+        }
+    ]
+}
\ No newline at end of file
diff --git a/Makefile b/Makefile
new file mode 100644
index 0000000..cd1a32c
--- /dev/null
+++ b/Makefile
@@ -0,0 +1,7 @@
+
+main:
+	ocamlbuild ftest.native
+
+clean:
+	rm -rf _build/
+	rm ftest.native