diff options
Diffstat (limited to 'src/Makefile.am')
-rw-r--r-- | src/Makefile.am | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/src/Makefile.am b/src/Makefile.am index 593499c9b..cb529dcde 100644 --- a/src/Makefile.am +++ b/src/Makefile.am @@ -55,7 +55,3 @@ install-data-local: $(publicheaders) echo $(INSTALL_DATA) "$(srcdir)/$$f" "$(DESTDIR)/$(includedir)/cvc4"; \ $(INSTALL_DATA) "$(srcdir)/$$f" "$(DESTDIR)/$(includedir)/cvc4"; \ done - -include/cvc4.h: smt/smt_engine.h - @srcdir@/headergen.pl $< $@ -include/cvc4_expr.h: expr/expr.h |