Maude-help mailing list

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

Permission denied looks like a file permissions problem; do you have read 
_and_ execute permission for the Maude binary?

Using
  ldd <maude binary>
will let you see what libraries it's linking (or not linking) to.

If Tecla and GNU MP won't build on Ubuntu, report it as a bug to all three 
projects. Did you follow the advice in Maude's INSTALL file regarding 
building the 3rd party packages?

You say Maude failed to compile... can you be more specific?

Steven

On Monday 24 September 2007 13:55, GORIAC Eugen Ioan wrote:
> Greetings,
>
> I'm having a little trouble launching the provided maude binary under
> Ubuntu Linux. Launching it from the terminal results in a "Permission
> denied" message (even if I'm logged in as root). After launching it from a
> gui file browser, I receive "Error: no suitable application".
>
> My thought was that the binary is not compatible with Ubuntu (7.04), so I
> decided to compile it from scratch. Bison & Flex installation went easy
> and so did the compilation of BuDDy. Unfortunately Tecka and GNU MP failed
> to compile and so did Maude itself.
>
> May I ask if somebody managed to launch the provided binary OR compile
> maude, using Ubuntu ?
>
> Thank you for your time.
>
> Eugen
> _______________________________________________
> Maude-help mailing list
> Maude-help AT maude.cs.uiuc.edu
> http://maude.cs.uiuc.edu/cgi-bin/mailman/listinfo/maude-help