diff options
author | Thomas Bauereiss <tb592@cl.cam.ac.uk> | 2019-01-22 16:47:41 +0000 |
---|---|---|
committer | Thomas Bauereiss <tb592@cl.cam.ac.uk> | 2019-01-22 16:47:41 +0000 |
commit | 3ecb42213976ac3eaaef8ae0b5bc17c1e40bb3bf (patch) | |
tree | e341c8f2b1f949142ec139025a808f33a416dd36 | |
parent | 31df2789f074bffe74856d92ac412488ac02c893 (diff) | |
download | sail-riscv-3ecb42213976ac3eaaef8ae0b5bc17c1e40bb3bf.zip sail-riscv-3ecb42213976ac3eaaef8ae0b5bc17c1e40bb3bf.tar.gz sail-riscv-3ecb42213976ac3eaaef8ae0b5bc17c1e40bb3bf.tar.bz2 |
Build HOL definitions by default
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -61,7 +61,7 @@ else C_FLAGS += -O2 endif -all: ocaml_emulator/riscv_ocaml_sim c_emulator/riscv_sim riscv_isa riscv_coq +all: ocaml_emulator/riscv_ocaml_sim c_emulator/riscv_sim riscv_isa riscv_coq riscv_hol .PHONY: all riscv_coq riscv_isa |