update makefile

rgrinberg · Dec 6, 2019 · 8952d65 · 8952d65
1 parent 2205946
commit 8952d65
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 21 deletions.
diff --git 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