Remove autotools build system. (#2639)

12 files changed, 0 insertions, 363 deletions

diff --git a/examples/Makefile b/examples/Makefile
deleted file mode 100644
index 3db5bc0ac..000000000
--- a/examples/Makefile
+++ /dev/null
@@ -1,4 +0,0 @@
-topdir = ..
-srcdir = examples
-
-include $(topdir)/Makefile.subdir
diff --git a/examples/Makefile.am b/examples/Makefile.am
deleted file mode 100644
index a39a51382..000000000
--- a/examples/Makefile.am
+++ /dev/null
@@ -1,61 +0,0 @@
-SUBDIRS = nra-translate sets-translate hashsmt api .
-
-AM_CPPFLAGS = \
-	-I@srcdir@/../src/include -I@srcdir@/../src -I@builddir@/../src $(ANTLR_INCLUDES)
-AM_CXXFLAGS = -Wall
-AM_CFLAGS = -Wall
-
-
-noinst_PROGRAMS = \
-	simple_vc_cxx \
-	translator
-
-noinst_DATA =
-
-if CVC4_LANGUAGE_BINDING_JAVA
-noinst_DATA += \
-	SimpleVC.class
-endif
-
-
-simple_vc_cxx_SOURCES = \
-	simple_vc_cxx.cpp
-simple_vc_cxx_LDADD = \
-	@builddir@/../src/parser/libcvc4parser.la \
-	@builddir@/../src/libcvc4.la
-
-translator_SOURCES = \
-	translator.cpp
-translator_LDADD = \
-	@builddir@/../src/parser/libcvc4parser.la \
-	@builddir@/../src/libcvc4.la
-
-SimpleVC.class: SimpleVC.java
-	$(AM_V_JAVAC)$(JAVAC) -classpath "@builddir@/../src/bindings/CVC4.jar" -d "@builddir@" $<
-
-EXTRA_DIST = \
-	SimpleVC.java \
-	SimpleVC.ml \
-	SimpleVC.php \
-	SimpleVC.pl \
-	SimpleVC.py \
-	SimpleVC.rb \
-	SimpleVC.tcl \
-	README
-
-if STATIC_BINARY
-simple_vc_cxx_LINK = $(CXXLINK) -all-static
-else
-simple_vc_cxx_LINK = $(CXXLINK)
-endif
-
-# for installation
-examplesdir = $(docdir)/$(subdir)
-examples_DATA = $(DIST_SOURCES) $(EXTRA_DIST)
-
-MOSTLYCLEANFILES = $(noinst_DATA)
-
-# for silent automake rules
-AM_V_JAVAC = $(am__v_JAVAC_$(V))
-am__v_JAVAC_ = $(am__v_JAVAC_$(AM_DEFAULT_VERBOSITY))
-am__v_JAVAC_0 = @echo "  JAVAC " $@;
diff --git a/examples/api/Makefile b/examples/api/Makefile
deleted file mode 100644
index 8e5dcfd21..000000000
--- a/examples/api/Makefile
+++ /dev/null
@@ -1,4 +0,0 @@
-topdir = ../..
-srcdir = examples/api
-
-include $(topdir)/Makefile.subdir
diff --git a/examples/api/Makefile.am b/examples/api/Makefile.am
deleted file mode 100644
index a36819e5c..000000000
--- a/examples/api/Makefile.am
+++ /dev/null
@@ -1,113 +0,0 @@
-SUBDIRS = . java
-
-AM_CPPFLAGS = \
-	-I@srcdir@/../../src/include -I@srcdir@/../../src -I@builddir@/../../src $(ANTLR_INCLUDES)
-AM_CXXFLAGS = -Wall
-AM_CFLAGS = -Wall
-
-noinst_PROGRAMS = \
-	bitvectors \
-	bitvectors-new \
-	bitvectors_and_arrays \
-	bitvectors_and_arrays-new \
-	combination \
-	combination-new \
-	datatypes \
-	datatypes-new \
-	extract \
-	extract-new \
-	helloworld \
-	helloworld-new \
-	linear_arith \
-	linear_arith-new \
-	sets \
-	sets-new \
-	strings \
-	strings-new
-
-noinst_DATA =
-
-bitvectors_SOURCES = \
-	bitvectors.cpp
-bitvectors_LDADD = \
-	@builddir@/../../src/libcvc4.la
-bitvectors_new_SOURCES = \
-	bitvectors-new.cpp
-bitvectors_new_LDADD = \
-	@builddir@/../../src/libcvc4.la
-
-bitvectors_and_arrays_SOURCES = \
-	bitvectors_and_arrays.cpp
-bitvectors_and_arrays_LDADD = \
-	@builddir@/../../src/libcvc4.la
-bitvectors_and_arrays_new_SOURCES = \
-	bitvectors_and_arrays-new.cpp
-bitvectors_and_arrays_new_LDADD = \
-	@builddir@/../../src/libcvc4.la
-
-combination_SOURCES = \
-	combination.cpp
-combination_LDADD = \
-	@builddir@/../../src/libcvc4.la
-combination_new_SOURCES = \
-	combination-new.cpp
-combination_new_LDADD = \
-	@builddir@/../../src/libcvc4.la
-
-datatypes_SOURCES = \
-	datatypes.cpp
-datatypes_LDADD = \
-	@builddir@/../../src/libcvc4.la
-datatypes_new_SOURCES = \
-	datatypes-new.cpp
-datatypes_new_LDADD = \
-	@builddir@/../../src/libcvc4.la
-
-extract_SOURCES = \
-	extract.cpp
-extract_LDADD = \
-	@builddir@/../../src/libcvc4.la
-extract_new_SOURCES = \
-	extract-new.cpp
-extract_new_LDADD = \
-	@builddir@/../../src/libcvc4.la
-
-helloworld_SOURCES = \
-	helloworld.cpp
-helloworld_LDADD = \
-	@builddir@/../../src/libcvc4.la
-helloworld_new_SOURCES = \
-	helloworld-new.cpp
-helloworld_new_LDADD = \
-	@builddir@/../../src/libcvc4.la
-
-linear_arith_SOURCES = \
-	linear_arith.cpp
-linear_arith_LDADD = \
-	@builddir@/../../src/libcvc4.la
-linear_arith_new_SOURCES = \
-	linear_arith-new.cpp
-linear_arith_new_LDADD = \
-	@builddir@/../../src/libcvc4.la
-
-sets_SOURCES = \
-	sets.cpp
-sets_LDADD = \
-	@builddir@/../../src/libcvc4.la
-sets_new_SOURCES = \
-	sets-new.cpp
-sets_new_LDADD = \
-	@builddir@/../../src/libcvc4.la
-
-strings_SOURCES = \
-	strings.cpp
-strings_LDADD = \
-	@builddir@/../../src/libcvc4.la
-strings_new_SOURCES = \
-	strings-new.cpp
-strings_new_LDADD = \
-	@builddir@/../../src/libcvc4.la
-
-# for installation
-examplesdir = $(docdir)/$(subdir)
-examples_DATA = $(DIST_SOURCES) $(EXTRA_DIST)
diff --git a/examples/api/java/Makefile b/examples/api/java/Makefile
deleted file mode 100644
index 10a950e1c..000000000
--- a/examples/api/java/Makefile
+++ /dev/null
@@ -1,4 +0,0 @@
-topdir = ../../..
-srcdir = examples/api/java
-
-include $(topdir)/Makefile.subdir
diff --git a/examples/api/java/Makefile.am b/examples/api/java/Makefile.am
deleted file mode 100644
index 6ce35b300..000000000
--- a/examples/api/java/Makefile.am
+++ /dev/null
@@ -1,39 +0,0 @@
-noinst_DATA =
-
-if CVC4_LANGUAGE_BINDING_JAVA
-noinst_DATA += \
-	#CVC4Streams.class \  ## disabled until bindings for the new API are in place (issue #2284)
-	BitVectors.class \
-	BitVectorsAndArrays.class \
-	Combination.class \
-	HelloWorld.class \
-	LinearArith.class \
-	Datatypes.class \
-	PipedInput.class \
-	Strings.class
-endif
-
-%.class: %.java
-	$(AM_V_JAVAC)$(JAVAC) -classpath "@builddir@/../../../src/bindings/CVC4.jar" -d "@builddir@" $<
-
-EXTRA_DIST = \
-	CVC4Streams.java \
-	BitVectors.java \
-	BitVectorsAndArrays.java \
-	Combination.java \
-	HelloWorld.java \
-	LinearArith.java \
-	Datatypes.java \
-	PipedInput.java \
-	Strings.java
-
-# for installation
-examplesdir = $(docdir)/$(subdir)
-examples_DATA = $(DIST_SOURCES) $(EXTRA_DIST)
-
-MOSTLYCLEANFILES = $(noinst_DATA)
-
-# for silent automake rules
-AM_V_JAVAC = $(am__v_JAVAC_$(V))
-am__v_JAVAC_ = $(am__v_JAVAC_$(AM_DEFAULT_VERBOSITY))
-am__v_JAVAC_0 = @echo "  JAVAC " $@;
diff --git a/examples/hashsmt/Makefile b/examples/hashsmt/Makefile
deleted file mode 100644
index 7bb553677..000000000
--- a/examples/hashsmt/Makefile
+++ /dev/null
@@ -1,4 +0,0 @@
-topdir = ../..
-srcdir = examples/hashsmt
-
-include $(topdir)/Makefile.subdir
diff --git a/examples/hashsmt/Makefile.am b/examples/hashsmt/Makefile.am
deleted file mode 100644
index 950a06af8..000000000
--- a/examples/hashsmt/Makefile.am
+++ /dev/null
@@ -1,36 +0,0 @@
-AM_CPPFLAGS = \
-	-I@srcdir@/../../src/include -I@srcdir@/../../src -I@builddir@/../../src $(ANTLR_INCLUDES)
-AM_CXXFLAGS = -Wall
-AM_CFLAGS = -Wall
-
-noinst_PROGRAMS = \
-	sha1_inversion \
-	sha1_collision
-
-noinst_DATA =
-
-sha1_inversion_SOURCES = \
-	sha1_inversion.cpp \
-	word.h \
-	word.cpp \
-	sha1.hpp
-sha1_inversion_LDADD = \
-	@builddir@/../../src/libcvc4.la
-
-sha1_collision_SOURCES = \
-	sha1_collision.cpp \
-	word.h \
-	word.cpp \
-	sha1.hpp
-sha1_collision_LDADD = \
-	@builddir@/../../src/libcvc4.la
-
-
-# for installation
-examplesdir = $(docdir)/$(subdir)
-examples_DATA = \
-	sha1_inversion.cpp \
-	sha1_collision.cpp \
-	word.h \
-	word.cpp \
-	sha1.hpp
diff --git a/examples/nra-translate/Makefile b/examples/nra-translate/Makefile
deleted file mode 100644
index 85400a5c7..000000000
--- a/examples/nra-translate/Makefile
+++ /dev/null
@@ -1,4 +0,0 @@
-topdir = ../..
-srcdir = examples/nra-translate
-
-include $(topdir)/Makefile.subdir
diff --git a/examples/nra-translate/Makefile.am b/examples/nra-translate/Makefile.am
deleted file mode 100644
index 081ada412..000000000
--- a/examples/nra-translate/Makefile.am
+++ /dev/null
@@ -1,61 +0,0 @@
-AM_CPPFLAGS = \
-	-I@srcdir@/../../src/include -I@srcdir@/../../src -I@builddir@/../../src $(ANTLR_INCLUDES)
-AM_CXXFLAGS = -Wall
-AM_CFLAGS = -Wall
-
-noinst_PROGRAMS = \
-	smt2toqepcad \
-	smt2tomathematica \
-	smt2toisat \
-	smt2toredlog \
-	smt2todreal \
-	normalize \
-	smt2info	
-
-noinst_DATA =
-
-smt2toqepcad_SOURCES = \
-	smt2toqepcad.cpp
-smt2toqepcad_LDADD = \
-	@builddir@/../../src/parser/libcvc4parser.la \
-	@builddir@/../../src/libcvc4.la
-
-smt2tomathematica_SOURCES = \
-	smt2tomathematica.cpp
-smt2tomathematica_LDADD = \
-	@builddir@/../../src/parser/libcvc4parser.la \
-	@builddir@/../../src/libcvc4.la
-
-smt2toisat_SOURCES = \
-	smt2toisat.cpp
-smt2toisat_LDADD = \
-	@builddir@/../../src/parser/libcvc4parser.la \
-	@builddir@/../../src/libcvc4.la
-
-smt2toredlog_SOURCES = \
-	smt2toredlog.cpp
-smt2toredlog_LDADD = \
-	@builddir@/../../src/parser/libcvc4parser.la \
-	@builddir@/../../src/libcvc4.la
-
-smt2todreal_SOURCES = \
-	smt2todreal.cpp
-smt2todreal_LDADD = \
-	@builddir@/../../src/parser/libcvc4parser.la \
-	@builddir@/../../src/libcvc4.la
-
-smt2info_SOURCES = \
-	smt2info.cpp
-smt2info_LDADD = \
-	@builddir@/../../src/parser/libcvc4parser.la \
-	@builddir@/../../src/libcvc4.la
-
-normalize_SOURCES = \
-	normalize.cpp
-normalize_LDADD = \
-	@builddir@/../../src/parser/libcvc4parser.la \
-	@builddir@/../../src/libcvc4.la
-
-# for installation
-examplesdir = $(docdir)/$(subdir)
-examples_DATA = $(DIST_SOURCES) $(EXTRA_DIST)
diff --git a/examples/sets-translate/Makefile b/examples/sets-translate/Makefile
deleted file mode 100644
index 8efe0c48e..000000000
--- a/examples/sets-translate/Makefile
+++ /dev/null
@@ -1,4 +0,0 @@
-topdir = ../..
-srcdir = examples/sets-translate
-
-include $(topdir)/Makefile.subdir
diff --git a/examples/sets-translate/Makefile.am b/examples/sets-translate/Makefile.am
deleted file mode 100644
index 1c5dc392b..000000000
--- a/examples/sets-translate/Makefile.am
+++ /dev/null
@@ -1,29 +0,0 @@
-AM_CPPFLAGS = \
-	-I@srcdir@/../../src/include -I@srcdir@/../../src -I@builddir@/../../src $(ANTLR_INCLUDES)
-AM_CXXFLAGS = -Wall
-AM_CFLAGS = -Wall
-
-noinst_PROGRAMS = \
-	sets2arrays \
-	sets2axioms
-
-noinst_DATA =
-
-sets2arrays_SOURCES = \
-	sets_translate.cpp
-sets2arrays_LDADD = \
-	@builddir@/../../src/parser/libcvc4parser.la \
-	@builddir@/../../src/libcvc4.la
-
-# give nodist_: only distribute/install once
-nodist_sets2axioms_SOURCES = \
-	sets_translate.cpp
-sets2axioms_LDADD = \
-	@builddir@/../../src/parser/libcvc4parser.la \
-	@builddir@/../../src/libcvc4.la
-sets2axioms_CXXFLAGS = \
-	-DENABLE_AXIOMS
-
-# for installation
-examplesdir = $(docdir)/$(subdir)
-examples_DATA = $(DIST_SOURCES) $(EXTRA_DIST)