Commit Graph

2162 Commits

Author SHA1 Message Date
Michał Górny
59f2a7c441 dev-ml/llvm-ocaml: Bump to 10.0.1_rc1
Signed-off-by: Michał Górny <mgorny@gentoo.org>
2020-05-20 13:22:23 +02:00
Michał Górny
5ef4e9feab dev-ml/llvm-ocaml: 10.x branch is now 10.0.1
Signed-off-by: Michał Górny <mgorny@gentoo.org>
2020-05-20 13:22:08 +02:00
Agostino Sarubbo
78f9a314e7 dev-ml/num: x86 stable wrt bug #723500
Package-Manager: Portage-2.3.99, Repoman-2.3.22
RepoMan-Options: --include-arches="x86"
Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
2020-05-18 15:02:04 +02:00
Agostino Sarubbo
f976bf2cf9 dev-ml/num: amd64 stable wrt bug #723500
Package-Manager: Portage-2.3.99, Repoman-2.3.22
RepoMan-Options: --include-arches="amd64"
Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
2020-05-18 14:54:39 +02:00
Alfredo Tupone
12b6184ba9 dev-ml/zarith: using AR
Closes: https://bugs.gentoo.org/723144
Package-Manager: Portage-2.3.99, Repoman-2.3.22
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
2020-05-17 18:00:24 +02:00
Alfredo Tupone
2d2bdbe301 dev-ml/lablgtk: uses CFLAGS and fix -fno-common
Closes: https://bugs.gentoo.org/721952
Package-Manager: Portage-2.3.99, Repoman-2.3.22
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
2020-05-14 22:30:13 +02:00
Alfredo Tupone
b3febb9a5b dev-ml/camlp5: Try for fixing SourcingError
Package-Manager: Portage-2.3.99, Repoman-2.3.22
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
2020-05-14 07:58:33 +02:00
Joonas Niilola
768234f9dd dev-ml/camlp5: attempt to fix breakage
Signed-off-by: Joonas Niilola <juippis@gentoo.org>
2020-05-13 16:19:12 +03:00
Alfredo Tupone
a828a291d0 dev-ml/camlp5: fis QA warning on CFLAGS
Closes: https://bugs.gentoo.org/722360
Package-Manager: Portage-2.3.99, Repoman-2.3.22
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
2020-05-13 10:11:19 +02:00
Rafael Kitover
05f8053ee4 dev-ml/camlp4: Avoid stack overflow in build.
Add ulimit -s 11530000 (set stack limit to 11GiB) to src_compile() to
try to avoid stack overflow errors.

Closes: https://bugs.gentoo.org/644352
Package-Manager: Portage-2.3.99, Repoman-2.3.22
Signed-off-by: Rafael Kitover <rkitover@gmail.com>
Closes: https://github.com/gentoo/gentoo/pull/15433
Signed-off-by: Joonas Niilola <juippis@gentoo.org>
2020-05-05 11:46:35 +03:00
Jonas Stein
a0c7dcec44 dev-ml/ocamlmod: QA Fix SRC_URI
Use variable instead of static URI

Package-Manager: Portage-2.3.99, Repoman-2.3.22
Signed-off-by: Jonas Stein <jstein@gentoo.org>
2020-05-05 02:16:38 +02:00
Michał Górny
6d247a5cd6 dev-ml/llvm-ocaml: Remove 7*
Signed-off-by: Michał Górny <mgorny@gentoo.org>
2020-05-01 10:53:55 +02:00
Michał Górny
bea8b8b375 dev-ml/llvm-ocaml: AVR is now mainline target
Signed-off-by: Michał Górny <mgorny@gentoo.org>
2020-04-29 08:24:35 +02:00
Alfredo Tupone
a5590b6514 dev-ml/num: use ocamlopt
Closes: https://bugs.gentoo.org/710892
Package-Manager: Portage-2.3.89, Repoman-2.3.20
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
2020-04-07 20:41:04 +02:00
Matt Turner
0b8b716331 */*: Drop stable ia64 keywords
Signed-off-by: Matt Turner <mattst88@gentoo.org>
2020-04-03 12:33:33 -07:00
Sam James (sam_c)
2ecfec2c26 dev-ml/dune: arm64 stable (#710374)
Signed-off-by: Sam James (sam_c) <sam@cmpct.info>
Signed-off-by: Mart Raudsepp <leio@gentoo.org>
2020-03-31 20:51:29 +03:00
Sam James (sam_c)
f626833f7c dev-ml/findlib: arm64 stable (bug #708874)
Signed-off-by: Sam James (sam_c) <sam@cmpct.info>
Signed-off-by: Mart Raudsepp <leio@gentoo.org>
2020-03-31 20:51:27 +03:00
Tupone Alfredo
73876a2b12 dev-ml/zarith: remove old versions
Package-Manager: Portage-2.3.89, Repoman-2.3.20
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
2020-03-27 13:50:36 +01:00
Tupone Alfredo
6ab24eb543 dev-ml/camlzip: requires a newer version of ocaml
Package-Manager: Portage-2.3.89, Repoman-2.3.20
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
2020-03-27 13:40:55 +01:00
Tupone Alfredo
1a85a3eea7 dev-ml/zarith: require a newer version of ocaml
Closes: https://bugs.gentoo.org/648982
Package-Manager: Portage-2.3.89, Repoman-2.3.20
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
2020-03-27 13:39:26 +01:00
Michał Górny
2e8c0d89e4 dev-ml/llvm-ocaml: Remove 10.0.0 RCs
Signed-off-by: Michał Górny <mgorny@gentoo.org>
2020-03-25 18:58:38 +01:00
Michał Górny
1e66f43b78 dev-ml/llvm-ocaml: Bump to 10.0.0
Signed-off-by: Michał Górny <mgorny@gentoo.org>
2020-03-24 22:46:14 +01:00
Michał Górny
09fcb419c6 dev-ml/llvm-ocaml: Bump to 10.0.0rc6
Signed-off-by: Michał Górny <mgorny@gentoo.org>
2020-03-23 21:34:46 +01:00
Tupone Alfredo
2f51c2cc43 dev-ml/lablgtk: require a newerb version of dev-lang/ocaml
Closes: https://bugs.gentoo.org/713578
Package-Manager: Portage-2.3.89, Repoman-2.3.20
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
2020-03-23 18:41:06 +01:00
David Seifert
e33c4bb5fc dev-ml/lablgtk: Remove USE="opengl"
* Depends on EOL GtkGLArea

Package-Manager: Portage-2.3.93, Repoman-2.3.20
Signed-off-by: David Seifert <soap@gentoo.org>
2020-03-20 21:05:41 +01:00
Rolf Eike Beer
cf93a70138 dev-ml/*: drop to ~hppa
Package-Manager: Portage-2.3.89, Repoman-2.3.20
RepoMan-Options: --include-arches="hppa"
Signed-off-by: Rolf Eike Beer <eike@sf-mail.de>
Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
2020-03-20 08:07:28 +00:00
Michał Górny
21d724b447 dev-ml/llvm-ocaml: Bump to 10.0.0rc4
Signed-off-by: Michał Górny <mgorny@gentoo.org>
2020-03-16 08:06:27 +01:00
Michał Górny
6b87110ab2 dev-ml/llvm-ocaml: Remove 10.0.0rc[12]
Signed-off-by: Michał Górny <mgorny@gentoo.org>
2020-03-04 19:38:49 +01:00
Michał Górny
afb65ce593 dev-ml/llvm-ocaml: Keyword 10.0.0rc3
Signed-off-by: Michał Górny <mgorny@gentoo.org>
2020-03-04 19:38:31 +01:00
Michał Górny
34636ad00f dev-ml/llvm-ocaml: Bump to 10.0.0rc3
Signed-off-by: Michał Górny <mgorny@gentoo.org>
2020-03-04 17:24:35 +01:00
Agostino Sarubbo
e24ad69d5e dev-ml/dune: x86 stable wrt bug #710374
Package-Manager: Portage-2.3.84, Repoman-2.3.20
RepoMan-Options: --include-arches="x86"
Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
2020-02-24 13:49:49 +01:00
Agostino Sarubbo
3cfd5aa2b8 dev-ml/dune: arm stable wrt bug #710374
Package-Manager: Portage-2.3.84, Repoman-2.3.20
RepoMan-Options: --include-arches="arm"
Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
2020-02-24 11:07:06 +01:00
David Seifert
3b8cba93fa */*: [QA] Use consistent function definition formatting
Signed-off-by: David Seifert <soap@gentoo.org>
2020-02-22 22:07:26 +01:00
Tupone Alfredo
cfee64c2f8 dev-ml/dune: remove old version
Package-Manager: Portage-2.3.84, Repoman-2.3.20
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
2020-02-21 19:07:52 +01:00
Agostino Sarubbo
68627b990f dev-ml/dune: amd64 stable wrt bug #710374
Package-Manager: Portage-2.3.84, Repoman-2.3.20
RepoMan-Options: --include-arches="amd64"
Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
2020-02-21 16:56:03 +01:00
Tupone Alfredo
b18e95377e dev-ml/lablgtk: took maintainership
Package-Manager: Portage-2.3.84, Repoman-2.3.20
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
2020-02-17 21:26:25 +01:00
Tupone Alfredo
2aee2758ca dev-ml/lablgtk: version bump to 2.18.10
Package-Manager: Portage-2.3.84, Repoman-2.3.20
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
2020-02-17 21:24:21 +01:00
Tupone Alfredo
65f25651d8 dev-ml/zarith: took maintainership
Package-Manager: Portage-2.3.84, Repoman-2.3.20
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
2020-02-17 19:22:03 +01:00
Tupone Alfredo
1700ee5bc2 dev-ml/zarith: Version bump to 1.9.1
Package-Manager: Portage-2.3.84, Repoman-2.3.20
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
2020-02-17 19:19:53 +01:00
Tupone Alfredo
4b6d68a52e dev-ml/camlp5: remove old versions
Package-Manager: Portage-2.3.84, Repoman-2.3.20
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
2020-02-17 14:36:14 +01:00
Agostino Sarubbo
b120d34370 dev-ml/camlp5: x86 stable wrt bug #709348
Package-Manager: Portage-2.3.84, Repoman-2.3.20
RepoMan-Options: --include-arches="x86"
Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
2020-02-17 13:21:09 +01:00
Agostino Sarubbo
f8e5096a6e dev-ml/camlp5: amd64 stable wrt bug #709348
Package-Manager: Portage-2.3.84, Repoman-2.3.20
RepoMan-Options: --include-arches="amd64"
Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
2020-02-17 13:13:20 +01:00
Agostino Sarubbo
bb2a5431c1 dev-ml/camlp5: ppc stable wrt bug #709348
Package-Manager: Portage-2.3.84, Repoman-2.3.20
RepoMan-Options: --include-arches="ppc"
Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
2020-02-17 13:08:47 +01:00
Tupone Alfredo
1fc431bc28 dev-ml/camlzip: Version bump to 1.10
Package-Manager: Portage-2.3.84, Repoman-2.3.20
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
2020-02-17 08:34:56 +01:00
Michał Górny
4147165b22 dev-ml/llvm-ocaml: Remove unused WITH_POLLY
Signed-off-by: Michał Górny <mgorny@gentoo.org>
2020-02-14 08:51:22 +01:00
Michał Górny
c80ffc6831 dev-ml/llvm-ocaml: Remove broken VE target from 10.0.0rc2
Signed-off-by: Michał Górny <mgorny@gentoo.org>
2020-02-14 08:51:18 +01:00
Michał Górny
10f5d4f083 dev-ml/llvm-ocaml: Enable py3.8
Signed-off-by: Michał Górny <mgorny@gentoo.org>
2020-02-14 08:50:59 +01:00
Michał Górny
dc2384ab5a dev-ml/llvm-ocaml: Bump to 10.0.0rc2
Signed-off-by: Michał Górny <mgorny@gentoo.org>
2020-02-14 08:50:38 +01:00
Agostino Sarubbo
4ae68d7ee4 dev-ml/labltk: ppc64 stable wrt bug #708672
Package-Manager: Portage-2.3.84, Repoman-2.3.20
RepoMan-Options: --include-arches="ppc64"
Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
2020-02-12 08:53:43 +01:00
Agostino Sarubbo
10b3769146 dev-ml/labltk: ia64 stable wrt bug #708672
Package-Manager: Portage-2.3.84, Repoman-2.3.20
RepoMan-Options: --include-arches="ia64"
Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
2020-02-12 08:47:48 +01:00