Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/dev-lang/ocaml
Commit message (Collapse)AuthorAgeFilesLines
* dev-lang/ocaml: add 4.14.2Alfredo Tupone2024-04-292-0/+101
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* */*: Reassign gienah's packagesMichał Górny2024-02-141-4/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-lang/ocaml: remove unused patchMichael Mair-Keimberger2023-11-151-13/+0
| | | | | | Signed-off-by: Michael Mair-Keimberger <mmk@levelnine.at> Closes: https://github.com/gentoo/gentoo/pull/33710 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-lang/ocaml: drop 4.05.0-r9John Helmert III2023-10-282-159/+0
| | | | | | | Bug: https://bugs.gentoo.org/719134 Signed-off-by: John Helmert III <ajak@gentoo.org> Closes: https://github.com/gentoo/gentoo/pull/28090 Signed-off-by: Sam James <sam@gentoo.org>
* dev-lang/ocaml: replace `filter-flags -flto*` with `filter-lto`Leonardo Hernández Hernández2023-06-244-7/+7
| | | | | Signed-off-by: Leonardo Hernández Hernández <leohdz172@proton.me> Signed-off-by: Sam James <sam@gentoo.org>
* */*: remove sparc-solaris keywordFabian Groffen2023-05-258-8/+8
| | | | Signed-off-by: Fabian Groffen <grobian@gentoo.org>
* */*: remove x86-solaris keywordFabian Groffen2023-05-248-8/+8
| | | | Signed-off-by: Fabian Groffen <grobian@gentoo.org>
* dev-lang/ocaml: Stabilize 4.05.0-r9 arm64, #901711Arthur Zamarin2023-04-031-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-lang/ocaml: Stabilize 4.05.0-r9 arm, #901711Arthur Zamarin2023-04-031-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-lang/ocaml: Stabilize 4.14.1 ppc64, #901615Arthur Zamarin2023-03-171-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-lang/ocaml: Stabilize 4.05.0-r9 ppc64, #901711Arthur Zamarin2023-03-171-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-lang/ocaml: Stabilize 4.14.0-r1 ppc64, #901673Arthur Zamarin2023-03-171-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-lang/ocaml: Stabilize 4.05.0-r9 x86, #901711Sam James2023-03-171-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-lang/ocaml: Stabilize 4.05.0-r9 amd64, #901711Sam James2023-03-171-2/+2
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-lang/ocaml: Stabilize 4.14.0-r1 x86, #901673Sam James2023-03-171-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-lang/ocaml: Stabilize 4.14.0-r1 amd64, #901673Sam James2023-03-171-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-lang/ocaml: Stabilize 4.14.1 x86, #901615Sam James2023-03-171-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-lang/ocaml: Stabilize 4.14.1 amd64, #901615Sam James2023-03-171-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-lang/ocaml: Stabilize 4.14.1 arm, #901615Sam James2023-03-161-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-lang/ocaml: Stabilize 4.14.0-r1 arm64, #901673Sam James2023-03-161-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-lang/ocaml: Stabilize 4.14.0-r1 arm, #901673Sam James2023-03-161-2/+2
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-lang/ocaml: Stabilize 4.14.1 arm64, #901615Sam James2023-03-161-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-lang/ocaml: Drop alpha keywordsMatt Turner2023-02-158-8/+8
| | | | Signed-off-by: Matt Turner <mattst88@gentoo.org>
* dev-lang/ocaml: add 4.14.1Alfredo Tupone2023-02-102-0/+101
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-lang/ocaml: keyword 4.14.0-r1 for ~loongWANG Xuerui2022-11-301-1/+1
| | | | Signed-off-by: WANG Xuerui <xen0n@gentoo.org>
* dev-lang/ocaml: filtering ltoAlfredo Tupone2022-09-291-0/+1
| | | | | | | | | Closes: https://bugs.gentoo.org/872995 Closes: https://bugs.gentoo.org/870349 Closes: https://bugs.gentoo.org/835157 Closes: https://bugs.gentoo.org/858446 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-lang/ocaml: Keyword 4.14.0 riscv, #835392Yongxiang Liang2022-04-181-1/+1
| | | | | Signed-off-by: Yongxiang Liang <tanekliang@gmail.com> Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* dev-lang/ocaml: Bump to 4.14.0, fix clang build.Mark Wright2022-03-293-0/+236
| | | | | | | See: https://github.com/ocaml/ocaml/pull/10774 Closes: https://bugs.gentoo.org/729566 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Mark Wright <gienah@gentoo.org>
* dev-lang/ocaml: drop 4.09.0-r2Sam James2022-03-043-190/+0
| | | | | Bug: https://bugs.gentoo.org/804498 Signed-off-by: Sam James <sam@gentoo.org>
* dev-lang/ocaml: destabilise for ppcSam James2022-03-032-2/+2
| | | | | Signed-off-by: Sam James <sam@gentoo.org> Signed-off-by: David Seifert <soap@gentoo.org>
* dev-lang/ocaml: add riscv patch to 4.13.1 tooAlfredo Tupone2022-02-281-0/+4
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-lang/ocaml: x86 stable wrt bug #804498Agostino Sarubbo2022-02-271-1/+1
| | | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 RepoMan-Options: --include-arches="x86" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-lang/ocaml: amd64 stable wrt bug #804498Agostino Sarubbo2022-02-271-1/+1
| | | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 RepoMan-Options: --include-arches="amd64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-lang/ocaml: fix 4.11.2 src_prepare (missing patch)Sam James2022-02-272-1/+43
| | | | | | | | | | | | | | Accidentally cleaned up in 9e8369277b272b15f3dd1159fa18b71ec4431a77 (got confused by what I had/hadn't moved into patch tarballs, renamed accordingly now to avoid that in future). Once OCaml 4.09.0-r3 stabilisation is complete, we can cleanup all the obsolete patches from files/ and then everything is a bit clearer. Bug: https://bugs.gentoo.org/804498 Fixes: 9e8369277b272b15f3dd1159fa18b71ec4431a77 See: https://forums.gentoo.org/viewtopic-t-1147490.html Signed-off-by: Sam James <sam@gentoo.org>
* dev-lang/ocaml: Stabilize 4.09.0-r3 ppc64, #804498Arthur Zamarin2022-02-261-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-lang/ocaml: Stabilize 4.09.0-r3 arm, #804498Arthur Zamarin2022-02-261-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-lang/ocaml: Stabilize 4.09.0-r3 arm64, #804498Arthur Zamarin2022-02-261-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-lang/ocaml: fix TEXTREL on 4.12.1Alfredo Tupone2022-02-252-0/+47
| | | | | | Closes: https://bugs.gentoo.org/825282 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-lang/ocaml: drop 4.05.0-r7, 4.05.0-r8, 4.10.2-r2Sam James2022-02-226-587/+0
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-lang/ocaml: use tarball for 4.05/4.09/4.10 patchesSam James2022-02-227-618/+18
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-lang/ocaml: scrub patchesSam James2022-02-226-78/+30
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-lang/ocaml: fix 4.10 with glibc 2.34Sam James2022-02-222-0/+363
| | | | | | Bug: https://bugs.gentoo.org/804498 See: https://github.com/gentoo/gentoo/pull/22851#pullrequestreview-882504245 Signed-off-by: Sam James <sam@gentoo.org>
* dev-lang/ocaml: fix 4.09 with glibc 2.34Sam James2022-02-222-0/+298
| | | | | | Bug: https://bugs.gentoo.org/804498 See: https://github.com/gentoo/gentoo/pull/22851#pullrequestreview-882504245 Signed-off-by: Sam James <sam@gentoo.org>
* dev-lang/ocaml: fix 4.05 with glibc 2.34Sam James2022-02-222-0/+358
| | | | | | Bug: https://bugs.gentoo.org/804498 See: https://github.com/gentoo/gentoo/pull/22851#pullrequestreview-882504245 Signed-off-by: Sam James <sam@gentoo.org>
* dev-lang/ocaml: respect CFLAGSAlfredo Tupone2022-01-239-6/+78
| | | | | | Closes: https://bugs.gentoo.org/719166 Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-lang/ocaml: respect CFLAGS for ocaml-4.09Alfredo Tupone2022-01-222-2/+59
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-lang/ocaml: Stabilize 4.11.2-r2 arm64, #804774Sam James2021-10-171-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-lang/ocaml: fix build with glibc-2.34 in 4.11.2Sam James2021-10-172-0/+95
| | | | | Closes: https://bugs.gentoo.org/804498 Signed-off-by: Sam James <sam@gentoo.org>
* dev-lang/ocaml: Stabilize 4.11.2-r2 arm, #804774Sam James2021-10-171-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-lang/ocaml: Stabilize 4.11.2-r2 ppc64, #804774Sam James2021-10-161-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>