projects
/
gentoo.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
b4ab028
)
dev-ml/result: add ~ppc (bug 527318).
author
Michael Weber
<xmw@gentoo.org>
Wed, 5 Apr 2017 09:41:05 +0000
(11:41 +0200)
committer
Michael Weber
<xmw@gentoo.org>
Wed, 5 Apr 2017 09:51:36 +0000
(11:51 +0200)
Package-Manager: Portage-2.3.5, Repoman-2.3.2
RepoMan-Options: --include-arches="ppc"
dev-ml/result/result-1.2.ebuild
patch
|
blob
|
history
diff --git
a/dev-ml/result/result-1.2.ebuild
b/dev-ml/result/result-1.2.ebuild
index a77e674fd3bf62f08662b554d747535fc0814d6b..e7e8d891a2ae0f5160969ee54557815c85d2a5a9 100644
(file)
--- a/
dev-ml/result/result-1.2.ebuild
+++ b/
dev-ml/result/result-1.2.ebuild
@@
-11,7
+11,7
@@
SRC_URI="https://github.com/janestreet/result/archive/${PV}.tar.gz -> ${P}.tar.g
LICENSE="BSD"
SLOT="0/${PV}"
-KEYWORDS="~amd64 ~arm"
+KEYWORDS="~amd64 ~arm
~ppc
"
IUSE="+ocamlopt"
RDEPEND="dev-lang/ocaml:=[ocamlopt?]"