Hi,

I failed to biuld spot-2.14.1 on macOS. As the spot website invites to report to this list I am doing so.

Thank you for providing and mainating this very usefull software package, kind Regards, Thomas Moor

============

1)

I ran

./configure --prefix ~/opt --disable-python

which produces too much output to mail. It ended with

[…] config.status: executing libtool commands

which to me sounds fine.

2)

I ran

make

which again was very busy. It did issue some harmless warnings not worth reporting, but ended with an fatal error

[…] libtool: compile: g++ -std=gnu++11 -DHAVE_CONFIG_H -I. -I../.. -I../.. -I../.. -I../../buddy/src -I../../lib -I../../lib -\ DNDEBUG -fvisibility=hidden -fvisibility-inlines-hidden -DSPOT_BUILD -std=c++17 -g -O3 -ffast-math -fstrict-aliasing -fomit\ -frame-pointer -MT ltlf.lo -MD -MP -MF .deps/ltlf.Tpo -c ltlf.cc -fno-common -DPIC -o .libs/ltlf.o ltlf.cc:434:15: error: no template named 'unordered_map' in namespace 'std'; did you mean 'robin_hood::unordered_map'? std::unordered_map<formula, std::vector<formula>> map; ^~~~~~~~~~~~~~~~~~ robin_hood::unordered_map ../../spot/priv/robin_hood.hh:2520:1: note: 'robin_hood::unordered_map' declared here using unordered_map = ^ 1 error generated. […]

3)

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; e.g.

./bin/autfilt —version

reports

autfilt (spot) 2.14.1

Copyright (C) 2025 by the Spot authors, see the AUTHORS File for details. […]

I did not follow up technical details about “robin_hood” … is this some kind of a joke that Robin Hood fixed my build?

3)

In the case it matters:

clang —version

reports

Apple clang version 14.0.0 (clang-1400.0.29.202) Target: arm64-apple-darwin21.6.0 Thread model: posix InstalledDir: /Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin

This is the standard toochain that came along with macOS 12.7.6 (dated 2021)