diff options
Diffstat (limited to 'examples/Makefile.am')
-rw-r--r-- | examples/Makefile.am | 34 |
1 files changed, 0 insertions, 34 deletions
diff --git a/examples/Makefile.am b/examples/Makefile.am index 0f5c7db98..a39a51382 100644 --- a/examples/Makefile.am +++ b/examples/Makefile.am @@ -10,25 +10,11 @@ noinst_PROGRAMS = \ simple_vc_cxx \ translator - -if CVC4_BUILD_LIBCOMPAT -noinst_PROGRAMS += \ - simple_vc_compat_cxx -if CVC4_LANGUAGE_BINDING_C -noinst_PROGRAMS += \ - simple_vc_compat_c -endif -endif - noinst_DATA = if CVC4_LANGUAGE_BINDING_JAVA noinst_DATA += \ SimpleVC.class -if CVC4_BUILD_LIBCOMPAT -noinst_DATA += \ - SimpleVCCompat.class -endif endif @@ -38,18 +24,6 @@ simple_vc_cxx_LDADD = \ @builddir@/../src/parser/libcvc4parser.la \ @builddir@/../src/libcvc4.la -simple_vc_compat_cxx_SOURCES = \ - simple_vc_compat_cxx.cpp -simple_vc_compat_cxx_LDADD = \ - @builddir@/../src/compat/libcvc4compat.la \ - @builddir@/../src/parser/libcvc4parser.la \ - @builddir@/../src/libcvc4.la - -simple_vc_compat_c_SOURCES = \ - simple_vc_compat_c.c -simple_vc_compat_c_LDADD = \ - @builddir@/../src/bindings/compat/c/libcvc4bindings_c_compat.la - translator_SOURCES = \ translator.cpp translator_LDADD = \ @@ -58,12 +32,9 @@ translator_LDADD = \ SimpleVC.class: SimpleVC.java $(AM_V_JAVAC)$(JAVAC) -classpath "@builddir@/../src/bindings/CVC4.jar" -d "@builddir@" $< -SimpleVCCompat.class: SimpleVCCompat.java - $(AM_V_JAVAC)$(JAVAC) -classpath "@builddir@/../src/bindings/compat/java/CVC4compat.jar" -d "@builddir@" $< EXTRA_DIST = \ SimpleVC.java \ - SimpleVCCompat.java \ SimpleVC.ml \ SimpleVC.php \ SimpleVC.pl \ @@ -74,12 +45,8 @@ EXTRA_DIST = \ if STATIC_BINARY simple_vc_cxx_LINK = $(CXXLINK) -all-static -simple_vc_compat_cxx_LINK = $(CXXLINK) -all-static -simple_vc_compat_c_LINK = $(LINK) -all-static else simple_vc_cxx_LINK = $(CXXLINK) -simple_vc_compat_cxx_LINK = $(CXXLINK) -simple_vc_compat_c_LINK = $(LINK) endif # for installation @@ -92,4 +59,3 @@ MOSTLYCLEANFILES = $(noinst_DATA) AM_V_JAVAC = $(am__v_JAVAC_$(V)) am__v_JAVAC_ = $(am__v_JAVAC_$(AM_DEFAULT_VERBOSITY)) am__v_JAVAC_0 = @echo " JAVAC " $@; - |