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: 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
|
* dev-lang/mercury: Links to libnsl, so add dependencyAndreas K. Hüttel2017-11-032-0/+2
| | | | Package-Manager: Portage-2.3.13, Repoman-2.3.4
* dev-lang/mercury: use Mmake.params to specify CFLAGS/LDFLAGSKeri Harris2017-10-012-18/+16
| | | | Package-Manager: Portage-2.3.8, Repoman-2.3.1
* dev-lang/mercury: do not allow the Mercury compiler to pre-strip binaries ↵Keri Harris2017-09-301-1/+2
| | | | | | while bootstrapping Package-Manager: Portage-2.3.8, Repoman-2.3.1
* dev-lang/mercury: version bumpKeri Harris2017-09-303-0/+206
| | | | Package-Manager: Portage-2.3.8, Repoman-2.3.1
* dev-lang/mercury: fix failing foreign-decl-line-number unit test due to GCC ↵Keri Harris2017-09-262-2/+2
| | | | | | diagnostic output Package-Manager: Portage-2.3.8, Repoman-2.3.1
* dev-lang/mercury: version bumpKeri Harris2017-09-262-0/+204
| | | | Package-Manager: Portage-2.3.8, Repoman-2.3.1
* dev-lang/mercury: remove old versionsKeri Harris2017-09-257-1261/+0
| | | | Package-Manager: Portage-2.3.8, Repoman-2.3.1
* dev-lang/mercury: fix XDG_xxx_DIR sandbox issue. Bug #575140Keri Harris2017-09-251-1/+3
| | | | Package-Manager: Portage-2.3.8, Repoman-2.3.1
* Drop $Id$ per council decision in bug #611234.Robin H. Johnson2017-02-287-7/+0
| | | | Signed-off-by: Robin H. Johnson <robbat2@gentoo.org>
* dev-lang/mercury: x86 stable wrt bug #605126Agostino Sarubbo2017-01-231-1/+1
| | | | | | Package-Manager: portage-2.3.0 RepoMan-Options: --include-arches="x86" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-lang/mercury: amd64 stable wrt bug #605126Agostino Sarubbo2017-01-231-2/+2
| | | | | | Package-Manager: portage-2.3.0 RepoMan-Options: --include-arches="amd64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* Set appropriate maintainer types in metadata.xml (GLEP 67)Michał Górny2016-01-241-1/+1
|
* dev-lang/mercury: Use ecvs_clean to clean workdirJustin Lecher2016-01-228-49/+42
| | | | | | | * add missing die Package-Manager: portage-2.2.27 Signed-off-by: Justin Lecher <jlec@gentoo.org>
* Revert DOCTYPE SYSTEM https changes in metadata.xmlMike Gilbert2015-08-241-1/+1
| | | | | | | repoman does not yet accept the https version. This partially reverts eaaface92ee81f30a6ac66fe7acbcc42c00dc450. Bug: https://bugs.gentoo.org/552720
* Use https by defaultJustin Lecher2015-08-241-1/+1
| | | | | | Convert all URLs for sites supporting encrypted connections from http to https Signed-off-by: Justin Lecher <jlec@gentoo.org>
* proj/gentoo: Initial commitRobin H. Johnson2015-08-0810-0/+1488
This commit represents a new era for Gentoo: Storing the gentoo-x86 tree in Git, as converted from CVS. This commit is the start of the NEW history. Any historical data is intended to be grafted onto this point. Creation process: 1. Take final CVS checkout snapshot 2. Remove ALL ChangeLog* files 3. Transform all Manifests to thin 4. Remove empty Manifests 5. Convert all stale $Header$/$Id$ CVS keywords to non-expanded Git $Id$ 5.1. Do not touch files with -kb/-ko keyword flags. Signed-off-by: Robin H. Johnson <robbat2@gentoo.org> X-Thanks: Alec Warner <antarus@gentoo.org> - did the GSoC 2006 migration tests X-Thanks: Robin H. Johnson <robbat2@gentoo.org> - infra guy, herding this project X-Thanks: Nguyen Thai Ngoc Duy <pclouds@gentoo.org> - Former Gentoo developer, wrote Git features for the migration X-Thanks: Brian Harring <ferringb@gentoo.org> - wrote much python to improve cvs2svn X-Thanks: Rich Freeman <rich0@gentoo.org> - validation scripts X-Thanks: Patrick Lauer <patrick@gentoo.org> - Gentoo dev, running new 2014 work in migration X-Thanks: Michał Górny <mgorny@gentoo.org> - scripts, QA, nagging X-Thanks: All of other Gentoo developers - many ideas and lots of paint on the bikeshed