From 9ba75dc996009a7a01960fce72a25d43c557f542 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Fri, 17 Apr 2020 14:55:23 +0100
Subject: Add Simulator.v

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

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 0c26d57..1d328ec 100644
--- a/Makefile
+++ b/Makefile
@@ -12,7 +12,7 @@ COQMAKE := "$(COQBIN)coq_makefile"
 
 COQUPDIRS := translation common verilog
 VSSUBDIR := $(foreach d, $(COQUPDIRS), src/$(d)/*.v)
-VS := src/Compiler.v $(VSSUBDIR)
+VS := src/Compiler.v src/Simulator.v $(VSSUBDIR)
 
 PREFIX ?= .
 
-- 
cgit