diff options
-rw-r--r-- | otherlibs/labltk/lib/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/otherlibs/labltk/lib/Makefile b/otherlibs/labltk/lib/Makefile index 29eea60f7..1962be9c3 100644 --- a/otherlibs/labltk/lib/Makefile +++ b/otherlibs/labltk/lib/Makefile @@ -37,12 +37,12 @@ labltk: Makefile $(TOPDIR)/config/Makefile labltklink: Makefile $(TOPDIR)/config/Makefile @echo Generate $@ @echo "#!/bin/sh" > $@ - @echo 'exec ocamlc -I $(LABLTKDIR) tk41.cma "$$@"' >> $@ + @echo 'exec ocamlc -I $(LABLTKDIR) -cclib -L$(LABLTKDIR) tk41.cma "$$@"' >> $@ labltkopt: Makefile $(TOPDIR)/config/Makefile @echo Generate $@ @echo "#!/bin/sh" > $@ - @echo 'exec ocamlopt -I $(LABLTKDIR) tk41.cmxa "$$@" ' + @echo 'exec ocamlopt -I $(LABLTKDIR) -cclib -L$(LABLTKDIR) tk41.cmxa "$$@" ' >> $@ # All .{ml,mli} files are generated in this directory clean : |