diff options
Diffstat (limited to 'src/utils/Makefile.in')
| -rw-r--r-- | src/utils/Makefile.in | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/src/utils/Makefile.in b/src/utils/Makefile.in index 4f43e115..db30091e 100644 --- a/src/utils/Makefile.in +++ b/src/utils/Makefile.in @@ -47,6 +47,8 @@ oa_target_headerdir = $(oa_target_includedir)/open-axiom oa_include_flags = -I. -I$(oa_target_includedir) -I$(top_builddir)/config +oa_target_oalib = $(axiom_target_libdir)/libOpenAxiom.$(LIBEXT) + .PHONY: all all-ax all-utils .SUFFIXES: .SUFFIXES: .cc .H .$(OBJEXT) .$(LIBEXT) @@ -57,10 +59,13 @@ all: all-ax all-ax all-utils: stamp -stamp: libOpenAxiom.$(LIBEXT) hammer$(EXEEXT) +stamp: $(oa_target_oalib) hammer$(EXEEXT) -rm -f stamp $(STAMP) stamp +$(oa_target_oalib): libOpenAxiom.$(LIBEXT) + cp $< $@ + stamp-headers: $(libOpenAxiom_HEADERS) Makefile rm -f stamp-headers if [ ! -d $(oa_target_headerdir) ]; then \ @@ -92,6 +97,7 @@ libOpenAxiom.$(LIBEXT): $(libOpenAxiom_OBJECTS) mostlyclean-local: @rm -rf .libs @rm -rf $(oa_include_headerdir) stamp-headers + @rm -f $(oa_target_oalib) @rm -f $(libOpenAxiom_OBJECTS) @rm -f *~ core |