diff options
Diffstat (limited to 'src/compat/Makefile.am')
| -rw-r--r-- | src/compat/Makefile.am | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/src/compat/Makefile.am b/src/compat/Makefile.am index ebb13426d..df4603a9a 100644 --- a/src/compat/Makefile.am +++ b/src/compat/Makefile.am @@ -26,12 +26,8 @@ libcvc4compat_la_LDFLAGS = \ libcvc4compat_la_LIBADD = \ @builddir@/../libcvc4.la \ - @builddir@/../parser/libcvc4parser.la - -if CVC4_NEEDS_REPLACEMENT_FUNCTIONS -libcvc4compat_la_LIBADD += \ + @builddir@/../parser/libcvc4parser.la \ @builddir@/../lib/libreplacements.la -endif libcvc4compat_la_SOURCES = \ cvc3_compat.h \ |