diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2018-06-28 17:54:33 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-06-28 17:54:33 -0700 |
commit | 021e7ebaf808f4496609685cccab4eae8eb04d38 (patch) | |
tree | 2459b60e63ef2e7be776368c29692386548d5059 /src/Makefile.am | |
parent | 040f30fe51dd767011af728d4d8ab83b75e4efd9 (diff) |
New C++ API: Implementation of Result. (#2112)
Diffstat (limited to 'src/Makefile.am')
-rw-r--r-- | src/Makefile.am | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/Makefile.am b/src/Makefile.am index b60cede21..2ddc905e0 100644 --- a/src/Makefile.am +++ b/src/Makefile.am @@ -35,6 +35,9 @@ nodist_EXTRA_libcvc4_la_SOURCES = dummy.cpp libcvc4_la_SOURCES = \ git_versioninfo.cpp \ svn_versioninfo.cpp \ + api/cvc4cpp.h \ + api/cvc4cppkind.h \ + api/cvc4cpp.cpp \ context/backtrackable.h \ context/cddense_set.h \ context/cdhashmap.h \ |