Merge pull request #337 from rdaly525/dev

Dev
rdaly525 · Dec 12, 2017 · 83d0687 · 83d0687
2 parents f1de845 + 86e38b0
commit 83d0687
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/release/Makefile b/release/Makefile
@@ -27,6 +27,7 @@ install:
 	install include/coreir/passes/*.h $(prefix)/include/coreir/passes
 	install include/coreir/passes/analysis/* $(prefix)/include/coreir/passes/analysis
 	install include/coreir/passes/transform/* $(prefix)/include/coreir/passes/transform
+	install include/coreir/simulator/* $(prefix)/include/coreir/simulator
 
 .PHONY: uninstall
 uninstall: