Maude-help mailing list

[Feng Chen <fengchen AT uiuc.edu>]

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