diff options
| -rw-r--r-- | otherlibs/labltk/lib/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/otherlibs/labltk/lib/Makefile b/otherlibs/labltk/lib/Makefile index 81470604d..11df8a47e 100644 --- a/otherlibs/labltk/lib/Makefile +++ b/otherlibs/labltk/lib/Makefile @@ -32,6 +32,7 @@ labltktop$(EXE) : $(TOPDEPS) $(WIDGETOBJS) $(SUPPORT) ../support/liblabltk41.a -I $(TOPDIR)/toplevel toplevellib.cma labltk.cma \ -I $(OTHERS)/unix unix.cma \ -I $(OTHERS)/str str.cma \ + -dllpath $(LABLTKDIR) \ topmain.cmo labltk: Makefile $(TOPDIR)/config/Makefile |