From 2c7fff406b1aa916aca399fe1e0f12dfaf6acbf2 Mon Sep 17 00:00:00 2001 From: Linus Nordberg Date: Thu, 29 Oct 2015 16:12:30 +0100 Subject: Add catlfish-benchmark embryo. --- catlfish-benchmark/Makefile | 15 +++++++++++++++ 1 file changed, 15 insertions(+) create mode 100644 catlfish-benchmark/Makefile (limited to 'catlfish-benchmark/Makefile') diff --git a/catlfish-benchmark/Makefile b/catlfish-benchmark/Makefile new file mode 100644 index 0000000..cdd4b94 --- /dev/null +++ b/catlfish-benchmark/Makefile @@ -0,0 +1,15 @@ +CATLFISH_BASE = ~/p/ct/catlfish + +all: config + +config: fest.config signing.config mergebackup.config merge.cfg catlfish.cfg + +frontend.config storage.config: fest.cfg catlfish.cfg + $(CATLFISH_BASE)/tools/compileconfig.py --config catlfish.cfg --localconfig $< +signing.config: signing.cfg catlfish.cfg + $(CATLFISH_BASE)/tools/compileconfig.py --config catlfish.cfg --localconfig $< +mergebackup.config: mergebackup.cfg catlfish.cfg + $(CATLFISH_BASE)/tools/compileconfig.py --config catlfish.cfg --localconfig $< + +fest.config: frontend.config storage.config + @echo TODO merge $^ into $@ -- cgit v1.1