Hi Thomas,
"Moor, Thomas" thomas.moor@fau.de writes:
ltlf.cc:434:15: error: no template named 'unordered_map' in namespace 'std'; did you mean 'robin_hood::unordered_map'?
[...]>
I have inspected the reported file “spot/tl/ltlf.cc", and it actually uses "robin_hood::unordered_map” in a number on instances, but also once "std::unordered_map”. Changing this to "robin_hood::unordered_map” fixed the problem for me and I could successfully build the executables I was after;
Thank you for the report. I'll apply the same fix.
For some reason <unordered_map> was indirectly included in all the architectures I build Spot on (including some osx_arm64 builds for conda-forge).
I did not follow up technical details about “robin_hood” … is this some kind of a joke that Robin Hood fixed my build?
It's a hash table with open addressing that steals the location of "rich" keys (keys that have a small probe sequence) to give to the "poor" keys (keys that would have a longer probe sequence).