maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

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

From: "vaneet dadra" <vaneet.dadra AT gmail.com>
To: maude-help AT maude.cs.uiuc.edu
Subject: [Maude-help] bdd.h file missing from code
Date: Wed, 11 Jun 2008 02:44:49 -0400
Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:to:subject:mime-version:content-type; b=bnonEitcbs/FrBkFOLcn713Kh7LlCjDu/aHwWuRf/Pw5KnbJ7t8czgxRjGRkH9gFPp 5LW6T0zWfG8YG8pJitMm7AFh8jVwyQ2KonS356WceMJuKnnJXx7mzYXTjwm9O/A2CsHW QCC77GHT6qtYtopRs1/ctB3NBUWduM3/DNkOc=
List-archive: <http://maude.cs.uiuc.edu/pipermail/maude-help>
List-id: Maude help list <maude-help.maude.cs.uiuc.edu>

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.

--
Thank you and best regards,
Vaneet Dadra

[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