From 5c42662fe5cea3051341c8292202357e2a5e7dd3 Mon Sep 17 00:00:00 2001
From: Kshitij Bansal <kshitij@cs.nyu.edu>
Date: Thu, 29 May 2014 20:13:52 -0400
Subject: Sets translate, and other short fixes

- $ is a simple symbol is smt2.
- ever found yourself counting in kind.h? no longer.
- expose parser "logic is set" state for smt/smt2 (any better way?)
- a more helpful assertion message in smt_engine
---
 examples/sets-translate/Makefile.am | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)
 create mode 100644 examples/sets-translate/Makefile.am

(limited to 'examples/sets-translate/Makefile.am')

diff --git a/examples/sets-translate/Makefile.am b/examples/sets-translate/Makefile.am
new file mode 100644
index 000000000..40b79e998
--- /dev/null
+++ b/examples/sets-translate/Makefile.am
@@ -0,0 +1,19 @@
+AM_CPPFLAGS = \
+	-I@srcdir@/../../src/include -I@srcdir@/../../src -I@builddir@/../../src $(ANTLR_INCLUDES)
+AM_CXXFLAGS = -Wall
+AM_CFLAGS = -Wall
+
+noinst_PROGRAMS = \
+	sets_translate	
+
+noinst_DATA =
+
+sets_translate_SOURCES = \
+	sets_translate.cpp
+sets_translate_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