maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

Re: [Maude-help] bdd.h file missing from code

From: Steven Eker <eker AT csl.sri.com>
To: maude-help AT peepal.cs.uiuc.edu
Cc: maude-help AT peepal.cs.uiuc.edu
Subject: Re: [Maude-help] bdd.h file missing from code
Date: Wed, 11 Jun 2008 11:25:50 -0700
List-archive: <http://maude.cs.uiuc.edu/pipermail/maude-help>
List-id: Maude help list <maude-help.maude.cs.uiuc.edu>

Hi,

You should read the file "INSTALL" in the top directory of the source tree.
The file bdd.h is part of BuDDy, one of the packages you must install before
you can build Maude.

Best regards,

Steven Eker

On Tuesday 10 June 2008 23:44, vaneet dadra wrote:
> Sir/Madam,
>
> I forgot to mention in my last mail that I tried 1.)./configure and then
> 2.) make ,but it gives error that "bdd.h no such file or directory" and
> then I saw the code for bdd.hh and found that it needs a file named bdd.h
> but it is not in that directory.Can you help me in figuring out that what
> is wrong.

[Maude-help] bdd.h file missing from code, vaneet dadra, 06/11/2008
- Re: [Maude-help] bdd.h file missing from code, Steven Eker, 06/11/2008