From 8952d656d622a3055555d106b78ead2557d42228 Mon Sep 17 00:00:00 2001
From: Anurag Soni <anurag@sonianurag.com>
Date: Mon, 2 Sep 2019 12:53:20 -0400
Subject: [PATCH] update makefile

---
 Makefile           | 23 ++++++++---------------
 dune-workspace.dev |  6 ------
 2 files changed, 8 insertions(+), 21 deletions(-)
 delete mode 100644 dune-workspace.dev

diff --git a/Makefile b/Makefile
index 964e4f84..79d8aa10 100644
--- a/Makefile
+++ b/Makefile
@@ -1,22 +1,15 @@
-.DEFAULT_GOAL: all
+.PHONY: default build clean test examples
 
-JBUILDER ?= dune
+default: build
 
-all:
-	@$(JBUILDER) build @install @DEFAULT
+build:
+	dune build @check
 
-check:
-	@$(JBUILDER) runtest
+clean:
+	dune clean
 
-test: check
+test:
+	dune runtest -f
 
 README.md: README.cpp.md $(wildcard examples/*.ml)
 	@cppo -n $< -o $@
-
-clean:
-	@$(JBUILDER) clean
-
-.PHONY: all clean check test
-
-all-supported-ocaml-versions:
-	$(JBUILDER) runtest --workspace dune-workspace.dev
diff --git a/dune-workspace.dev b/dune-workspace.dev
deleted file mode 100644
index a6cd0322..00000000
--- a/dune-workspace.dev
+++ /dev/null
@@ -1,6 +0,0 @@
-(lang dune 1.5)
-
-;; This file is used by `make all-supported-ocaml-versions`
-(context (opam (switch 4.04.2)))
-(context (opam (switch 4.05.0)))
-(context (opam (switch 4.06.0)))