Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/dev-ml
Commit message (Collapse)AuthorAgeFilesLines
* dev-ml: Remove *-fbsd KEYWORDSMichał Górny2019-10-1142-42/+42
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Update 10+ for dylib linkingMichał Górny2019-10-041-1/+4
| | | | | | | | Pass appropriate arguments to 10+ to link against dylib instead of trying to link to non-existent static libs. This still needs a fix upstream but the ebuild's broken anyway. Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Add ARC targetMichał Górny2019-10-011-1/+1
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Nios2 was removed upstreamMichał Górny2019-10-011-1/+1
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Reorder ebuild vars in 9+Michał Górny2019-09-213-8/+4
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Bump to 9.0.0Michał Górny2019-09-212-0/+128
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Use BDEPEND semi-properlyMichał Górny2019-09-172-2/+4
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Remove 5.0.2Michał Górny2019-09-092-122/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/seq: fix dependencyTupone Alfredo2019-08-261-1/+2
| | | | | | Closes: https://bugs.gentoo.org/691152 Package-Manager: Portage-2.3.66, Repoman-2.3.16 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/llvm-ocaml: Update LICENSE for 9+Michał Górny2019-08-182-2/+2
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: RISCV is no longer exp. in 9.0+Michał Górny2019-08-122-3/+3
| | | | | Closes: https://bugs.gentoo.org/691816 Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/facile: arm64 stableAaron Bauman2019-07-291-1/+1
| | | | | | Signed-off-by: Aaron Bauman <bman@gentoo.org> Package-Manager: Portage-2.3.69, Repoman-2.3.16 RepoMan-Options: --include-arches="arm64"
* dev-ml/ocplib-simplex: Fix SRC_URITupone Alfredo2019-07-251-1/+1
| | | | | | Closes: https://bugs.gentoo.org/690710 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.66, Repoman-2.3.11
* dev-ml/seq: Bad FilenameTupone Alfredo2019-07-252-2/+2
| | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.66, Repoman-2.3.11
* dev-ml/dune: add dev-ml/duneTupone Alfredo2019-07-253-0/+49
| | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.66, Repoman-2.3.11
* dev-ml/menhir: bump to 20181006Tupone Alfredo2019-07-252-0/+37
| | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.66, Repoman-2.3.11
* dev-ml/seq: compatibility for iterator typeTupone Alfredo2019-07-254-0/+54
| | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.66, Repoman-2.3.11
* dev-ml/ocplib-simplex: version bump to 0.4Tupone Alfredo2019-07-242-0/+34
| | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.66, Repoman-2.3.11
* dev-ml/llvm-ocaml: Remove mistaken use of PYTHON_REQUIRED_USEMichał Górny2019-07-227-16/+9
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: -9.0.9999 → -9.0.0.9999Michał Górny2019-07-211-0/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: -9999 → -10.0.0.9999Michał Górny2019-07-211-1/+1
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Fix branch in 9.0.9999Michał Górny2019-07-211-1/+1
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Remove 8.0.9999Michał Górny2019-07-211-127/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Add 9.0 branch live ebuildMichał Górny2019-07-211-0/+127
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Bump -9999 to EAPI 7Michał Górny2019-07-211-1/+1
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Bump to 8.0.1Michał Górny2019-07-202-0/+128
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/async_ssl: add 0.9.1Hans de Graaff2019-07-152-0/+40
| | | | | | Fixes: https://bugs.gentoo.org/675502 Signed-off-by: Hans de Graaff <graaff@gentoo.org> Package-Manager: Portage-2.3.66, Repoman-2.3.11
* dev-ml/ocamlnet: Replace STRIP_MASK with RESTRICT=stripMichał Górny2019-07-053-21/+6
| | | | | Closes: https://bugs.gentoo.org/651440 Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/oasis: Replace STRIP_MASK with RESTRICT="strip"Michał Górny2019-07-052-4/+4
| | | | | Closes: https://bugs.gentoo.org/651438 Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Enable Python 3 in -9999Michał Górny2019-06-111-2/+2
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Remove 4.0.1Michał Górny2019-06-022-120/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Remove 7.0.1Michał Górny2019-05-152-128/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Remove 7.0.9999Michał Górny2019-04-191-127/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Bump to 7.1.0Michał Górny2019-04-172-0/+128
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: WebAssembly is no longer experimental in 8.0+Michał Górny2019-03-223-4/+4
| | | | | Reported-by: Matthew Smith <matt@offtopica.uk> Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Remove 8.0.0rc5Michał Górny2019-03-202-128/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Bump to 8.0.0 finalMichał Górny2019-03-202-0/+128
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Remove 8.0.0rc[23]Michał Górny2019-03-133-256/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Bump to 8.0.0rc5Michał Górny2019-03-122-0/+128
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/facile: added ~arm64Roy Bamford2019-03-101-2/+2
| | | | | | Package-Manager: Portage-2.3.62, Repoman-2.3.12 Signed-off-by: Roy Bamford <neddyseagoon@gentoo.org> Signed-off-by: Andreas Sturmlechner <asturm@gentoo.org>
* dev-ml/ocaml-autoconf: Drop oldMikle Kolyada2019-03-071-21/+0
| | | | | Signed-off-by: Mikle Kolyada <zlogene@gentoo.org> Package-Manager: Portage-2.3.51, Repoman-2.3.11
* dev-ml/ocaml-autoconf: x86 stable wrt bug #679468Mikle Kolyada2019-03-071-1/+1
| | | | | | Signed-off-by: Mikle Kolyada <zlogene@gentoo.org> Package-Manager: Portage-2.3.51, Repoman-2.3.11 RepoMan-Options: --include-arches="x86"
* dev-ml/ocaml-autoconf: ppc stable wrt bug #679468Mikle Kolyada2019-03-071-1/+1
| | | | | | Signed-off-by: Mikle Kolyada <zlogene@gentoo.org> Package-Manager: Portage-2.3.51, Repoman-2.3.11 RepoMan-Options: --include-arches="ppc"
* dev-ml/ocaml-autoconf: amd64 stable wrt bug #679468Mikle Kolyada2019-03-071-2/+2
| | | | | | Signed-off-by: Mikle Kolyada <zlogene@gentoo.org> Package-Manager: Portage-2.3.51, Repoman-2.3.11 RepoMan-Options: --include-arches="amd64"
* dev-ml/llvm-ocaml: Bump to 8.0.0rc3Michał Górny2019-02-282-0/+128
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Bump to 8.0.0rc2Michał Górny2019-02-132-0/+128
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/ocaml-mysql: Revbump to fix dependencies and update EAPIBrian Evans2019-02-112-5/+43
| | | | | | Bug: https://bugs.gentoo.org/665886 Package-Manager: Portage-2.3.59, Repoman-2.3.12 Signed-off-by: Brian Evans <grknight@gentoo.org>
* dev-ml/ocaml-autoconf: revbump for EAPI7Michael Mair-Keimberger2019-02-091-0/+17
| | | | | | | Closes: https://bugs.gentoo.org/663882 Signed-off-by: Michael Mair-Keimberger <m.mairkeimberger@gmail.com> Closes: https://github.com/gentoo/gentoo/pull/9600 Signed-off-by: Aaron Bauman <bman@gentoo.org>
* dev-ml/llvm-ocaml: Add a live ebuild for 8.* branchMichał Górny2019-01-161-0/+127
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Remove 7.0.0Michał Górny2018-12-302-128/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>