diff options
Diffstat (limited to 'src/expr/Makefile.am')
-rw-r--r-- | src/expr/Makefile.am | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/expr/Makefile.am b/src/expr/Makefile.am index 6baa4613f..38cb8250c 100644 --- a/src/expr/Makefile.am +++ b/src/expr/Makefile.am @@ -56,6 +56,7 @@ EXTRA_DIST = \ expr_template.h \ expr_template.cpp \ type_checker_template.cpp \ + options_handlers.h \ mkkind \ mkmetakind \ mkexpr \ @@ -154,3 +155,6 @@ type_checker.cpp: type_checker_template.cpp mkexpr @top_builddir@/src/theory/.su $< \ `cat @top_builddir@/src/theory/.subdirs` \ > $@) || (rm -f $@ && exit 1) + +.PHONY: builts +builts: $(BUILT_SOURCES) |