-I := 10
-.PRECIOUS: $O/time/%.t.csv
-ifeq ($F,1)
-.PHONY: $(patsubst micro/%.d,$O/bin/%,$(wildcard micro/*.d))
-endif
-$O/time/%.t.csv: $O/bin/%
- $P echo -n ' RUN $* $(args) > $@ ($I)'
- $P echo -n > $@
- $P for i in `seq $I`; do \
- echo -n " $$i"; \
- time -f%e -a -o $@ ./$< $(args); \
- done; echo
-
-.PRECIOUS: $O/time/stats.csv
-$O/time/stats.csv: $(patsubst micro/%.d,$O/time/%.t.csv,$(micro-src))
- $P echo -n > $@
- $P for t in $^; do \
- (echo -n `basename $$t`,; ./stats.py < $$t) >> $@; \
- echo " STATS `tail -n1 $@` >> $@"; \
- done
-