diff options
Diffstat (limited to 'examples/Makefile.am')
| -rw-r--r-- | examples/Makefile.am | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/examples/Makefile.am b/examples/Makefile.am index 940af06ff..0f5c7db98 100644 --- a/examples/Makefile.am +++ b/examples/Makefile.am @@ -1,14 +1,16 @@ -SUBDIRS = nra-translate hashsmt api . +SUBDIRS = nra-translate sets-translate hashsmt api . AM_CPPFLAGS = \ -I@srcdir@/../src/include -I@srcdir@/../src -I@builddir@/../src $(ANTLR_INCLUDES) AM_CXXFLAGS = -Wall AM_CFLAGS = -Wall + noinst_PROGRAMS = \ simple_vc_cxx \ translator + if CVC4_BUILD_LIBCOMPAT noinst_PROGRAMS += \ simple_vc_compat_cxx |