diff options
| author | Morgan Deters <mdeters@gmail.com> | 2009-12-03 14:59:30 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2009-12-03 14:59:30 +0000 |
| commit | 7fb54afe126e5045fc6c5553c1aff3c3f73509aa (patch) | |
| tree | 37f4f23af0eccd6c9615a5af9b2d219e305d1f78 /src/Makefile.am | |
| parent | bde1a14afc211c8f0f0521bb91feb562eaa9f9ea (diff) | |
parsing/expr/command/result/various other fixes
Diffstat (limited to 'src/Makefile.am')
| -rw-r--r-- | src/Makefile.am | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/Makefile.am b/src/Makefile.am index ca22263fd..b79eddf8b 100644 --- a/src/Makefile.am +++ b/src/Makefile.am @@ -21,9 +21,13 @@ publicheaders = \ include/cvc4_config.h \ include/cvc4_expr.h -install-data-local: +install-data-local: $(publicheaders) $(mkinstalldirs) $(DESTDIR)$(includedir)/cvc4; \ @for f in $(publicheaders); do 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 |