diff options
| author | dos-reis <gdr@axiomatics.org> | 2014-11-30 06:38:18 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2014-11-30 06:38:18 +0000 |
| commit | 172e429ef0ca254a6711d66dbeb52eae09a6dfa9 (patch) | |
| tree | 44ad89543dd4c06b481a7891ef75ccabbe1bf860 /src/utils | |
| parent | a436cd068c592428dc67217e427fa3b1b02fea81 (diff) | |
| download | open-axiom-172e429ef0ca254a6711d66dbeb52eae09a6dfa9.tar.gz | |
Misc cleanup.
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 0febb681..7aba686e 100644 --- a/src/utils/Makefile.am +++ b/src/utils/Makefile.am @@ -31,7 +31,8 @@ noinst_PROGRAMS = hammer$(EXEEXT) hammer_SOURCES = hammer.cc -hammer_LDADD = -L. -lOpenAxiom +hammer_LDADD = \ + $(oa_target_libdir)/libOpenAxiom.a noinst_LIBRARIES = libOpenAxiom.a diff --git a/src/utils/Makefile.in b/src/utils/Makefile.in index 97cd1a0b..b1d8f1f8 100644 --- a/src/utils/Makefile.in +++ b/src/utils/Makefile.in @@ -147,7 +147,7 @@ libOpenAxiom_a_OBJECTS = $(am_libOpenAxiom_a_OBJECTS) PROGRAMS = $(noinst_PROGRAMS) am_hammer_OBJECTS = hammer.$(OBJEXT) hammer_OBJECTS = $(am_hammer_OBJECTS) -hammer_DEPENDENCIES = +hammer_DEPENDENCIES = $(oa_target_libdir)/libOpenAxiom.a AM_V_lt = $(am__v_lt_@AM_V@) am__v_lt_ = $(am__v_lt_@AM_DEFAULT_V@) am__v_lt_0 = --silent @@ -406,7 +406,9 @@ top_srcdir = @top_srcdir@ void_type = @void_type@ noinst_PROGRAMS = hammer$(EXEEXT) hammer_SOURCES = hammer.cc -hammer_LDADD = -L. -lOpenAxiom +hammer_LDADD = \ + $(oa_target_libdir)/libOpenAxiom.a + noinst_LIBRARIES = libOpenAxiom.a libOpenAxiom_a_SOURCES = \ storage.cc string-pool.cc command.cc \ |