From c27fd87803761d4e6829e931612bfb6928c23d73 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Thu, 26 Aug 2010 12:17:29 +0000
Subject: 	* 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.

---
 src/utils/Makefile.in | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

(limited to 'src/utils')

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
 
-- 
cgit v1.2.3