Ticket #20855: Makefile.in.diff

File Makefile.in.diff, 541 bytes (added by snb@…, 15 years ago)
  • Makefile.in

    old new  
    2424MANDIR      = $(DESTDIR)/@mandir@
    2525
    2626# other variables set by ./configure
    27 OCAMLC       = @OCAMLC@
    28 OCAMLOPT     = @OCAMLOPT@
     27OCAMLC       = ocamlc
     28OCAMLOPT     = no
    2929OCAMLDEP     = @OCAMLDEP@
    3030OCAMLLIB     = @OCAMLLIB@
    31 OCAMLBEST    = @OCAMLBEST@
    32 OCAMLLEX     = @OCAMLLEX@
     31OCAMLBEST    = byte
     32OCAMLLEX     = ocamllex
    3333OCAMLYACC    = @OCAMLYACC@
    3434OCAMLVERSION = @OCAMLVERSION@
    3535OCAMLWIN32   = @OCAMLWIN32@