Include blif reader header in public facing extension header files.

diff --git a/Makefile b/Makefile
index 07ebed642d440ed33adca44bf5cc7772c05511df..cce059395bfabbcc6b5200bd19e9587468840ed5 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -608,6 +608,7 @@ $(eval $(call add_include_file,libs/sha1/sha1.h))
 $(eval $(call add_include_file,libs/json11/json11.hpp))
 $(eval $(call add_include_file,passes/fsm/fsmdata.h))
 $(eval $(call add_include_file,frontends/ast/ast.h))
+$(eval $(call add_include_file,frontends/blif/blifparse.h))
 $(eval $(call add_include_file,backends/rtlil/rtlil_backend.h))
 $(eval $(call add_include_file,backends/cxxrtl/cxxrtl.h))
 $(eval $(call add_include_file,backends/cxxrtl/cxxrtl_vcd.h))