Maude-help mailing list

[Francisco Duran <duran AT lcc.uma.es>]

Hi,

I'm not a linux expert, but Maude is probably looking for the file in 
/usr/local/bin/. I'd suggest using the MAUDE_LIB environment variable to 
tell Maude where it must look for it.

Regards,

Paco

Manjari Bagchi escribió:
> Dear Francisco,
>
> let me tell you my problem in details. I am using Fedora 5 linux. I
> have downloaded and untarred the latest version (2.3
> from 
> http://maude.cs.uiuc.edu/download/download.php?category=binaries;target=current/maude-linux.tgz)
>  of Maude in /usr/local. There in the directory maude-linux, I have
> the following files
>
>
>    maude.linux
>    prelude.maude
>    machine-int.maude
>    model-checker.maude
>    linear.maude
>    socket.maude
>    term-order.maude
>
> Then I have created the symbolic link as
>
> ln -s /usr/local/maude-linux/maude.linux /usr/local/bin/maude
>
> After these steps, I am trying to invoke maude from a command prompt
> by typing maude and getting the warning.  -- Warning: <automatic>:
> unable to locate file: prelude.maude
>
> I can not understand the problem. Could you please help ?
>
> With best regards,
> Manjari
>
>
> On 9/20/07, Francisco Duran 
> <duran AT lcc.uma.es>
>  wrote:
> > Manjari:
> >
> > Maude tries to load the prelude.maude file at start up. Although you can
> > place it in other places (check the manual), the easiest alternative is
> > having it in the same place you have the Maude binary.
> >
> > Regards,
> >
> > Paco
> >
> >
> >
> > Manjari Bagchi escribió:
> > > I have installed the current version of maude following the
> > > instructions given in http://maude.cs.uiuc.edu/download/. But when I
> > > am trying to run Maude, I am getting a warning message as :
> > > -- Warning: <automatic>: unable to locate file: prelude.maude
> > >
> > > Could you kindly suggest the solution ?
> > >
> > > Regards,
> > > Manjari
> > > =====================================
> > > " Be who you are and say what you feel, because
> > >   those who mind don't matter and those who
> > >   matter don't mind. "
> > >  ~~~  Theodor Seuss Geisel
> > > =====================================
> > >  Manjari Bagchi
> > >  Homepage:  http://www.tifr.res.in/~manjari/
> > >  Visiting Fellow,
> > >  Department of Astronomy and Astrophysics
> > >  Tata Institute of Fundamental Research
> > >  Homi Bhaba Road,
> > >  Colaba, Mumbai 400005, India
> > >            -------------------
> > > Phone: +91 22 2278 2289
> > > Fax: +91 22 2280 4610 / 11
> > > email (official): 
> > > manjari AT tifr.res.in
> > >  email (personal): 
> > > manjari.bagchi AT gmail.com
> > > ===============================
> > > _______________________________________________
> > > Maude-help mailing list
> > > Maude-help AT maude.cs.uiuc.edu
> > > http://maude.cs.uiuc.edu/cgi-bin/mailman/listinfo/maude-help