mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-08-17 01:41:09 +03:00
split benchmark XML into separate files
This will hopefully yield better scale in the graphs on the Jenkins job
This commit is contained in:
parent
1a68b4f640
commit
2f64119440
1
.gitignore
vendored
1
.gitignore
vendored
@ -20,3 +20,4 @@ cryptol-2.*
|
||||
/ICryptol/profile.tar
|
||||
/ICryptol/profile_cryptol/security/
|
||||
/ICryptol/profile_cryptol/startup/
|
||||
/bench*.xml
|
||||
|
5
Makefile
5
Makefile
@ -271,7 +271,10 @@ test: ${CS_BIN}/cryptol-test-runner
|
||||
bench: cryptol.cabal Makefile | ${CS_BIN}/alex ${CS_BIN}/happy
|
||||
$(CABAL_INSTALL) --only-dependencies --enable-benchmarks
|
||||
$(CABAL) configure --enable-benchmarks
|
||||
$(CABAL) bench --benchmark-option=--junit --benchmark-option=$(call adjust-path,$(CURDIR)/bench.xml)
|
||||
$(CABAL) bench --benchmark-option=--junit --benchmark-option=$(call adjust-path,$(CURDIR)/bench-parser.xml) --benchmark-option='parser/'
|
||||
$(CABAL) bench --benchmark-option=--junit --benchmark-option=$(call adjust-path,$(CURDIR)/bench-typechecker.xml) --benchmark-option='typechecker/'
|
||||
$(CABAL) bench --benchmark-option=--junit --benchmark-option=$(call adjust-path,$(CURDIR)/bench-conc_eval.xml) --benchmark-option='conc_eval/'
|
||||
$(CABAL) bench --benchmark-option=--junit --benchmark-option=$(call adjust-path,$(CURDIR)/bench-sym_eval.xml) --benchmark-option='sym_eval/'
|
||||
rm -rf dist/setup-config
|
||||
|
||||
.PHONY: clean
|
||||
|
Loading…
Reference in New Issue
Block a user