simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2025-12-06 03:05:31 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

Better logging in log/index when running benchs on same commit

Browse source 
New sync target in bench/Makefile (untested though)
This commit is contained in:
Guillaume Bury 2014-11-05 23:38:50 +01:00
parent a31285d3ad
commit 7288f6ece2
1 changed files with 10 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

14
bench/Makefile
View file

@ -9,16 +9,22 @@ DONE := $(addprefix $(LOGDIR)/raw/, $(CNF:.cnf=.done))
PROVER := $(shell echo "./$(LOGDIR)/prover")
CMD := $(PROVER) $(OPTIONS)
DATE = date +'%H:%M:%S %d/%m/%Y'
all: $(INDEX)
$(INDEX): $(PROVER) $(DONE)
@echo "Bench ended for commit `git rev-parse HEAD`" | tee -a $(INDEX)
@echo "Ended at `date +'%H:%M:%S %d/%m/%Y'`" | tee -a $(INDEX)
sync:
rsync -avz rsync://gbury.eu/benchs/ ./
$(INDEX): dummy $(PROVER) $(DONE)
@echo "Bench ended for commit `git rev-parse HEAD` at `$(DATE)`" | tee -a $(INDEX)
dummy: $(PROVER)
@echo "Bench started for commit `git rev-parse HEAD` at `$(DATE)`" | tee -a $(INDEX)
$(PROVER): $(SOLVER)
@mkdir -p $(LOGDIR)/raw
@cp $(SOLVER) $(PROVER)
@echo "Bench started for commit `git rev-parse HEAD`"
$(SOLVER):
cd .. && $(MAKE)