diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-06-23 03:41:08 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-06-23 03:41:08 +0000 |
| commit | f56be9ed6d6a46f558dfa4e65bc261b61739d91d (patch) | |
| tree | 98560e24ee385a655c5095e9399cc4b78fcf49ae /src/driver | |
| parent | 5c371a307a201cf425f848d0a0b24631ff47978e (diff) | |
| download | open-axiom-f56be9ed6d6a46f558dfa4e65bc261b61739d91d.tar.gz | |
* driver/Makefile.in (open_axiom_LDADD): Use library archives for
linking, to prevent accidental use of dynamic libraries.
Diffstat (limited to 'src/driver')
| -rw-r--r-- | src/driver/Makefile.in | 7 |
1 files changed, 6 insertions, 1 deletions
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) |