Maude-help mailing list

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

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