Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

no -ocamldoc option in ocamlbuild #6166

Closed
vicuna opened this issue Sep 9, 2013 · 5 comments
Closed

no -ocamldoc option in ocamlbuild #6166

vicuna opened this issue Sep 9, 2013 · 5 comments

Comments

@vicuna
Copy link

vicuna commented Sep 9, 2013

Original bug ID: 6166
Reporter: berenger
Assigned to: @xclerc
Status: closed (set by @xclerc on 2013-09-09T08:54:08Z)
Resolution: fixed
Priority: high
Severity: feature
Platform: all
OS: all
OS Version: all
Version: 4.00.1
Category: -for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
Duplicate of: #5065

Bug description

While there are the following options:

  -ocamlc <command>
          Set the OCaml bytecode compiler

   -ocamlopt <command>
          Set the OCaml native compiler

   -ocamldep <command>
          Set the OCaml dependency tool

   -ocamlyacc <command>
          Set the ocamlyacc tool

   -ocamllex <command>
          Set the ocamllex tool

   -ocamlrun <command>
          Set the ocamlrun tool

I wanted to force ocamlbuild into using ocamldoc.opt
instead of ocamldoc.
I could not, since the option is not there.
I had to tweak findlib.conf instead.

@vicuna
Copy link
Author

vicuna commented Sep 9, 2013

Comment author: @dbuenzli

You must use an old OCaml this was fixed in 3.12.1 see PR #5065.

@vicuna
Copy link
Author

vicuna commented Sep 9, 2013

Comment author: berenger

OK, it is the manpage of ocamlbuild I read that doesn't mention it.
But yes, ocamlbuild has the option.
man /home/berenger/.opam/4.00.1/man/man1/ocamlbuild.1

@vicuna
Copy link
Author

vicuna commented Sep 9, 2013

Comment author: berenger

So, the manpage is outdated.

@vicuna
Copy link
Author

vicuna commented Sep 9, 2013

Comment author: @xclerc

Daniel is right, this is already fixed.

@vicuna
Copy link
Author

vicuna commented Sep 9, 2013

Comment author: @xclerc

The documentation issue is also fixed as of commit 14076 in trunk.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

1 participant