Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 371557 - Stabilize dev-lang/mercury-11.01 and dev-lang/mercury-extras-11.01
Summary: Stabilize dev-lang/mercury-11.01 and dev-lang/mercury-extras-11.01
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: [OLD] Development (show other bugs)
Hardware: All Linux
: Normal enhancement
Assignee: Keri Harris (RETIRED)
URL:
Whiteboard:
Keywords: STABLEREQ
Depends on:
Blocks:
 
Reported: 2011-06-14 06:50 UTC by Keri Harris (RETIRED)
Modified: 2011-08-12 21:47 UTC (History)
0 users

See Also:
Package list:
Runtime testing required: ---


Attachments

Note You need to log in before you can comment on or make changes to this bug.
Description Keri Harris (RETIRED) gentoo-dev 2011-06-14 06:50:14 UTC
Please stabilize:
=dev-lang/mercury-11.01
=dev-lang/mercury-extras-11.01

Be advised that on a slow machine mercury can take many hours to compile and
run through its testsuite.
Comment 1 Ian Delaney (RETIRED) gentoo-dev 2011-06-15 15:10:49 UTC
amd64:

All emerged ok, not (yet) used it as such
Comment 2 Agostino Sarubbo gentoo-dev 2011-06-18 09:17:14 UTC
If is needed only compilation is ok, otherwise can you provide with an example like "hello world" ?
Comment 3 Agostino Sarubbo gentoo-dev 2011-06-18 09:28:38 UTC
and take a look at Bug 372149
Comment 4 Keri Harris (RETIRED) gentoo-dev 2011-06-18 20:44:47 UTC
(In reply to comment #2)
> If is needed only compilation is ok, otherwise can you provide with an example
> like "hello world" ?

Fortunately the mercury test suite along with compiling the mercury-extras package provide a comprehensive test of mercury's functionality. If you want to get your hands dirty and test the mercury compiler for yourself, then the following hello world program should suffice:

$ cat hello_world.m
:- module hello_world.
:- interface.
:- import_module io.
:- pred main(io::di, io::uo) is det.

:- implementation.
main(!IO) :-
        io.write_string("Hello, World!\n", !IO).

$ mmc hello_world.m
$ ./hello_world
Hello, World!
Comment 5 Keri Harris (RETIRED) gentoo-dev 2011-06-18 20:46:31 UTC
(In reply to comment #3)
> and take a look at Bug 372149

Thanks for lodging that bug - I've committed a fix to CVS.
Comment 6 Agostino Sarubbo gentoo-dev 2011-06-19 02:25:28 UTC
simple program works, ok here
Comment 7 Markos Chandras (RETIRED) gentoo-dev 2011-06-20 11:23:35 UTC
amd64 done. Thanks Agostino
Comment 8 Myckel Habets 2011-06-21 16:40:03 UTC
Builds fine on x86. Tests run fine. Please mark stable for x86.
Comment 9 Markus Meier gentoo-dev 2011-06-29 19:11:26 UTC
x86 stable, thanks Myckel
Comment 10 Kacper Kowalik (Xarthisius) (RETIRED) gentoo-dev 2011-08-12 21:47:31 UTC
ppc keywords dropped