From 258946400bd2617074455787ee10c5bd5a9f27bd Mon Sep 17 00:00:00 2001
From: Cyril SIX <cyril.six@kalray.eu>
Date: Thu, 11 Jul 2019 11:53:45 +0200
Subject: Only generating measure.csv in test/monniaux/Makefile

---
 test/monniaux/Makefile | 13 +++++++------
 1 file changed, 7 insertions(+), 6 deletions(-)

(limited to 'test/monniaux/Makefile')

diff --git a/test/monniaux/Makefile b/test/monniaux/Makefile
index e099ed51..c864cf4e 100644
--- a/test/monniaux/Makefile
+++ b/test/monniaux/Makefile
@@ -2,7 +2,8 @@
 
 CCOMP?=ccomp
 
-all: compile_times.pdf measure_times.k1c.pdf
+#all: compile_times.pdf measure_times.k1c.pdf
+all: measures.csv
 
 verifier_times.txt: Asmblockdeps.patch
 	patch $(realpath ../../extraction/Asmblockdeps.ml) < $<
@@ -21,11 +22,11 @@ measures.csv:
 	bash build_benches.sh
 	bash run_benches.sh $@
 
-compile_times.pdf: gencompile.py verifier_times.txt oracle_times.txt
-	python3.5 $^ $@
-
-measure_times.k1c.pdf: gengraphs.py measures.csv
-	python3.5 $^ $(basename $(basename $@))
+#compile_times.pdf: gencompile.py verifier_times.txt oracle_times.txt
+#	python3.5 $^ $@
+#
+#measure_times.k1c.pdf: gengraphs.py measures.csv
+#	python3.5 $^ $(basename $(basename $@))
 
 .PHONY:
 clean:
-- 
cgit