summaryrefslogtreecommitdiff
path: root/dev-ml
Commit message (Collapse)AuthorAgeFilesLines
* dev-ml/llvm-ocaml: Bump to 10.0.1Michał Górny2020-07-212-0/+116
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/camlp4: update github linkMichael Mair-Keimberger2020-07-204-7/+7
| | | | | | Package-Manager: Portage-2.3.103, Repoman-2.3.23 Signed-off-by: Michael Mair-Keimberger <m.mairkeimberger@gmail.com> Signed-off-by: Joonas Niilola <juippis@gentoo.org>
* dev-ml/cryptokit: x86 keyworded (bug #729796)Sam James2020-07-201-2/+2
| | | | | Package-Manager: Portage-2.3.103, Repoman-2.3.23 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/llvm-ocaml: Add 12.0.0.9999 for master branchMichał Górny2020-07-151-0/+115
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Bump to 10.0.1-rc4Michał Górny2020-07-082-0/+116
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Bump to 10.0.1-rc3Michał Górny2020-07-072-0/+116
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Bump to 10.0.1-rc2Michał Górny2020-06-292-0/+116
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/ocaml-fileutils: xml: maint, longdesc, useRafael Kitover2020-06-241-1/+22
| | | | | | | | | | Add myself as proxymaint and add longdescription and use flag ocamlopt to metadata.xml. Package-Manager: Portage-2.3.100, Repoman-2.3.22 Signed-off-by: Rafael Kitover <rkitover@gmail.com> Closes: https://github.com/gentoo/gentoo/pull/15421 Signed-off-by: Joonas Niilola <juippis@gentoo.org>
* dev-ml/ocaml-fileutils: dep 0.5.2 on ocaml<4.09Rafael Kitover2020-06-241-2/+5
| | | | | | | | 0.5.2 does not build on ocaml 4.09 or newer. Package-Manager: Portage-2.3.100, Repoman-2.3.22 Signed-off-by: Rafael Kitover <rkitover@gmail.com> Signed-off-by: Joonas Niilola <juippis@gentoo.org>
* dev-ml/ocaml-fileutils: dep 0.5.1 on ocaml<4.09Rafael Kitover2020-06-241-2/+5
| | | | | | | | 0.5.1 does not build on ocaml 4.09 or newer. Package-Manager: Portage-2.3.100, Repoman-2.3.22 Signed-off-by: Rafael Kitover <rkitover@gmail.com> Signed-off-by: Joonas Niilola <juippis@gentoo.org>
* dev-ml/ocaml-fileutils: add 0.6.2Rafael Kitover2020-06-242-0/+25
| | | | | | | | | Using the new dune.eclass. Closes: https://bugs.gentoo.org/704154 Package-Manager: Portage-2.3.100, Repoman-2.3.22 Signed-off-by: Rafael Kitover <rkitover@gmail.com> Signed-off-by: Joonas Niilola <juippis@gentoo.org>
* dev-ml/stdlib-shims: new package 0.2.0Rafael Kitover2020-06-243-0/+44
| | | | | | | | | | This is a dependency of dev-ml/ocaml-fileutils-0.6.2. Using the new dune.eclass. Package-Manager: Portage-2.3.100, Repoman-2.3.22 Signed-off-by: Rafael Kitover <rkitover@gmail.com> Signed-off-by: Joonas Niilola <juippis@gentoo.org>
* dev-ml/llvm-ocaml: Dedupe with new eclass codeMichał Górny2020-06-233-45/+6
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/lablgtk: x86 stable (bug #713540)Thomas Deutschmann2020-06-211-1/+1
| | | | | Package-Manager: Portage-2.3.101, Repoman-2.3.22 Signed-off-by: Thomas Deutschmann <whissi@gentoo.org>
* dev-ml/llvm-ocaml: Port to py3.9Michał Górny2020-06-201-1/+1
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Port to cmake.eclassMichał Górny2020-06-201-5/+5
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Apply patches in WORKDIR in 10.0.1+Michał Górny2020-06-203-0/+9
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/camlzip: Remove QA warningAlfredo Tupone2020-06-141-0/+5
| | | | | | Closes: https://bugs.gentoo.org/728036 Package-Manager: Portage-2.3.99, Repoman-2.3.22 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ocplib-simplex: respect LDFLAGS and remove warningAlfredo Tupone2020-06-132-1/+57
| | | | | | Closes: https://bugs.gentoo.org/728040 Package-Manager: Portage-2.3.99, Repoman-2.3.22 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/seq: QA_FLAGS_IGNORED accepts regexes, not globsMike Gilbert2020-06-131-1/+3
| | | | Signed-off-by: Mike Gilbert <floppym@gentoo.org>
* dev-ml/seq: fix QA_FLAGS_IGNORED syntaxMike Gilbert2020-06-131-3/+1
| | | | Signed-off-by: Mike Gilbert <floppym@gentoo.org>
* dev-ml/seq: remove CFLAGS QA warningAlfredo Tupone2020-06-131-1/+5
| | | | | | Closes: https://bugs.gentoo.org/728042 Package-Manager: Portage-2.3.99, Repoman-2.3.22 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/labltk: arm64 stable (bug #726838)Sam James (sam_c)2020-06-041-1/+1
| | | | | | Package-Manager: Portage-2.3.99, Repoman-2.3.22 Signed-off-by: Sam James (sam_c) <sam@cmpct.info> Signed-off-by: Mart Raudsepp <leio@gentoo.org>
* dev-ml/uutf: update homepageAlexey Sokolov2020-06-041-3/+3
| | | | | | Package-Manager: Portage-2.3.99, Repoman-2.3.22 Signed-off-by: Alexey Sokolov <sokolov@google.com> Signed-off-by: David Seifert <soap@gentoo.org>
* dev-ml/topkg: update homepageAlexey Sokolov2020-06-042-4/+4
| | | | | | Package-Manager: Portage-2.3.99, Repoman-2.3.22 Signed-off-by: Alexey Sokolov <sokolov@google.com> Signed-off-by: David Seifert <soap@gentoo.org>
* dev-ml/rresult: update homepageAlexey Sokolov2020-06-041-3/+3
| | | | | | Package-Manager: Portage-2.3.99, Repoman-2.3.22 Signed-off-by: Alexey Sokolov <sokolov@google.com> Signed-off-by: David Seifert <soap@gentoo.org>
* dev-ml/react: update homepageAlexey Sokolov2020-06-041-3/+3
| | | | | | Package-Manager: Portage-2.3.99, Repoman-2.3.22 Signed-off-by: Alexey Sokolov <sokolov@google.com> Signed-off-by: David Seifert <soap@gentoo.org>
* dev-ml/parmap: update homepageAlexey Sokolov2020-06-042-4/+4
| | | | | | Package-Manager: Portage-2.3.99, Repoman-2.3.22 Signed-off-by: Alexey Sokolov <sokolov@google.com> Signed-off-by: David Seifert <soap@gentoo.org>
* dev-ml/ocamlweb: update homepageAlexey Sokolov2020-06-041-3/+3
| | | | | | Package-Manager: Portage-2.3.99, Repoman-2.3.22 Signed-off-by: Alexey Sokolov <sokolov@google.com> Signed-off-by: David Seifert <soap@gentoo.org>
* dev-ml/mtime: update homepageAlexey Sokolov2020-06-041-3/+3
| | | | | | Package-Manager: Portage-2.3.99, Repoman-2.3.22 Signed-off-by: Alexey Sokolov <sokolov@google.com> Signed-off-by: David Seifert <soap@gentoo.org>
* dev-ml/logs: update homepageAlexey Sokolov2020-06-041-3/+3
| | | | | | Package-Manager: Portage-2.3.99, Repoman-2.3.22 Signed-off-by: Alexey Sokolov <sokolov@google.com> Signed-off-by: David Seifert <soap@gentoo.org>
* dev-ml/jsonm: update homepageAlexey Sokolov2020-06-041-3/+3
| | | | | | Package-Manager: Portage-2.3.99, Repoman-2.3.22 Signed-off-by: Alexey Sokolov <sokolov@google.com> Signed-off-by: David Seifert <soap@gentoo.org>
* dev-ml/fpath: update homepageAlexey Sokolov2020-06-041-3/+3
| | | | | | Package-Manager: Portage-2.3.99, Repoman-2.3.22 Signed-off-by: Alexey Sokolov <sokolov@google.com> Signed-off-by: David Seifert <soap@gentoo.org>
* dev-ml/fmt: update homepageAlexey Sokolov2020-06-041-3/+3
| | | | | | Package-Manager: Portage-2.3.99, Repoman-2.3.22 Signed-off-by: Alexey Sokolov <sokolov@google.com> Signed-off-by: David Seifert <soap@gentoo.org>
* dev-ml/cmdliner: update homepageAlexey Sokolov2020-06-043-9/+9
| | | | | | Package-Manager: Portage-2.3.99, Repoman-2.3.22 Signed-off-by: Alexey Sokolov <sokolov@google.com> Signed-off-by: David Seifert <soap@gentoo.org>
* dev-ml/bos: update homepageAlexey Sokolov2020-06-041-3/+3
| | | | | | Package-Manager: Portage-2.3.99, Repoman-2.3.22 Signed-off-by: Alexey Sokolov <sokolov@google.com> Signed-off-by: David Seifert <soap@gentoo.org>
* dev-ml/astring: update homepageAlexey Sokolov2020-06-041-3/+3
| | | | | | Package-Manager: Portage-2.3.99, Repoman-2.3.22 Signed-off-by: Alexey Sokolov <sokolov@google.com> Signed-off-by: David Seifert <soap@gentoo.org>
* dev-ml/num: use CFLAGSAlfredo Tupone2020-05-212-0/+19
| | | | | | Closes: https://bugs.gentoo.org/723748 Package-Manager: Portage-2.3.99, Repoman-2.3.22 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/llvm-ocaml: Bump to 10.0.1_rc1Michał Górny2020-05-202-0/+126
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: 10.x branch is now 10.0.1Michał Górny2020-05-201-0/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/num: x86 stable wrt bug #723500Agostino Sarubbo2020-05-181-1/+1
| | | | | | Package-Manager: Portage-2.3.99, Repoman-2.3.22 RepoMan-Options: --include-arches="x86" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ml/num: amd64 stable wrt bug #723500Agostino Sarubbo2020-05-181-1/+1
| | | | | | Package-Manager: Portage-2.3.99, Repoman-2.3.22 RepoMan-Options: --include-arches="amd64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ml/zarith: using ARAlfredo Tupone2020-05-172-1/+16
| | | | | | Closes: https://bugs.gentoo.org/723144 Package-Manager: Portage-2.3.99, Repoman-2.3.22 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/lablgtk: uses CFLAGS and fix -fno-commonAlfredo Tupone2020-05-142-2/+103
| | | | | | Closes: https://bugs.gentoo.org/721952 Package-Manager: Portage-2.3.99, Repoman-2.3.22 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/camlp5: Try for fixing SourcingErrorAlfredo Tupone2020-05-141-1/+2
| | | | | Package-Manager: Portage-2.3.99, Repoman-2.3.22 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/camlp5: attempt to fix breakageJoonas Niilola2020-05-131-1/+1
| | | | Signed-off-by: Joonas Niilola <juippis@gentoo.org>
* dev-ml/camlp5: fis QA warning on CFLAGSAlfredo Tupone2020-05-131-0/+4
| | | | | | Closes: https://bugs.gentoo.org/722360 Package-Manager: Portage-2.3.99, Repoman-2.3.22 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/camlp4: Avoid stack overflow in build.Rafael Kitover2020-05-053-1/+7
| | | | | | | | | | | 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>
* dev-ml/ocamlmod: QA Fix SRC_URIJonas Stein2020-05-052-4/+4
| | | | | | | Use variable instead of static URI Package-Manager: Portage-2.3.99, Repoman-2.3.22 Signed-off-by: Jonas Stein <jstein@gentoo.org>
* dev-ml/llvm-ocaml: Remove 7*Michał Górny2020-05-012-125/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>