Compile Mistake for Souffle during installation

[grpfrt]

After run the installation command for macOS "brew install --HEAD souffle-lang/souffle/souffle" in shell, I got the following message and the installation failed. Hope this issue can be solved. Thanks.
"Last 15 lines from /Users/xxx/Library/Logs/Homebrew/souffle/03.cmake:
In file included from /tmp/souffle-20240312-75627-c8k06y/src/interpreter/Index.h:18:
In file included from /tmp/souffle-20240312-75627-c8k06y/src/interpreter/Util.h:19:
/tmp/souffle-20240312-75627-c8k06y/src/include/souffle/RamTypes.h:83:5: error: static_assert failed due to requirement 'sizeof(int) == sizeof(double)' "Can't bit cast types with different size."
static_assert(sizeof(To) == sizeof(From), "Can't bit cast types with different size.");
^ ~~~~~~~~~~~~~~~~~~~~~~~~~~
2 errors generated.
make[2]: *** [src/CMakeFiles/libsouffle.dir/MainDriver.cpp.o] Error 1
[ 84%] Linking CXX executable souffleprof
[ 84%] Built target souffleprof
[ 85%] Linking CXX executable test_brie
[ 85%] Built target test_brie
4 errors generated.
make[2]: *** [src/CMakeFiles/libsouffle.dir/interpreter/Engine.cpp.o] Error 1
make[1]: *** [src/CMakeFiles/libsouffle.dir/all] Error 2
make: *** [all] Error 2

If reporting this issue please do so at (not Homebrew/brew or Homebrew/homebrew-core):
https://github.com/souffle-lang/homebrew-souffle/issues

These open issues may also help:
Build of Souffle 2.3 fails on macOS 12.6 souffle-lang/homebrew-souffle#10
Build of Souffle 2.1 fails on macOS 11.5.2 souffle-lang/homebrew-souffle#7
souffle's formula was built from an unstable upstream --HEAD.
This build failure is expected behaviour.
Do not create issues about this on Homebrew's GitHub repositories.
Any opened issues will be immediately closed without response.
Do not ask for help from Homebrew or its maintainers on social media.
You may ask for help in Homebrew's discussions but are unlikely to receive a response.
Try to figure out the problem yourself and submit a fix as a pull request.
We will review it but may or may not accept it."