diff options
| author | Linus Nordberg <linus@nordu.net> | 2015-10-29 16:12:30 +0100 |
|---|---|---|
| committer | Linus Nordberg <linus@nordu.net> | 2015-10-29 16:12:30 +0100 |
| commit | 2c7fff406b1aa916aca399fe1e0f12dfaf6acbf2 (patch) | |
| tree | f4be3ea95268c202c2b8c95977d1a0e523f33441 /catlfish-benchmark/Makefile | |
| parent | 4e16f940beb6d47e516b92696c0007f0f9891af8 (diff) | |
Add catlfish-benchmark embryo.
Diffstat (limited to 'catlfish-benchmark/Makefile')
| -rw-r--r-- | catlfish-benchmark/Makefile | 15 |
1 files changed, 15 insertions, 0 deletions
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 $@ |