Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 204812 - www-apps/mediawiki should allow building without ocamlopt
Summary: www-apps/mediawiki should allow building without ocamlopt
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: All Linux
: High normal (vote)
Assignee: Christian Parpart (RETIRED)
URL:
Whiteboard:
Keywords:
Depends on:
Blocks: 203886
  Show dependency tree
 
Reported: 2008-01-07 20:31 UTC by Alexis Ballier
Modified: 2008-02-23 14:53 UTC (History)
2 users (show)

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


Attachments
allow not having ocamlopt patch, enabled by default (mediawikiocamlopt.patch,1.91 KB, patch)
2008-01-07 20:33 UTC, Alexis Ballier
Details | Diff

Note You need to log in before you can comment on or make changes to this bug.
Description Alexis Ballier gentoo-dev 2008-01-07 20:31:48 UTC
As per bug #203886 and due to some arches lacking good ocamlopt support(ie, ocaml native code compiler), it was decided to make it optional so that it can be use masked on arches where it causes problems.

I'll attach a diff against mediawiki 1.11.0 ebuild.
Comment 1 Alexis Ballier gentoo-dev 2008-01-07 20:33:09 UTC
Created attachment 140405 [details, diff]
allow not having ocamlopt patch, enabled by default
Comment 2 Jakub Moc (RETIRED) gentoo-dev 2008-02-06 10:28:28 UTC
http://overlays.gentoo.org/svn/proj/webapps/migration/www-apps/mediawiki/

Will be in CVS for Bug 207757.
Comment 3 Benedikt Böhm (RETIRED) gentoo-dev 2008-02-23 14:53:26 UTC
fixed