diff --git a/Makefile b/Makefile
new file mode 100644
index 0000000000000000000000000000000000000000..801162c5b5257551e00da450f7e3c127a5e21e5a
--- /dev/null
+++ b/Makefile
@@ -0,0 +1,13 @@
+
+
+# build: lib/sasacore/sasaVersion.ml
+build:
+	dune build  @install
+
+install:
+	dune install
+
+reinstall:install
+
+uninstall:
+	dune uninstall
diff --git a/test/token/Makefile b/test/dijkstra-ring/Makefile
similarity index 100%
rename from test/token/Makefile
rename to test/dijkstra-ring/Makefile
diff --git a/test/token/ring3.dot b/test/dijkstra-ring/diring3.dot
similarity index 100%
rename from test/token/ring3.dot
rename to test/dijkstra-ring/diring3.dot
diff --git a/test/token/ring3_oracle.lus b/test/dijkstra-ring/diring3_oracle.lus
similarity index 100%
rename from test/token/ring3_oracle.lus
rename to test/dijkstra-ring/diring3_oracle.lus
diff --git a/test/token/p.lus b/test/dijkstra-ring/p.lus
similarity index 100%
rename from test/token/p.lus
rename to test/dijkstra-ring/p.lus
diff --git a/test/token/p.ml b/test/dijkstra-ring/p.ml
similarity index 100%
rename from test/token/p.ml
rename to test/dijkstra-ring/p.ml
diff --git a/test/token/ring4.dot b/test/dijkstra-ring/ring4.dot
similarity index 100%
rename from test/token/ring4.dot
rename to test/dijkstra-ring/ring4.dot
diff --git a/test/token/ring4_oracle.lus b/test/dijkstra-ring/ring4_oracle.lus
similarity index 100%
rename from test/token/ring4_oracle.lus
rename to test/dijkstra-ring/ring4_oracle.lus
diff --git a/test/token/root.lus b/test/dijkstra-ring/root.lus
similarity index 100%
rename from test/token/root.lus
rename to test/dijkstra-ring/root.lus
diff --git a/test/token/root.ml b/test/dijkstra-ring/root.ml
similarity index 100%
rename from test/token/root.ml
rename to test/dijkstra-ring/root.ml
diff --git a/test/token/state.ml b/test/dijkstra-ring/state.ml
similarity index 100%
rename from test/token/state.ml
rename to test/dijkstra-ring/state.ml
diff --git a/test/token/verify.lus b/test/dijkstra-ring/verify.lus
similarity index 100%
rename from test/token/verify.lus
rename to test/dijkstra-ring/verify.lus