Versions
v1.1.19 :: 0/1.1.19 :: gentoo
- Modified
- License
- || ( LGPL-2.1 BSD GPL-3 )
- Keywords
- ~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86
- USE flags
- ocamlopt
v1.1.18-r1 :: 0/1.1.18 :: gentoo
- Modified
- License
- || ( LGPL-2.1 BSD GPL-3 )
- Keywords
- amd64 arm arm64 ppc64 x86 ~ppc ~riscv
- USE flags
- ocamlopt
USE flags
General
- ocamlopt
- Enable ocamlopt support (ocaml native code compiler) -- Produces faster programs (Warning: you have to disable/enable it at a global scale)
Dependencies
dev-lang / ocaml : Programming language supporting functional, imperative & object-oriented styles
dev-ml / cudf : Library to parse, pretty print, and evaluate CUDF documents
dev-ml / dune : A composable build system for OCaml
dev-ml / extlib : Standard library extensions for O'Caml
sci-mathematics / glpk : GNU Linear Programming Kit
Runtime Dependencies
dev-lang / ocaml : Programming language supporting functional, imperative & object-oriented styles
dev-ml / cudf : Library to parse, pretty print, and evaluate CUDF documents
dev-ml / dune : A composable build system for OCaml
dev-ml / extlib : Standard library extensions for O'Caml
sci-mathematics / glpk : GNU Linear Programming Kit
Depending packages
Change logs
- Repository mirror & CI · gentoo
Merge updates from master - Alfredo Tupone · gentoo
dev-ml/mccs: add 1.1.19, drop 1.1.17-r1
Signed-off-by: Alfredo Tupone <tupone@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sam James · gentoo
dev-ml/mccs: Stabilize 1.1.18-r1 x86, #945767
Signed-off-by: Sam James <sam@gentoo.org> - Sam James · gentoo
dev-ml/mccs: Stabilize 1.1.18-r1 ppc64, #945767
Signed-off-by: Sam James <sam@gentoo.org> - Sam James · gentoo
dev-ml/mccs: Stabilize 1.1.18-r1 arm, #945767
Signed-off-by: Sam James <sam@gentoo.org> - Sam James · gentoo
dev-ml/mccs: Stabilize 1.1.18-r1 arm64, #945767
Signed-off-by: Sam James <sam@gentoo.org> - Sam James · gentoo
dev-ml/mccs: Stabilize 1.1.18-r1 amd64, #945767
Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Alfredo Tupone · gentoo
dev-ml/mccs: add rdeps on extlib
Closes: https://bugs.gentoo.org/941618 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Alfredo Tupone · gentoo
dev-ml/mccs: drop 1.1.13, 1.1.14
Signed-off-by: Alfredo Tupone <tupone@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Alfredo Tupone · gentoo
dev-ml/mccs: add 1.1.18
Signed-off-by: Alfredo Tupone <tupone@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Arthur Zamarin · gentoo
dev-ml/mccs: Stabilize 1.1.17 arm64, #938140
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Arthur Zamarin · gentoo
dev-ml/mccs: Stabilize 1.1.17 arm, #938140
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sam James · gentoo
dev-ml/mccs: Stabilize 1.1.17 ppc64, #938140
Signed-off-by: Sam James <sam@gentoo.org> - Sam James · gentoo
dev-ml/mccs: Stabilize 1.1.17 amd64, #938140
Signed-off-by: Sam James <sam@gentoo.org> - Sam James · gentoo
dev-ml/mccs: Stabilize 1.1.17 x86, #938140
Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Alain Emilia Anna Zscheile · gentoo
dev-ml/mccs: update HOMEPAGE, SRC_URI
This fixes a dead URL and a redirect (git repo changed owner). Signed-off-by: Alain Emilia Anna Zscheile <fogti@ytrizja.de> Signed-off-by: Alfredo Tupone <tupone@gentoo.org> - Alain Emilia Anna Zscheile · gentoo
dev-ml/mccs: add 1.1.17
Signed-off-by: Alain Emilia Anna Zscheile <fogti@ytrizja.de> Signed-off-by: Alfredo Tupone <tupone@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Alfredo Tupone · gentoo
dev-ml/mccs: add 1.1.14
Signed-off-by: Alfredo Tupone <tupone@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Yongxiang Liang · gentoo
dev-ml/mccs: Keyword 1.1.13 riscv, #835392
Signed-off-by: Yongxiang Liang <tanekliang@gmail.com> Signed-off-by: Jakov Smolić <jsmolic@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sam James · gentoo
dev-ml/mccs: destabilise for ppc
Signed-off-by: Sam James <sam@gentoo.org> Signed-off-by: David Seifert <soap@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Andreas K. Hüttel · gentoo
dev-ml/mccs: Remove old
Bug: https://bugs.gentoo.org/788100 Package-Manager: Portage-3.0.20, Repoman-3.0.3 Signed-off-by: Andreas K. Huettel <dilfridge@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sam James · gentoo
dev-ml/mccs: Stabilize 1.1.13 arm64, #807562
Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sam James · gentoo
dev-ml/mccs: Stabilize 1.1.13 ppc, #807562
Signed-off-by: Sam James <sam@gentoo.org> - Sam James · gentoo
dev-ml/mccs: Stabilize 1.1.13 ppc64, #807562
Signed-off-by: Sam James <sam@gentoo.org> - Sam James · gentoo
dev-ml/mccs: Stabilize 1.1.13 x86, #807562
Signed-off-by: Sam James <sam@gentoo.org> - Sam James · gentoo
dev-ml/mccs: Stabilize 1.1.13 amd64, #807562
Signed-off-by: Sam James <sam@gentoo.org> - Sam James · gentoo
dev-ml/mccs: Stabilize 1.1.13 arm, #807562
Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sam James · gentoo
dev-ml/mccs: destabilize 1.1.13
Bug: https://bugs.gentoo.org/788100 Signed-off-by: Sam James <sam@gentoo.org> - Sam James · gentoo
dev-ml/mccs: add 1.1.13
Closes: https://bugs.gentoo.org/788100 Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sam James · gentoo
dev-ml/mccs: Stabilize 1.1.11 arm64, #772833
Signed-off-by: Sam James <sam@gentoo.org> - Sam James · gentoo
dev-ml/mccs: Stabilize 1.1.11 arm, #772833
Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sam James · gentoo
dev-ml/mccs: Stabilize 1.1.11 ppc64, #772833
Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Agostino Sarubbo · gentoo
dev-ml/mccs: amd64 stable wrt bug #772833
Package-Manager: Portage-3.0.13, Repoman-3.0.2 RepoMan-Options: --include-arches="amd64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sam James · gentoo
dev-ml/mccs: Stabilize 1.1.11 x86, #772833
Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sam James · gentoo
dev-ml/mccs: Stabilize 1.1.11 ppc, #772833
Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sam James · gentoo
dev-ml/mccs: ppc64 keyworded (bug #748576)
Package-Manager: Portage-3.0.8, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sam James · gentoo
dev-ml/mccs: Keyword 1.1.11 ppc, #748576
Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Mark Wright · gentoo
dev-ml/mccs: Fix QA MissingTestRestrict
Package-Manager: Portage-3.0.8, Repoman-3.0.1 Signed-off-by: Mark Wright <gienah@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Mark Wright · gentoo
dev-ml/mccs: Dependency of dev-ml/opam-solver
Package-Manager: Portage-3.0.8, Repoman-3.0.1 Signed-off-by: Mark Wright <gienah@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Michał Górny · gentoo
dev-ml/*: Remove first set of unneeded leaf packages
Bug: https://bugs.gentoo.org/695782 Signed-off-by: Michał Górny <mgorny@gentoo.org> - Alexis Ballier · gentoo
dev-ml/mccs: initial import
Package-Manager: Portage-2.3.8, Repoman-2.3.3