Powei Feng f8057b9a5b Add spirv-headers as a separate third_party repo (#7401) ...

* Add spirv-headers as a separate third_party repo

Previously, we pulled in spirv-headers as part of spirv-tools. We
still keep this behavior but move the content of the repo to
third_party.

We introduce a script for updating spirv-tools, and update the patch
file. The same script will also pull in a dependent spirv-headers.

2023-12-05 10:02:15 -08:00

0 lines

0 B

Python

Raw Permalink Blame History

The file is empty.