diff options
Diffstat (limited to 'src/compat/Makefile.am')
| -rw-r--r-- | src/compat/Makefile.am | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/compat/Makefile.am b/src/compat/Makefile.am index 5a8bd454e..ebb13426d 100644 --- a/src/compat/Makefile.am +++ b/src/compat/Makefile.am @@ -25,8 +25,8 @@ libcvc4compat_la_LDFLAGS = \ -version-info $(LIBCVC4COMPAT_VERSION) libcvc4compat_la_LIBADD = \ - -L@builddir@/.. -lcvc4 \ - -L@builddir@/../parser -lcvc4parser + @builddir@/../libcvc4.la \ + @builddir@/../parser/libcvc4parser.la if CVC4_NEEDS_REPLACEMENT_FUNCTIONS libcvc4compat_la_LIBADD += \ |