diff options
Diffstat (limited to 'src/boot/Makefile.am')
| -rw-r--r-- | src/boot/Makefile.am | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/boot/Makefile.am b/src/boot/Makefile.am index ce215b9a..a2bd1cf5 100644 --- a/src/boot/Makefile.am +++ b/src/boot/Makefile.am @@ -74,8 +74,7 @@ bemol_SOURCES = \ bemol.cc bemol_LDADD = \ - -L$(oa_target_libdir) -lOpenAxiom \ - -L$(top_builddir)/src/syntax -lsyntax + -L$(oa_target_libdir) -lOpenAxiom oa_target_bootdir = $(oa_targetdir)/boot if OA_ECL_RT |