[mercury-users] Re: Fwd: Tools, binaries, bootstrapping, ontologies
aborgabor at gmail.com
Wed May 30 00:59:22 AEST 2012
On 29 May 2012 03:56, Paul Bone <pbone at csse.unimelb.edu.au> wrote:
> On Mon, May 28, 2012 at 10:02:47PM +0200, Gabor Bakos wrote:
> > 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
> > <
> > although in gmane.comp.lang.mercury.general there seems to be others.)
> > Thanks, gabor
> We'll look into that.
Thanks, as Julien Fischer realised, my previous attempt to subscribe to the
list was not successful. Today, I could do that (and hopefully this message
will reach the list server).
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
> use that to build the compiler if you don't already have a Mercury compiler
> A C compiler _is_ a requirement.
Thanks. I have to admit I prefer a .jar file, or a .NET .dll, but I guess
that is just a personal preference. :)
> 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 :-)
I am thinking of doing a simple eclipse plugin for Java target, I hope it
will not be too hard to do with Xtext. Although I cannot promise anything
yet. The most problematic part might be the build system in the beginning I
guess (and after that code completion, ...). In case I can do something
usable is there an API for Mercury that I can use for querying the
compatible types and similar things? (Sorry, I have not dig deep in the
Thanks for your answers. Cheers, gabor
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the users