You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Original bug ID: 1933 Reporter: administrator Status: closed Resolution: fixed Priority: normal Severity: minor Category: ~DO NOT USE (was: OCaml general)
Bug description
Salut,
I'm building Ocaml 3.07pl2 on Debian woody with make warnings turned
on
alias make='make --warn-undefined-variables'
I see that GENERATORS and TKANIM_LIB are both undefined when doing
make opt. They occur here:
JG and MG should look into this -DD
MG: Ok for me, I removed the unused variable GENERATORS.
XL: nuked animwish/TKANIM_LIB in otherlibs/labltk/tkanim/Makefile
Original bug ID: 1933
Reporter: administrator
Status: closed
Resolution: fixed
Priority: normal
Severity: minor
Category: ~DO NOT USE (was: OCaml general)
Bug description
Salut,
I'm building Ocaml 3.07pl2 on Debian woody with make warnings turned
on
alias make='make --warn-undefined-variables'
I see that GENERATORS and TKANIM_LIB are both undefined when doing
make opt. They occur here:
./otherlibs/labltk/tkanim/Makefile:animwish: $(TKANIM_LIB) tkAppInit.o$(CP) ocamldoc.hva *.cmi $ (GENERATORS) $(OCAMLDOC_LIBCMA) $ (INSTALL_LIBDIR)$(CP) ocamldoc.hva *.cmi $ (GENERATORS) $(OCAMLDOC_LIBCMA) $ (INSTALL_LIBDIR)
./otherlibs/labltk/tkanim/Makefile.nt:# animwish: $(TKANIM_LIB) tkAppInit.o
./ocamldoc/Makefile:
./ocamldoc/Makefile.nt:
This appears not to interfere with building so is not serious. In
general, though, undefined Makefile variables lead to Trouble. 8-)
Amicalement,
-James
The text was updated successfully, but these errors were encountered: