From edd400baac8b4055b9e539a0324e09e07abed02c Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Sat, 15 Mar 2014 17:41:27 -0400
Subject: [PATCH] Move the translator binary from src/main to examples, no
 longer built by default.

---
 {src/main => examples}/translator.cpp | 5 +++--
 src/main/Makefile.am                  | 8 +-------
 2 files changed, 4 insertions(+), 9 deletions(-)
 rename {src/main => examples}/translator.cpp (97%)

diff --git a/src/main/translator.cpp b/examples/translator.cpp
similarity index 97%
rename from src/main/translator.cpp
rename to examples/translator.cpp
index 7cc90bbd1..67dce699d 100644
--- a/src/main/translator.cpp
+++ b/examples/translator.cpp
@@ -9,9 +9,10 @@
  ** See the file COPYING in the top-level source directory for licensing
  ** information.\endverbatim
  **
- ** \brief Main driver for CVC4 translator executable
+ ** \brief CVC4 translator
  **
- ** Main driver for CVC4 translator executable.
+ ** The CVC4 translator executable.  This program translates from one of
+ ** CVC4's input languages to one of its output languages.
  **/
 
 #include <iostream>
diff --git a/src/main/Makefile.am b/src/main/Makefile.am
index 042b7cf45..7e87fa59a 100644
--- a/src/main/Makefile.am
+++ b/src/main/Makefile.am
@@ -3,7 +3,7 @@ AM_CPPFLAGS = \
 	-I@builddir@/.. $(ANTLR_INCLUDES) -I@srcdir@/../include -I@srcdir@/..
 AM_CXXFLAGS = -Wall -Wno-unknown-pragmas
 
-bin_PROGRAMS = cvc4 cvc4-translator
+bin_PROGRAMS = cvc4
 
 noinst_LIBRARIES = libmain.a
 
@@ -62,12 +62,6 @@ cvc4_LDADD += \
 	@builddir@/../lib/libreplacements.la
 endif
 
-cvc4_translator_SOURCES = \
-	translator.cpp
-cvc4_translator_LDADD = \
-	@builddir@/../parser/libcvc4parser.la \
-	@builddir@/../libcvc4.la
-
 BUILT_SOURCES = \
 	$(TOKENS_FILES)
 
-- 
2.30.2