sksat

install 時とかに git config --local してもいいかも

これはユーザ側の責務じゃないか？やるとしても install 時に warning

I'm also not a maintainer of this repository. Personally, this feature is my wish too, but I strongly agree with Muscraft that a polite request should be made. In general,...

問題が発生しているのはここ https://github.com/ut-issl/s2e-core/blob/ec8d0aa15000e8e1067da07d5c5aede6e5914b1a/ExtLibraries/cspice/CMakeLists.txt#L29-L38

`URL_HASH`がおかしくなってるのかと思ったけれど，本当の問題は直後の`DOWNLOAD_EXTRACT_TIMESTAMP`．これがCMake 3.24からの機能だった． https://cmake.org/cmake/help/latest/module/ExternalProject.html > DOWNLOAD_EXTRACT_TIMESTAMP New in version 3.24. When specified with a true value, the timestamps of the extracted files will match those in the archive. When false, the...

対処案としては， - `cmake_minimum_required`を3.24に上げる - `DOWNLOAD_EXTRACT_TIMESTAMP`を使うのを一旦やめる があり，できれば前者で行きたいものの， Visual Studio 2022でCMakeが3.23の環境が存在しているので難しい．

https://cmake.org/cmake/help/latest/generator/Visual%20Studio%2017%202022.html CMake Visual Studio 17 2022 Generatorが > New in version 3.21. とのことなので，3.21からもあり得るか

あれは絶対パスを指定すべきやつでしたねたぶん(Windowsのパス周りは渋いので......)

ですね(まあいずれにしろドキュメントは書かないといけない)

これも CI 通ったな