diff options
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) |