diff options
| author | Morgan Deters <mdeters@gmail.com> | 2011-09-30 23:20:23 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2011-09-30 23:20:23 +0000 |
| commit | 466a4ac3dd30ca00743be10b9234526905d93fcb (patch) | |
| tree | 25a0aa251bf550aca4d476ce5bf85b8927de3e0b | |
| parent | 33e3657c15d6c760206aeaca10b5690af4a78223 (diff) | |
forgot to put some things in the distro
| -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 |