diff --git a/Makefile b/Makefile
index 06466fda5..40bc61f4d 100644
--- a/Makefile
+++ b/Makefile
@@ -112,7 +112,7 @@ test: yosys
 	cd tests/hana && bash run-test.sh
 	cd tests/asicworld && bash run-test.sh
 
-install: $(TARGETS)
+install: $(TARGETS) $(EXTRA_TARGETS)
 	$(INSTALL_SUDO) mkdir -p $(DESTDIR)/bin
 	$(INSTALL_SUDO) install $(TARGETS) $(DESTDIR)/bin/
 	$(INSTALL_SUDO) mkdir -p $(DESTDIR)/share/yosys