From 40cd35c9152ceba673e255ee1d6108e224a54c3f Mon Sep 17 00:00:00 2001
From: David Monniaux <david.monniaux@univ-grenoble-alpes.fr>
Date: Sun, 12 Apr 2020 08:09:23 +0200
Subject: x86-64 profiling

---
 test/monniaux/minisat/Makefile.profiled | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'test')

diff --git a/test/monniaux/minisat/Makefile.profiled b/test/monniaux/minisat/Makefile.profiled
index 85e5c246..77ba8b43 100644
--- a/test/monniaux/minisat/Makefile.profiled
+++ b/test/monniaux/minisat/Makefile.profiled
@@ -7,8 +7,8 @@ CCOMP=../../../ccomp
 GCC=k1-cos-gcc
 #EXECUTE=qemu-aarch64
 #EXECUTE=qemu-arm
-EXECUTE=k1-cluster --
-EXECUTE_CYCLES=k1-cluster --cycle-based --
+#EXECUTE=k1-cluster --
+#EXECUTE_CYCLES=k1-cluster --cycle-based --
 
 LIBS=-lm
 PROFILING_DAT=compcert_profiling.dat
@@ -36,7 +36,7 @@ minisat.gcc-O3.profile-arcs.exe: main.c solver.c clock.gcc-O3.noprofile.o
 	$(GCC) -DARM_NO_PRIVILEGE $(GCCFLAGS) -fprofile-arcs -O3 $+ -o $@ $(LIBS)
 
 gcda: minisat.gcc-O3.profile-arcs.exe
-	$(EXECUTE) $< $(EXAMPLE)
+	$(EXECUTE) ./$< $(EXAMPLE)
 
 main.gcda solver.gcda: gcda
 
@@ -48,7 +48,7 @@ minisat.ccomp.trace-linearize.exe: $(CFILES)
 
 $(PROFILING_DAT): minisat.ccomp.profile-arcs.exe
 	-rm -f $(PROFILING_DAT)
-	$(EXECUTE) $< $(EXAMPLE)
+	$(EXECUTE) ./$< $(EXAMPLE)
 
 minisat.ccomp.profiled.exe: $(CFILES) $(PROFILING_DAT)
 	$(CCOMP) $(CCOMPFLAGS) -fprofile-use= $(PROFILING_DAT) -ftracelinearize $(CFILES) -o $@ $(LIBS)
-- 
cgit