Coqdoc is like ocamldoc for Coq, it output nicely formated theorems, definitions etc... Should go with Coq in dev-ml or app-sci, ebuild attached.
Created attachment 18782 [details] ebuild source
Update dependency (coqdoc is unuseful without Coq) and add EBUILD keyword.
Hi Mattieu Sorry for taking so long to get to the last two I see assigned to me, - I've got a ton of bugs reopened by bugzilla not so long ago and did not notice these two :(. Besides I thought you've already processed all your stuff ;). Anyway, I am trying this one out and I am getting a failure: groug coqdoc # ebuild coqdoc-1.05.ebuild clean unpack compile >>> md5 src_uri ;-) coqdoc-1.05.tar.gz >>> Unpacking source... >>> Unpacking coqdoc-1.05.tar.gz to /var/tmp/portage/coqdoc-1.05/work >>> Source unpacked. >>> md5 src_uri ;-) coqdoc-1.05.tar.gz creating cache ./config.cache checking for ocamlc... ocamlc ocaml version is 3.07+2 ocaml library path is /usr/lib/ocaml checking for ocamlopt... ocamlopt checking ocamlopt version... ok checking for ocamlc.opt... ocamlc.opt checking ocamlc.opt version... ok checking for ocamlopt.opt... ocamlopt.opt checking ocamlc.opt version... ok checking for ocamldep... ocamldep checking for ocamllex... ocamllex checking for ocamllex.opt... ocamllex.opt checking for ocamlyacc... ocamlyacc checking for ocamlweb... true checking for mktexlsr... /usr/bin/mktexlsr updating cache ./config.cache creating ./config.status creating Makefile echo "let version = \""1.05"\"" > version.ml echo "let date = \""`date`"\"" >> version.ml rm -f .depend ocamldep *.ml *.mli > .depend ocamlc.opt -c -g alpha.mli ocamlopt.opt -c alpha.ml ocamlc.opt -c -g index.mli ocamlopt.opt -c index.ml File "index.mll", line 166, characters 17-65327: Some record field labels are undefined: lex_base_code lex_backtrk_code lex_default_code lex_trans_code lex_check_code lex_code make: *** [index.cmx] Ошибка 2 That's using freshly installed ocaml (dev-lang/ocaml-3.07-r1). This looks like something with actual code, which I am not sure what to do about. Could you please take a look? I also had some acces violations when trying this ebuild with "doc" use flag set, which are related to tetex trying to generate missing fonts. I'll look into this later, after this problem is handled. George
Reassigning this one as well
Closing as coqdoc is now integrated with coq.