diff options
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 |