diff options
Diffstat (limited to 'src/utils/Makefile.in')
-rw-r--r-- | src/utils/Makefile.in | 6 |
1 files changed, 4 insertions, 2 deletions
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 = \ |