projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 33e3657)
forgot to put some things in the distro
authorMorgan Deters <mdeters@gmail.com>
Fri, 30 Sep 2011 23:20:23 +0000 (23:20 +0000)
committerMorgan Deters <mdeters@gmail.com>
Fri, 30 Sep 2011 23:20:23 +0000 (23:20 +0000)
examples/Makefile.am patch | blob | history

diff --git a/examples/Makefile.am b/examples/Makefile.am
index 8f120e14caa9b0dfc33711170d9c341cf4c4087c..3e05d480df8182d39d62ae3ccb233e0a4520bd51 100644 (file)
--- 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