search

dapphub / klab

K framework proof explorer & smart contract specification format
GNU Affero General Public License v3.0
124 stars 36 forks source link

prove-all: support running in a worktree #402

Closed d-xo closed 4 years ago

d-xo commented 4 years ago

Git supports multiple worktrees per repository (git worktree add <PATH>). When inside one of these worktrees .git is a file pointing to the directory containing the repository (gitdir: ) instead of a directory and so prove-all did not setup the ci project as expected.

asymmetric commented 4 years ago

Why does klab check for .git in the first place? :thinking:

d-xo commented 4 years ago

Good question, was also not really sure. Happy to remove the check if you think it's better?

d-xo commented 4 years ago

Added https://github.com/dapphub/klab/issues/403