diff options
Diffstat (limited to 'examples')
-rw-r--r-- | examples/Makefile.am | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/examples/Makefile.am b/examples/Makefile.am index 8f120e14c..3e05d480d 100644 --- a/examples/Makefile.am +++ b/examples/Makefile.am @@ -49,6 +49,11 @@ SimpleVC.class: SimpleVC.java SimpleVCCompat.class: SimpleVCCompat.java $(AM_V_JAVAC)$(JAVAC) -classpath "@builddir@/../src/bindings/compat/java/cvc4compat.jar" -d "@builddir@" $< +EXTRA_DIST = \ + SimpleVC.java \ + SimpleVCCompat.java \ + README + if STATIC_BINARY simple_vc_cxx_LINK = $(CXXLINK) -all-static simple_vc_compat_cxx_LINK = $(CXXLINK) -all-static |