From 477e97cd81afe4b86eea47e9abe6311fc22299fc Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Tue, 17 Nov 2009 17:27:56 +0000 Subject: ignored items --- src/main/Makefile.am | 6 ++++++ 1 file changed, 6 insertions(+) create mode 100644 src/main/Makefile.am (limited to 'src/main') diff --git a/src/main/Makefile.am b/src/main/Makefile.am new file mode 100644 index 000000000..e857c8245 --- /dev/null +++ b/src/main/Makefile.am @@ -0,0 +1,6 @@ +INCLUDES = -I@srcdir@/../include -I@srcdir@/.. +AM_CXXFLAGS = -Wall + +bin_BINARIES = cvc4 + +cvc4_SOURCES = -- cgit v1.2.3