diff options
Diffstat (limited to 'examples/api/java/Makefile.am')
-rw-r--r-- | examples/api/java/Makefile.am | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/examples/api/java/Makefile.am b/examples/api/java/Makefile.am index 84c818737..f4b8f1043 100644 --- a/examples/api/java/Makefile.am +++ b/examples/api/java/Makefile.am @@ -2,6 +2,7 @@ noinst_DATA = if CVC4_LANGUAGE_BINDING_JAVA noinst_DATA += \ + CVC4Streams.class \ BitVectors.class \ BitVectorsAndArrays.class \ Combination.class \ @@ -14,6 +15,7 @@ endif $(AM_V_JAVAC)$(JAVAC) -classpath "@builddir@/../../../src/bindings/CVC4.jar" -d "@builddir@" $< EXTRA_DIST = \ + CVC4Streams.java \ BitVectors.java \ BitVectorsAndArrays.java \ Combination.java \ |