From ca3678087cda561b6b3d784dae625df83b870a1c Mon Sep 17 00:00:00 2001
From: Jerry Zhao <qwertyuiopghb@gmail.com>
Date: Fri, 10 May 2019 17:06:03 -0700
Subject: [PATCH] Add verilator_install make target for CI purposes

---
 sims/verisim/verilator.mk | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/sims/verisim/verilator.mk b/sims/verisim/verilator.mk
index b0aaae62..a5c953c1 100644
--- a/sims/verisim/verilator.mk
+++ b/sims/verisim/verilator.mk
@@ -15,6 +15,9 @@ INSTALLED_VERILATOR=$(abspath verilator/install/bin/verilator)
 $(INSTALLED_VERILATOR): $(VERILATOR_SRCDIR)/bin/verilator
 	$(MAKE) -C $(VERILATOR_SRCDIR) installbin installdata
 	touch $@
+	
+.PHONY:
+verilator_install: $(INSTALLED_VERILATOR)
 
 $(VERILATOR_SRCDIR)/bin/verilator: $(VERILATOR_SRCDIR)/Makefile
 	$(MAKE) -C $(VERILATOR_SRCDIR) verilator_bin