Maude-help mailing list

[Steven Eker <eker AT csl.sri.com>]

There are a lot of issues when compiling the 2.1.1 release with recent 
versions of gcc. These will all be resolved in the upcoming 2.2 release later 
this month.

If you are in a hurry, send me email and I will send you the access info for 
the alpha release site; the current alpha compiles under gcc 3.4.2 and the 
2.2 release will be compiled with gcc 4.0.1, at least on linux.

Steven

On Thursday 06 October 2005 01:16, Gabriele Lenzini wrote:
> 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)*
> * ---------------------------------------------- *
> *================================================
>
> _______________________________________________
> Maude-help mailing list
> Maude-help AT maude.cs.uiuc.edu
> http://maude.cs.uiuc.edu/cgi-bin/mailman/listinfo/maude-help