maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

Re: [Maude-help] Compilation Error

From: Steven Eker <eker AT csl.sri.com>
To: Samuel Boissiere <sb AT math.unice.fr>, maude-help AT peepal.cs.uiuc.edu
Cc:
Subject: Re: [Maude-help] Compilation Error
Date: Tue, 6 Jun 2006 11:37:38 -0700
List-archive: <http://maude.cs.uiuc.edu/pipermail/maude-help>
List-id: Maude help list <maude-help.maude.cs.uiuc.edu>

Did you install BuDDY (http://sourceforge.net/projects/buddy)?
Did you tell g++ where to find the header files?
See the file INSTALL in the top directory of the Maude tree.

Steven

On Tuesday 06 June 2006 05:52, Samuel Boissiere wrote:
> Hi,
>
> I tried to compile Maude 2.2 from the source, but I got the following
> error: bdd.h: No such file or directory
> (see attached file Compile_Error)
> Could you please help me fix the problem?
>
> Best,
> Samuel Boissiere

[Maude-help] Compilation Error, Samuel Boissiere, 06/06/2006
- Re: [Maude-help] Compilation Error, Steven Eker, 06/06/2006