From: Morgan Deters <mdeters@gmail.com>
Date: Sat, 28 May 2011 06:44:07 +0000 (+0000)
Subject: fix unit test linking issue
X-Git-Tag: cvc5-1.0.0~8541
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=b9ffc0f2cf5d2f05e5269ffb8b5f58c5d7f71e0c;p=cvc5.git

fix unit test linking issue
---

diff --git a/src/Makefile.am b/src/Makefile.am
index bf20c9f77..de9aa0339 100644
--- a/src/Makefile.am
+++ b/src/Makefile.am
@@ -28,7 +28,7 @@ libcvc4_la_LDFLAGS = -version-info $(LIBCVC4_VERSION)
 # as a C library, which messes up exception handling support)
 nodist_EXTRA_libcvc4_noinst_la_SOURCES = dummy.cpp
 nodist_EXTRA_libcvc4_la_SOURCES = dummy.cpp
-libcvc4_noinst_la_SOURCES =
+libcvc4_noinst_la_SOURCES = subversion_versioninfo.cpp
 libcvc4_la_SOURCES = subversion_versioninfo.cpp
 libcvc4_la_LIBADD = \
 	@builddir@/util/libutil.la \