From e8b783ca6097ac62027dd7b95ef6e92ac943d7fd Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@uni-duesseldorf.de>
Date: Wed, 3 Feb 2021 14:32:26 +0100
Subject: [PATCH] add Makefile to generate VisB HTML files using probcli

---
 Makefile | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 Makefile

diff --git a/Makefile b/Makefile
new file mode 100644
index 0000000..842e1c0
--- /dev/null
+++ b/Makefile
@@ -0,0 +1,6 @@
+PROBCLI=probcli
+all:
+	$(PROBCLI) Button/button.mch -animate 15 -visb Button/button.json traces/html/button.html
+	$(PROBCLI) Lift/Lift.mch -property 'groundf=-1 & topf=2' -animate 20 -visb Lift/lift_groups.json traces/html/lift_groups.html
+	$(PROBCLI) N-Queens/QueensWithEvents.mch -property 'n=8' -animate 15 -visb N-Queens/queens_8.json traces/html/queens8.html
+	$(PROBCLI) Physics/MovingParticles3.mch -animate 30 -visb Physics/three_bodies.json traces/html/three_bodies.html
-- 
GitLab