From f56be9ed6d6a46f558dfa4e65bc261b61739d91d Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Thu, 23 Jun 2011 03:41:08 +0000
Subject: 	* driver/Makefile.in (open_axiom_LDADD): Use library archives
 for 	linking, to prevent accidental use of dynamic libraries.

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

(limited to 'src/driver')

diff --git a/src/driver/Makefile.in b/src/driver/Makefile.in
index 6682602b..5db6e056 100644
--- a/src/driver/Makefile.in
+++ b/src/driver/Makefile.in
@@ -36,8 +36,13 @@ open_axiom_SOURCES = main.cc
 
 open_axiom_objects = $(open_axiom_SOURCES:.cc=.lo)
 
+## Ideally, we want a standalone binary driver unencounbered by
+## any sort of dependencies.  However, static program linking is not
+## available on all plaforms (think Mac OS, Solaris, etc.)  So we must link
+## against library archives.  Thefore we avoid using $(axiom_target_libdir)
+## below.  On purpose.
 open_axiom_LDADD = \
-	-L$(axiom_target_libdir)/ \
+	-L$(builddir)/../utils \
 	-L$(builddir)/../lib \
 	-lOpenAxiom $(oa_c_libs)
 
-- 
cgit v1.2.3