diff options
Diffstat (limited to 'otherlibs/labltk')
-rw-r--r-- | otherlibs/labltk/support/Makefile.common | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/otherlibs/labltk/support/Makefile.common b/otherlibs/labltk/support/Makefile.common index 1ef0a5c84..e363f9c51 100644 --- a/otherlibs/labltk/support/Makefile.common +++ b/otherlibs/labltk/support/Makefile.common @@ -11,7 +11,7 @@ LABLTKDIR=$(LIBDIR)/labltk ## Tools from the Objective Caml distribution CAMLRUN=$(TOPDIR)/boot/ocamlrun -LABLC=$(CAMLRUN) $(TOPDIR)/ocamlc -w l -I $(TOPDIR)/stdlib +LABLC=$(CAMLRUN) $(TOPDIR)/ocamlc -I $(TOPDIR)/stdlib LABLCOMP=$(LABLC) -c LABLYACC=$(TOPDIR)/boot/ocamlyacc -v LABLLEX=$(CAMLRUN) $(TOPDIR)/boot/ocamllex |