diff options
Diffstat (limited to 'otherlibs/labltk/tkanim/Makefile')
| -rw-r--r-- | otherlibs/labltk/tkanim/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/otherlibs/labltk/tkanim/Makefile b/otherlibs/labltk/tkanim/Makefile index 574069ea5..c29743881 100644 --- a/otherlibs/labltk/tkanim/Makefile +++ b/otherlibs/labltk/tkanim/Makefile @@ -14,10 +14,10 @@ OBJS=tkanim.cmo COBJS= cltkaniminit.$(O) tkAnimGIF.$(O) tkanim.cma: $(OBJS) - $(MKLIB) -ocamlc '$(CAMLC)' -o tkanim $(OBJS) + $(MKLIB) -ocamlc '$(CAMLCB)' -o tkanim $(OBJS) tkanim.cmxa: $(OBJS:.cmo=.cmx) - $(MKLIB) -ocamlopt '$(CAMLOPT)' -o tkanim $(OBJS:.cmo=.cmx) + $(MKLIB) -ocamlopt '$(CAMLOPTB)' -o tkanim $(OBJS:.cmo=.cmx) libtkanim.$(A): $(COBJS) $(MKLIB) -o tkanim $(COBJS) |