Download and cache a file needed for this port.
vcpkg_download_distfile(
<OUT_VARIABLE>
URLS <http://mainUrl> <http://mirror1>...
FILENAME <output.zip>
SHA512 <5981de...>
)
This variable will be set to the full path to the downloaded file. This can then immediately be passed in to vcpkg_extract_source_archive
for sources.
A list of URLs to be consulted. They will be tried in order until one of the downloaded files successfully matches the SHA512 given.
The local name for the file. Files are shared between ports, so the file may need to be renamed to make it clearly attributed to this port and avoid conflicts.
The expected hash for the file.
If this doesn't match the downloaded version, the build will be terminated with a message describing the mismatch.
The command vcpkg_from_github
should be used instead of this for downloading the main archive for GitHub projects.