Maude-help mailing list

["Gabriele Lenzini" <gabriele.lenzini AT iit.cnr.it>]

Hi, 

 I have read about a previous problem about compiling under cygwin
(June 2005). The problem was with the file buchiAutomaton2.cc. The
suggestion given change a line in src/Utility/indexedSet.hh works well.

 Btw, another error arises when using gcc 3.4.4. (the latest in the
present
version of cygwin). Here is the detail

 In file included from ACU_Term.cc:42:
../../src/Core/argVec.hh: In constructor `ArgVec<T>::ArgVec(size_t)':
../../src/Core/argVec.hh:101: error: incomplete type `MemoryCell' used
in nested
 name specifier
../../src/Core/argVec.hh: In member function `void
ArgVec<T>::expandBy(size_t)':
../../src/Core/argVec.hh:200: error: incomplete type `MemoryCell' used
in nested
 name specifier
../../src/Core/argVec.hh: In member function `void
ArgVec<T>::resizeWithoutPrese
rvation(size_t)':
../../src/Core/argVec.hh:218: error: incomplete type `MemoryCell' used
in nested
 name specifier
../../src/Core/argVec.hh: In member function `void
ArgVec<T>::evacuate()':
../../src/Core/argVec.hh:230: error: incomplete type `MemoryCell' used
in nested
 name specifier

It seems something is wrong when dealing with the object MemoryCell,
defined 
in src/Core/memoryCell.hh

I think it depends (as in the other case) on the version of gcc I am
using. But, instead
of changing version of gcc, I would like to understand how to fix it
under the current version. It could be useful for new users also.

I cannot get in the cc code for I miss experience in that.

Someone can help me? 

Thanks,
Gabriele

==================================================
*              Dr. Lenzini Gabriele              *
--------------------------------------------------
* ---------------------------------------------- *
* Telematica Instituut Enschede (The Netherlands)*
* ---------------------------------------------- *
*================================================