From 466a4ac3dd30ca00743be10b9234526905d93fcb Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Fri, 30 Sep 2011 23:20:23 +0000 Subject: [PATCH] forgot to put some things in the distro --- examples/Makefile.am | 5 +++++ 1 file changed, 5 insertions(+) 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 -- 2.30.2