diff options
Diffstat (limited to 'src/utils')
-rw-r--r-- | src/utils/Makefile.am | 3 | ||||
-rw-r--r-- | src/utils/Makefile.in | 6 |
2 files changed, 6 insertions, 3 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 diff --git a/src/utils/Makefile.in b/src/utils/Makefile.in index 7c6d5798..5f977ae5 100644 --- a/src/utils/Makefile.in +++ b/src/utils/Makefile.in @@ -152,7 +152,8 @@ libOpenAxiom_a_OBJECTS = $(am_libOpenAxiom_a_OBJECTS) PROGRAMS = $(noinst_PROGRAMS) am_hammer_OBJECTS = hammer.$(OBJEXT) hammer_OBJECTS = $(am_hammer_OBJECTS) -hammer_DEPENDENCIES = $(oa_target_libdir)/libOpenAxiom.a +hammer_DEPENDENCIES = $(oa_target_libdir)/libOpenAxiom.a \ + $(oa_target_libdir)/libopen-axiom-core.a AM_V_lt = $(am__v_lt_@AM_V@) am__v_lt_ = $(am__v_lt_@AM_DEFAULT_V@) am__v_lt_0 = --silent @@ -415,7 +416,8 @@ void_type = @void_type@ 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 libOpenAxiom_a_SOURCES = \ |