diff options
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 $@ |