[mercury-users] Re: Fwd: Tools, binaries, bootstrapping, ontologies

Paul Bone pbone at csse.unimelb.edu.au
Tue May 29 11:56:08 AEST 2012

On Mon, May 28, 2012 at 10:02:47PM +0200, Gabor Bakos wrote:
> Hello,
>    I have tried to contact the users mailing list multiple times (email,
> through gmane news) without success. Is there a problem with it? (I see
> only one message on the web archive of it
> <http://www.mercury.csse.unimelb.edu.au/mailing-lists/mercury-users/mercury-users.201205/index.html>,
> although in gmane.comp.lang.mercury.general there seems to be others.)
> Thanks, gabor

We'll look into that.

> -------- Original Message --------
> Subject: 	Tools, binaries, bootstrapping, ontologies
> Date: 	Sat, 26 May 2012 23:00:10 +0200
> From: 	Gabor Bakos <aborgabor at gmail.com>
> To: 	mercury-users at csse.unimelb.edu.au
> Hello,
> I am a pre-beginner with Mercury, so please forgive me if my search-fu
> was inadequate. I hope this is the right list for this kind of questions.
> I have seen that the build is based on the mmc tool/Makefiles, but also
> seen that there are no published binaries not even for the released
> versions. May I ask what is the reason for this? (Too much possible
> build combinations?) Are there bootstrapped builds for the Java or C#
> grades (something that do not require C/C++ compilers)? (I have tried to
> compile the compiler with --target java, but it told me it is invalid
> argument.)

There are a lot of targets, as you suggest.

Our solution is to bootstrap through a C compiler, such as GCC.

The tarballs that you'll find on the website have pre-built C code.  They will
use that to build the compiler if you don't already have a Mercury compiler

A C compiler _is_ a requirement.

> Are there IDEs available for Mercury? [1] suggests very limited support
> only. Are there any improvements since?

There is vim syntax highlighting support.  Once you download Mercury there is a
vim subdirectory with the files.  There's nothing else at this stage, we
encourage contributions :-) 

> Are there preferred Mercury libraries around for ontology handling?

Not that I'm aware of.

> Is there a wiki, or that kind of thing related to Mercury development?

No, but I agree this is a good idea.

> [1]
> http://stackoverflow.com/questions/6338204/ide-or-editor-with-support-for-mercury
> [2] http://www.mercury.csse.unimelb.edu.au/applications.html
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 490 bytes
Desc: Digital signature
URL: <http://lists.mercurylang.org/archives/users/attachments/20120529/9146b8b3/attachment.sig>

More information about the users mailing list