From: Morgan Deters <mdeters@gmail.com>
Date: Fri, 30 Sep 2011 23:20:23 +0000 (+0000)
Subject: forgot to put some things in the distro
X-Git-Tag: cvc5-1.0.0~8442
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=466a4ac3dd30ca00743be10b9234526905d93fcb;p=cvc5.git

forgot to put some things in the distro
---

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