Permalink
Browse files

Make build-sequence include compiling the benchmarks

Closes #331
  • Loading branch information...
myreen committed Jan 24, 2019
1 parent 306e8ea commit f15fc331b263bceb940dc8e8a6c766d48f25d09d
Showing with 4 additions and 0 deletions.
  1. +4 −0 developers/build-sequence
@@ -96,6 +96,10 @@ compiler/bootstrap/translation
unverified/sexpr-bootstrap/x64/64:cake-unverified-x64-64.tar.gz
unverified/sexpr-bootstrap/x64/32:cake-unverified-x64-32.tar.gz

# build benchmarks (must come after sexp bootstrap)
compiler/benchmarks/cakeml_benchmarks/cakeml
compiler/benchmarks/mlton_benchmarks/cakeml

# compiler HOL bootstrap
compiler/bootstrap/compilation/x64/64:cake-x64-64.tar.gz
compiler/bootstrap/compilation/x64/64/proofs

0 comments on commit f15fc33

Please sign in to comment.