From ce8c429281fd1f7e4ac4d2b7133152c1d370df0c Mon Sep 17 00:00:00 2001
From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Fri, 19 Oct 2018 14:45:42 -0700
Subject: Remove autotools build system. (#2639)

---
 examples/nra-translate/Makefile    |  4 ---
 examples/nra-translate/Makefile.am | 61 --------------------------------------
 2 files changed, 65 deletions(-)
 delete mode 100644 examples/nra-translate/Makefile
 delete mode 100644 examples/nra-translate/Makefile.am

(limited to 'examples/nra-translate')

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)
-- 
cgit v1.2.3