Maude-help mailing list

[Steven Eker <eker AT csl.sri.com>]

Hi Salvador,

The person who was making MacOSX binaries for us switched to Mac/Linux
(hence the Mac/Linux binary on our website). I spent a couple of days
trying to build Maude on a Mac here but failed - I'm not sure whether
I was just doing something dumb due to my lack of MacOSX experience or
whether there is a problem with the build environment one of our
sysadmins installed - even getting a helloWorld.cc running was
problematic. We don't have any Mac gurus on hand.

Steven


On Friday 20 June 2003 07:20 am, Salvador Lucas wrote:
> Dear friends,
>
> I recently knew that Maude 2.0 is available now.
> This is great!
>
> Since I usually work on a Mac, I would like to be
> able to use Maude 2.0 also on my Mac. Is there any
> (plan to have a) version of Maude 2.0 running on
> Mac OS X?
>
> Best regards,
>
> Salvador.
>
> ____________________________________________________________________
>
> Salvador Lucas
> Departamento de Sistemas Informaticos y Computacion (DSIC)
>
> Universidad Politecnica de Valencia | phone: + 34 96 387 7007 (73531)
> Camino de Vera, s/n                 | fax:   + 34 96 387 7359
> E-46022 Valencia (Spain)            | e-mail: 
> slucas AT dsic.upv.es
>
>             http://www.dsic.upv.es/users/elp/slucas.html
> ____________________________________________________________________
>
>
>
>
> _______________________________________________
> Maude-help mailing list
> Maude-help AT maude.cs.uiuc.edu
> http://maude.cs.uiuc.edu/mailman/listinfo/maude-help