Maude-help mailing list

[Samuel Boissiere <sb AT math.unice.fr>]

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

--
------------------------------------------------------------------
Samuel Boissiere                        Bureau: W719
Tel:     +33 (0)4.92.07.62.73           Fax.: +33 (0)4.93.51.79.74
E_Mail:  
sb AT math.unice.fr
Adresse: Laboratoire J.A.Dieudonne   UMR CNRS 6621
        Universite de Nice Sophia-Antipolis
        Parc Valrose
        06108 Nice Cedex 2
------------------------------------------------------------------

In file included from bddUser.cc:29:
bddUser.hh:28:17: bdd.h: No such file or directory
In file included from bddUser.cc:29:
bddUser.hh:36: ISO C++ forbids declaration of `bdd' with no type
bddUser.hh:36: syntax error before `(' token
bddUser.hh:37: ISO C++ forbids declaration of `bdd' with no type
bddUser.hh:37: syntax error before `(' token
bddUser.hh:39: type specifier omitted for parameter `bdd'
bddUser.hh:39: syntax error before `)' token
bddUser.hh:37: duplicate member `BddUser::bdd'
bddUser.hh:53: syntax error before `::' token
bddUser.hh:61: syntax error before `::' token
bddUser.cc: In constructor `BddUser::BddUser()':
bddUser.cc:37: `bdd_init' undeclared (first use this function)
bddUser.cc:37: (Each undeclared identifier is reported only once for each
   function it appears in.)
bddUser.cc:38: `bdd_setvarnum' undeclared (first use this function)
bddUser.cc: In static member function `static void
   BddUser::setNrVariables(int)':
bddUser.cc:46: `bdd_varnum' undeclared (first use this function)
bddUser.cc: In destructor `BddUser::~BddUser()':
bddUser.cc:54: `bdd_done' undeclared (first use this function)
bddUser.cc: At global scope:
bddUser.cc:58: type specifier omitted for parameter `bdd'
bddUser.cc:58: syntax error before `)' token
bddUser.cc: In static member function `static void BddUser::dump(...)':
bddUser.cc:60: `root' undeclared (first use this function)
bddUser.cc:60: `bdd_false' undeclared (first use this function)
bddUser.cc:61: `s' undeclared (first use this function)
bddUser.cc:62: `bdd_true' undeclared (first use this function)
bddUser.cc:66: `bdd_var' undeclared (first use this function)
bddUser.cc:67: `bdd' undeclared (first use this function)
bddUser.cc:67: syntax error before `=' token
bddUser.cc:68: `lo' undeclared (first use this function)
bddUser.cc:78: syntax error before `=' token
bddUser.cc:79: `hi' undeclared (first use this function)
make[3]: *** [bddUser.o] Error 1
make[3]: Leaving directory `/workspace/sb/Maude-2.2/src/Utility'
make[2]: *** [all-recursive] Error 1
make[2]: Leaving directory `/workspace/sb/Maude-2.2/src'
make[1]: *** [all-recursive] Error 1
make[1]: Leaving directory `/workspace/sb/Maude-2.2'
make: *** [all] Error 2