Remove tune from tools

Makefile

@@ -1,14 +1,8 @@
 # copyright (c) 2014, guillaume bury
 
-COMP=dune
 FLAGS=
 BINDIR=_build/install/default/bin
 
-# Optional arguments for the tune executions
-ifeq ($(J),)
-J := 1
-endif
-
 all: build
 
 watch:
@@ -37,24 +31,9 @@ coverage:
 	@xdg-open _coverage/index.html
 	bisect-ppx-report summary
 
-tune.config: build
-	dune exec -- tools/tune/tune.exe create -o tune.config \
-		--minor-heap-size=200_000,200_000,1_000_000 \
-		--major-heap-increment=15,15,105 \
-		--space-overhead=80,20,200 \
-		--max-overhead=500,500,1000 \
-		--allocation-policy=0,1,2 \
-		-- _build/install/default/bin/dolmen --gc-env $(FILE) -s 2G -t 5m
-
-tune.res: build tune.config
-	dune exec -- tools/tune/tune.exe run -i tune.config -o tune.res -j $(J)
-
-tune-graphs: build tune.res
-	dune exec -- tools/tune/tune.exe graph -i tune.res
-
 clean:
 	find . -name '*.coverage' | xargs rm -f
-	rm -rf _coverage tune.*
-	$(COMP) clean
+	rm -rf _coverage
+	dune clean
 
-.PHONY: all watch dune doc gentests test promote coverage tune-graphs clean
+.PHONY: all watch dune doc gentests test promote coverage clean