From 742de4b428cc7a39a97c408ffcb60714b1817629 Mon Sep 17 00:00:00 2001
From: Arthur Bit-Monnot <abitmonnot@laas.fr>
Date: Mon, 2 Nov 2020 12:53:23 +0100
Subject: [PATCH] Add common commands to Makefile

---
 Makefile | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 45976c3..8a2c0c2 100644
--- a/Makefile
+++ b/Makefile
@@ -1,10 +1,19 @@
 
-main:
+build:
 	ocamlbuild ftest.native
 
 format:
 	ocp-indent --inplace src/*
 
+edit:
+	code . -n
+
+demo: build
+	echo "\n==== EXECUTING ====\n"
+	./ftest.native graphs/graph1 1 2 outfile
+	echo "\n==== RESULT ==== (content of outfile) \n"
+	cat outfile
+
 clean:
 	rm -rf _build/
 	rm ftest.native