diff options
Diffstat (limited to 'src/boot')
| -rw-r--r-- | src/boot/Makefile.am | 3 | ||||
| -rw-r--r-- | src/boot/Makefile.in | 3 |
2 files changed, 2 insertions, 4 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 diff --git a/src/boot/Makefile.in b/src/boot/Makefile.in index c4de5c79..6c136b1d 100644 --- a/src/boot/Makefile.in +++ b/src/boot/Makefile.in @@ -450,8 +450,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 @OA_ECL_RT_FALSE@oa_bootsys_linkset = |