Maude-help mailing list

[GORIAC Eugen Ioan <egoriac AT info.uaic.ro>]

Hello again,

Changing the execute permissions did the trick. I know about permissions, 
but I'm not experienced enough to deduce that could be the problem. Thank 
you very much for enlightening me!

Regarding Maude compilation, it's natural not to work - the first 
compilation error is: "mpzSystem.hh:28:19: error: gmpxx.h: No such file or 
directory" so, as long as GNU MP doesn't compile (yes, I did follow the steps 
described in the INSTALL file), Maude can't compile. So, it's not a Maude 
problem.

I'll report those compiling errors to tecla & gmp.

Best regards,

Eugen


On Mon, 24 Sep 2007, Steven Eker wrote:

> 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