From 3ecb42213976ac3eaaef8ae0b5bc17c1e40bb3bf Mon Sep 17 00:00:00 2001
From: Thomas Bauereiss <tb592@cl.cam.ac.uk>
Date: Tue, 22 Jan 2019 16:47:41 +0000
Subject: Build HOL definitions by default

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 213287b..a786324 100644
--- a/Makefile
+++ b/Makefile
@@ -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
 
-- 
cgit v1.1