projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 457b0fe) | patch
contrib: Remove dependency directories. (#5367)
authorAina Niemetz <aina.niemetz@gmail.com>
Mon, 2 Nov 2020 22:10:34 +0000 (14:10 -0800)
committerGitHub <noreply@github.com>
Mon, 2 Nov 2020 22:10:34 +0000 (14:10 -0800)
commit5eb06a56099612e96303429fd8a9158ed8ad3121
tree770676e811afa252ef45e8e5ff4aa8ede78259actree
parent457b0fe003c8192e35df48cfb3528b9aefe2fd1bcommit | diff
contrib: Remove dependency directories. (#5367)

This automatically removes dependency directories for scripts that get
external dependencies instead of aborting with an error.
contrib/get-abc diff | blob | history
contrib/get-cadical diff | blob | history
contrib/get-cryptominisat diff | blob | history
contrib/get-drat2er diff | blob | history
contrib/get-glpk-cut-log diff | blob | history
contrib/get-gmp-dev diff | blob | history
contrib/get-kissat diff | blob | history
contrib/get-lfsc-checker diff | blob | history
contrib/get-poly diff | blob | history
contrib/get-script-header.sh diff | blob | history
contrib/get-symfpu diff | blob | history