diff options
| author | Morgan Deters <mdeters@gmail.com> | 2012-11-05 23:21:37 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2012-11-05 23:21:37 +0000 |
| commit | 44ee91efd25f0c64e1ef5d932280935f20403512 (patch) | |
| tree | 7dab7749f3c92deb9ec81181a98654ab357d0bc6 /src/lib | |
| parent | 0c70f77d75ba206e572fa0c91cbb2d8773a6a8db (diff) | |
fixes for replacement function library
Diffstat (limited to 'src/lib')
| -rw-r--r-- | src/lib/Makefile.am | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/src/lib/Makefile.am b/src/lib/Makefile.am index 7867a1d4e..a6ea59e95 100644 --- a/src/lib/Makefile.am +++ b/src/lib/Makefile.am @@ -4,9 +4,11 @@ AM_CPPFLAGS = \ AM_CFLAGS = -Wall -Wno-unknown-pragmas $(FLAG_VISIBILITY_HIDDEN) AM_CXXFLAGS = -Wall -Wno-unknown-pragmas $(FLAG_VISIBILITY_HIDDEN) +if CVC4_NEEDS_REPLACEMENT_FUNCTIONS noinst_LTLIBRARIES = libreplacements.la +endif -libreplacements_la_SOURCES = empty.c +libreplacements_la_SOURCES = libreplacements_la_LIBADD = \ $(LTLIBOBJS) @@ -15,7 +17,3 @@ EXTRA_DIST = \ clock_gettime.c \ clock_gettime.h -CLEANFILES = empty.c - -# empty.c hack -- need *some* source file so that library make rules are built -empty.c:; touch empty.c |