413925 – dev-ml/core should have a "doc" USE flag

Bug 413925 - dev-ml/core should have a "doc" USE flag

Summary: dev-ml/core should have a "doc" USE flag

Status:	RESOLVED FIXED

Alias:	None

Product:	Gentoo Linux
Classification:	Unclassified
Component:	New packages (show other bugs)
Hardware:	All Linux

Importance:	Normal normal (vote)
Assignee:	Gentoo Team for the ML programming language family

URL:
Whiteboard:
Keywords:

Depends on:
Blocks:

Reported:	2012-04-29 00:18 UTC by Alexandru Scvortov
Modified:	2012-05-04 12:43 UTC (History)
CC List:	0 users

See Also:
Package list:
Runtime testing required:	---

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.

Description Alexandru Scvortov 2012-04-29 00:18:44 UTC

dev-ml/core_extended has a "doc" USE flag that builds and installs documentation. dev-ml/core doesn't.

The fix is to add

  OASIS_BUILD_DOCS=1

before

  inherit oasis

in the ebuild.

This is fairly important since the "official" documentation is for an ancient version of core
  http://www.janestreet.com/ocaml/janestreet-ocamldocs/core/index.html

Comment 1 Alexis Ballier gentoo-dev

2012-05-04 12:43:03 UTC

fixed, thanks