Collisions in case sensitivity cause problems on macOS

[jwiegley]

This project now has two files that differ only in case:

• Makefile.HoTT.local
• Makefile.hott.local

This is a problem on macOS, because one will always overwrite the other due to case-insensitivity, Git will always think that one of the two has been modified (because the contents are different), and then you cannot use git pull anymore, but only git reset --hard HEAD in order to advance HEAD to the most recent commit.

I recommend removing one of these.

[jwiegley]

Any chance of deleting one of these two from the repo?

[jwiegley]

Just to note, this is now breaking the Nix build on Mac of 1.3-8.16, because unzip can't unzip the contents due to the case-name collision:

error: builder for '/nix/store/sijjicmf6mbn2aggjx4f0355lm6wdqj9-source.drv' failed with exit code 1;
       last 10 log lines:
       >
       > trying https://github.com/mattam82/Coq-Equations/archive/v1.3-8.16.zip
       >   % Total    % Received % Xferd  Average Speed   Time    Time     Time  Current
       >                                  Dload  Upload   Total   Spent    Left  Speed
       >   0     0    0     0    0     0      0      0 --:--:--  0:00:01 --:--:--     0
       > 100 1199k    0 1199k    0     0   627k      0 --:--:--  0:00:01 --:--:-- 1624k
       > unpacking source archive /private/tmp/nix-build-source.drv-0/v1.3-8.16.zip
       > replace Coq-Equations-1.3-8.16/Makefile.hott.local? [y]es, [n]o, [A]ll, [N]one, [r]ename:  NULL
       > (EOF or read error, treating as "[N]one" ...)
       > do not know how to unpack source archive /private/tmp/nix-build-source.drv-0/v1.3-8.16.zip