Maude-help mailing list

[Sandeep Soni <soni.sandeepb AT gmail.com>]

On Wed, Apr 11, 2012 at 12:10 AM, Sandeep Soni 
<soni.sandeepb AT gmail.com>
 wrote:
> On Mon, Apr 9, 2012 at 11:48 PM, Steven Eker 
> <eker AT csl.sri.com>
>  wrote:
>> Hard to say without see the output of the tests. It looks like Maude is
>> failing generally which could be as simple as it not being able to find the
>> prelude. Could you load tests/Builtin/nat.maude into your installed version
>> of Maude and send me the result.
>>
>> Steven
>>
>
> Sorry for asking a very naive question. I have never used Maude before
> and I am not  completely sure if maude has even been installed on my
> system. In the INSTALL file that came with the sources, it was said
> that the binary files are installed in the $(bindir) but I have not
> been able to understand what $(bindir) is pointing to in my case.
>
> Precisely, I have followed the following steps.
>
> $> tar -xvf Maude
> $> cd Maude
> $> ./configure
> $> make
> $> make check
> $> make install
>
> In such a case, if maude is at all installed, where should I expect it
> to be installed? If Maude is indeed correctly installed and I come to
> know where is it installed, I will be able to run maude and load the
> module that you said.
>
> --
> Cheers
> Sandy

Btw, executing the command maude from the linux shell gives me the
following error
maude: error while loading shared libraries: libbdd.so.0: cannot open
shared object file: No such file or directory

-- 
Cheers
Sandy