diff options
Diffstat (limited to 'contrib/theoryskel/Makefile.am')
-rw-r--r-- | contrib/theoryskel/Makefile.am | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/contrib/theoryskel/Makefile.am b/contrib/theoryskel/Makefile.am index d6b41ac03..000544d98 100644 --- a/contrib/theoryskel/Makefile.am +++ b/contrib/theoryskel/Makefile.am @@ -1,6 +1,6 @@ AM_CPPFLAGS = \ -D__BUILDING_CVC4LIB \ - -I@srcdir@/../../include -I@srcdir@/../.. -I@builddir@/../.. + -I@builddir@/../.. -I@srcdir@/../../include -I@srcdir@/../.. AM_CXXFLAGS = -Wall -Wno-unknown-pragmas $(FLAG_VISIBILITY_HIDDEN) noinst_LTLIBRARIES = lib$dir.la @@ -12,4 +12,5 @@ lib$dir_la_SOURCES = \ theory_$dir_type_rules.h EXTRA_DIST = \ - kinds + kinds \ + options_handlers.h |