diff options
Diffstat (limited to 'src/utils/Makefile.am')
| -rw-r--r-- | src/utils/Makefile.am | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/utils/Makefile.am b/src/utils/Makefile.am index a4963851..bc2f1f73 100644 --- a/src/utils/Makefile.am +++ b/src/utils/Makefile.am @@ -32,7 +32,8 @@ noinst_PROGRAMS = hammer$(EXEEXT) hammer_SOURCES = hammer.cc hammer_LDADD = \ - $(oa_target_libdir)/libOpenAxiom.a + $(oa_target_libdir)/libOpenAxiom.a \ + $(oa_target_libdir)/libopen-axiom-core.a noinst_LIBRARIES = libOpenAxiom.a |