Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/dev-lang/mercury
Commit message (Collapse)AuthorAgeFilesLines
* dev-lang/mercury: update EAPI 7 -> 8Volkmar W. Pogatzki2024-06-301-2/+2
| | | | | | | | - drops unused multilib.eclass Closes: https://bugs.gentoo.org/933817 Signed-off-by: Volkmar W. Pogatzki <gentoo@pogatzki.net> Signed-off-by: Florian Schmaus <flow@gentoo.org>
* dev-lang/mercury: avoid jdk in RDEPENDVolkmar W. Pogatzki2024-06-301-6/+8
| | | | | | | according to Java_Developer_Guide Signed-off-by: Volkmar W. Pogatzki <gentoo@pogatzki.net> Signed-off-by: Florian Schmaus <flow@gentoo.org>
* dev-lang/mercury: add github upstream metadataVolkmar W. Pogatzki2024-06-301-0/+3
| | | | | Signed-off-by: Volkmar W. Pogatzki <gentoo@pogatzki.net> Signed-off-by: Florian Schmaus <flow@gentoo.org>
* dev-lang/mercury: update HOMEPAGEVolkmar W. Pogatzki2024-06-301-2/+2
| | | | | Signed-off-by: Volkmar W. Pogatzki <gentoo@pogatzki.net> Signed-off-by: Florian Schmaus <flow@gentoo.org>
* dev-lang/mercury: remove unused local USE flag: [ erlang ]Volkmar W. Pogatzki2024-06-081-1/+0
| | | | | | Signed-off-by: Volkmar W. Pogatzki <gentoo@pogatzki.net> Closes: https://github.com/gentoo/gentoo/pull/37076 Signed-off-by: Miroslav Šulc <fordfrog@gentoo.org>
* dev-lang/mercury: drop 20.06-r1, 20.06.1, 22.01Volkmar W. Pogatzki2024-06-084-621/+0
| | | | | | | Avoid two stable versions in same slot. Signed-off-by: Volkmar W. Pogatzki <gentoo@pogatzki.net> Signed-off-by: Miroslav Šulc <fordfrog@gentoo.org>
* Reassign keri's packagesMichał Górny2024-01-171-4/+1
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-lang/mercury: stable on amd64, x86. Bug #865153Keri Harris2022-08-141-1/+1
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Keri Harris <keri@gentoo.org>
* dev-lang/mercury: gcc 12 vectorization workaroundKeri Harris2022-06-252-2/+2
| | | | | | Closes: https://bugs.gentoo.org/846974 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Keri Harris <keri@gentoo.org>
* dev-lang/mercury: install README.md with USE=examplesKeri Harris2022-06-031-1/+1
| | | | | | Closes: https://bugs.gentoo.org/849032 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Keri Harris <keri@gentoo.org>
* dev-lang/mercury: add missing RESTRICT for test IUSEKeri Harris2022-05-211-0/+1
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Keri Harris <keri@gentoo.org>
* dev-lang/mercury: fix MCC file-options unit testKeri Harris2022-05-212-2/+2
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Keri Harris <keri@gentoo.org>
* dev-lang/mercury: depend on timezone-data for testsuiteKeri Harris2022-05-211-1/+3
| | | | | | Closes: https://bugs.gentoo.org/834154 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Keri Harris <keri@gentoo.org>
* dev-lang/mercury: version bumpKeri Harris2022-05-152-0/+203
| | | | | | Closes: https://bugs.gentoo.org/842795 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Keri Harris <keri@gentoo.org>
* dev-lang/mercury: version bumpKeri Harris2022-05-142-0/+203
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Keri Harris <keri@gentoo.org>
* dev-lang/mercury: disable MCC halt-at-warn during bootstrapKeri Harris2022-05-141-2/+2
| | | | | | Closes: https://bugs.gentoo.org/840152 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Keri Harris <keri@gentoo.org>
* dev-lang/mercury: version bumpKeri Harris2021-10-032-0/+209
| | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.2 Signed-off-by: Keri Harris <keri@gentoo.org>
* dev-lang/mercury: avoid using cygpath references when building GCKeri Harris2021-10-032-2/+2
| | | | | | Closes: https://bugs.gentoo.org/761951 Package-Manager: Portage-3.0.20, Repoman-3.0.2 Signed-off-by: Keri Harris <keri@gentoo.org>
* **/metadata.xml: Replace http by https in DOCTYPE elementUlrich Müller2021-09-111-1/+1
| | | | | Bug: https://bugs.gentoo.org/552720 Signed-off-by: Ulrich Müller <ulm@gentoo.org>
* dev-lang/mercury: allow mercury to compile with GCC 11Keri Harris2021-07-312-2/+2
| | | | | | Closes: https://bugs.gentoo.org/787308 Package-Manager: Portage-3.0.20, Repoman-3.0.2 Signed-off-by: Keri Harris <keri@gentoo.org>
* dev-lang/mercury: fix docinto argument (avoid double 'prefix')Sam James2021-05-281-1/+1
| | | | | Signed-off-by: Sam James <sam@gentoo.org> Signed-off-by: David Seifert <soap@gentoo.org>
* dev-lang/mercury: update JDK dependencyKeri Harris2021-05-151-1/+1
| | | | | Package-Manager: Portage-3.0.18, Repoman-3.0.2 Signed-off-by: Keri Harris <keri@gentoo.org>
* dev-lang/mercury: eutils--Sam James2021-04-161-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-lang/mercury: remove old versionsKeri Harris2021-01-185-839/+0
| | | | | Package-Manager: Portage-3.0.4, Repoman-2.3.22 Signed-off-by: Keri Harris <keri@gentoo.org>
* dev-lang/mercury: stabilize 20.06 amd64 + x86, #764194Keri Harris2021-01-071-1/+1
| | | | | Package-Manager: Portage-3.0.4, Repoman-2.3.22 Signed-off-by: Keri Harris <keri@gentoo.org>
* dev-lang/mercury: disable foreign_import_module testsKeri Harris2021-01-062-3/+3
| | | | | Package-Manager: Portage-3.0.4, Repoman-2.3.22 Signed-off-by: Keri Harris <keri@gentoo.org>
* dev-lang/mercury: avoid ICE when compiling Mercury trail gradesKeri Harris2020-09-141-0/+5
| | | | | Package-Manager: Portage-3.0.4, Repoman-2.3.22 Signed-off-by: Keri Harris <keri@gentoo.org>
* dev-lang/mercury: version bumpKeri Harris2020-09-132-0/+204
| | | | | Package-Manager: Portage-2.3.103, Repoman-2.3.22 Signed-off-by: Keri Harris <keri@gentoo.org>
* dev-lang/mercury: respect -fno-common. Closes #727156Keri Harris2020-07-252-2/+2
| | | | | Package-Manager: Portage-2.3.103, Repoman-2.3.22 Signed-off-by: Keri Harris <keri@gentoo.org>
* dev-lang/mercury: respect LDFLAGSKeri Harris2020-07-231-1/+2
| | | | | Package-Manager: Portage-2.3.103, Repoman-2.3.22 Signed-off-by: Keri Harris <keri@gentoo.org>
* dev-lang/mercury: version bumpKeri Harris2020-07-192-0/+203
| | | | | Package-Manager: Portage-2.3.103, Repoman-2.3.22 Signed-off-by: Keri Harris <keri@gentoo.org>
* dev-lang/mercury: version bumpKeri Harris2020-04-012-0/+203
| | | | | Signed-off-by: Keri Harris <keri@gentoo.org> Package-Manager: Portage-2.3.89, Repoman-2.3.11
* dev-lang/mercury: version bumpKeri Harris2020-03-292-0/+208
| | | | | Signed-off-by: Keri Harris <keri@gentoo.org> Package-Manager: Portage-2.3.89, Repoman-2.3.11
* dev-lang/mercury: enable MCC to be patched as part of bootstrapKeri Harris2020-03-221-2/+1
| | | | | Signed-off-by: Keri Harris <keri@gentoo.org> Package-Manager: Portage-2.3.89, Repoman-2.3.11
* dev-lang/mercury: support Mercury GC compiled using muslKeri Harris2020-03-212-2/+2
| | | | | Signed-off-by: Keri Harris <keri@gentoo.org> Package-Manager: Portage-2.3.89, Repoman-2.3.11
* dev-lang/mercury: [QA] inherit vcs-clean.eclass directlyDavid Seifert2020-02-121-2/+2
| | | | | Package-Manager: Portage-2.3.88, Repoman-2.3.20 Signed-off-by: David Seifert <soap@gentoo.org>
* dev-lang/mercury: use ASCII whitespaceSergei Trofimovich2019-12-301-1/+1
| | | | | Package-Manager: Portage-2.3.84, Repoman-2.3.20 Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
* dev-lang/mercury: Update virtual/emacs dependency.Ulrich Müller2019-12-201-2/+2
| | | | | | | The virtual is deprecated, depend on app-editors/emacs instead. Package-Manager: Portage-2.3.82, Repoman-2.3.20 Signed-off-by: Ulrich Müller <ulm@gentoo.org>
* */*: [QA] Remove redundant `|| die` guardsDavid Seifert2019-12-111-10/+9
| | | | | | | | | | | | * Since all ebuilds in the tree are EAPI>=4, `|| die` on builtin commands is redundant and dead code. Closes: https://github.com/gentoo/gentoo/pull/13940 Reviewed-by: Ulrich Müller <ulm@gentoo.org> Reviewed-by: Michał Górny <mgorny@gentoo.org> Reviewed-by: Andreas K. Hüttel <dilfridge@gentoo.org> Signed-off-by: David Seifert <soap@gentoo.org>
* dev-lang/mercury: fix libdir in mmc/mmake scriptsKeri Harris2018-10-282-2/+2
| | | | | Signed-off-by: Keri Harris <keri@gentoo.org> Package-Manager: Portage-2.3.40, Repoman-2.3.9
* dev-lang/mercury: remove old versionsKeri Harris2018-10-273-405/+0
| | | | | Signed-off-by: Keri Harris <keri@gentoo.org> Package-Manager: Portage-2.3.40, Repoman-2.3.9
* dev-lang/mercury: do not build dvi/pdf documentation. Closes #575140Keri Harris2018-10-231-2/+7
| | | | | Package-Manager: Portage-2.3.40, Repoman-2.3.9 Signed-off-by: Keri Harris <keri@gentoo.org>
* dev-lang/mercury: x86 stable (bug #648224)Thomas Deutschmann2018-09-101-1/+1
| | | | Package-Manager: Portage-2.3.49, Repoman-2.3.10
* dev-lang/mercury: fixes for x86 grades using global registersKeri Harris2018-09-091-0/+9
| | | | Package-Manager: Portage-2.3.40, Repoman-2.3.9
* dev-lang/mercury: fix mmc erlang grade determinationKeri Harris2018-07-212-2/+2
| | | | Package-Manager: Portage-2.3.40, Repoman-2.3.9
* dev-lang/mercury: keep java/csharp module directoriesKeri Harris2018-07-191-0/+8
| | | | Package-Manager: Portage-2.3.40, Repoman-2.3.9
* dev-lang/mercury: do not use csc as mercury C# compilerKeri Harris2018-07-172-2/+2
| | | | Package-Manager: Portage-2.3.40, Repoman-2.3.9
* dev-lang/mercury: handle spaces in mercury PARALLEL argsKeri Harris2018-07-163-14/+14
| | | | Package-Manager: Portage-2.3.40, Repoman-2.3.9
* dev-lang/mercury: amd64 stable wrt bug #648224Agostino Sarubbo2018-03-071-2/+2
| | | | | | Signed-off-by: Agostino Sarubbo <ago@gentoo.org> Package-Manager: Portage-2.3.19, Repoman-2.3.6 RepoMan-Options: --include-arches="amd64"
* dev-lang/*: Update Manifest hashesMichał Górny2017-12-091-6/+6
|