Maude-help mailing list

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

Hi Feng,

This looks like a very version specific thing - which version of gcc are you 
using? which version of Maude are you trying to compile? The ever shifting 
state of C++ implementation means that certain versions of Maude will only 
compile with certain versions of gcc.

Steven

On Monday 20 June 2005 14:35, Feng Chen wrote:
> Hi,
>
> I was trying to install Maude in Cygwin, following the
> instruction on the "Maude on Windows" page. After installed
> those third part packages, I tried to compile Maude, but got
> the following error message:
>
> ../../../src/Temporal/buchiAutomaton2.cc:101:   instantiated
> from here
> ../../../src/Utility/indexedSet.hh:82: error: dependent-name
> ` std::map<T,int,st
> d::less<_Key>,std::allocator<std::pair<const T, int> >
>
> >::value_type' is parsed
>
> as a non-type, but instantiation yields a type
> ../../../src/Utility/indexedSet.hh:82: note: say `typename
> std::map<T,int,std::
> less<_Key>,std::allocator<std::pair<const T, int> >
>
> >::value_type' if a type is
>
> meant
>
> Could you please help me to check what the problem is?
> Thanks!
>
> Feng
> _______________________________________________
> Maude-help mailing list
> Maude-help AT maude.cs.uiuc.edu
> http://maude.cs.uiuc.edu/cgi-bin/mailman/listinfo/maude-help