diff options
| author | dos-reis <gdr@axiomatics.org> | 2010-08-26 12:17:29 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2010-08-26 12:17:29 +0000 |
| commit | c27fd87803761d4e6829e931612bfb6928c23d73 (patch) | |
| tree | ae182be4df50ceaf37c5fd11917b30e0312a22d7 /src/utils | |
| parent | 95feb5d4024c0d440a6891cfad6606dcb78f8b21 (diff) | |
| download | open-axiom-c27fd87803761d4e6829e931612bfb6928c23d73.tar.gz | |
* utils/Makefile.in: Install libOpenAxiom.a
* driver/main.c (print_configuration_info): New.
(main): Handle --config.
* driver/utils.c (openaxiom_build_rts_options): Likewise.
* driver/utils.h (openaxiom_config_driver): New driver enumerator.
Diffstat (limited to 'src/utils')
| -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 |