diff options
| -rw-r--r-- | otherlibs/labltk/lib/Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/otherlibs/labltk/lib/Makefile b/otherlibs/labltk/lib/Makefile index 11df8a47e..c41ac2b84 100644 --- a/otherlibs/labltk/lib/Makefile +++ b/otherlibs/labltk/lib/Makefile @@ -46,6 +46,9 @@ clean : install: labltk.cma labltktop$(EXE) labltk @if test -d $(LABLTKDIR); then : ; else mkdir $(LABLTKDIR); fi + @if test `grep -s -c '^$(LABLTKDIR)$$' $(LIBDIR)/ld.conf` = 0; then \ + echo $(LABLTKDIR) >> $(LIBDIR)/ld.conf; \ + fi cp $(WIDGETOBJS:.cmo=.cmi) tk.cmi $(LABLTKDIR) cp labltk.cma labltktop$(EXE) $(LABLTKDIR) chmod 644 $(LABLTKDIR)/*.cmi |