The case-sensitivity of file systems depends OS and make confusing errors

Paths are case-insensitive in Windows and macOS but case-sensitive in Linux and GitHub Actions (which uses Ubuntu).

This problem appears as No such file or directory errors in the phase to analyze dependencies of files, and also users cannot reproduce it on their local environments. As the result, it’s very difficult for users to recognize what is wrong.

INFO:onlinejudge_verify.verify:verify: /home/runner/work/CompetitiveProgramming/CompetitiveProgramming/kyopro/test/unionfind_yosupo-judge.test.cpp
/home/runner/work/CompetitiveProgramming/CompetitiveProgramming/kyopro/test/unionfind_yosupo-judge.test.cpp:5:10: fatal error: ../Library/DataStructure/unionfind.cpp: No such file or directory
 #include "../Library/DataStructure/unionfind.cpp"
          ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
compilation terminated.

---

被害者1

@kmyk ありがとうございます。

https://github.com/knshnb/competitive_library/runs/618276854?check_suite_focus=true ここに書くべきでは無いかもしれませんが、そもそもこれがコンパイル通っていない原因もわかっていません(テストで落ちるのでとりあえずファイルをignoreしたりファイル名変更して対応しようとした結果が先程のissueです)。

手元のMac環境ではoj-verify runは通っていて、依存関係は特に問題ないように思えるのですが… (問題ファイル: https://github.com/knshnb/competitive_library/blob/e4a8328a5afcafb5a4604fbb9fe781df8b4a9e0c/test/yukicoder/1036_segment_tree.test.cpp)

https://github.com/online-judge-tools/verification-helper/issues/228#issuecomment-619986014

被害者2

https://t.co/ZVJ0vLVLgl
GitHub 難しい

— null🍆🌖 (@null_0124) May 12, 2020

[knshnb]

MacOS (Catalina 10.15.2)でも test.o: test.cpp hoge/fuga/PIYO.h になりました。

[null0124]

@kmyk 回答ありがとうございます。 deps.txt の中身は test.o: test.cpp hoge/fuga/PIYO.h になってました