Merge pull request #2555 from horenmar/introduce-catch2

Add specific port for Catch2
This commit is contained in:
Robert Schumacher 2018-01-18 00:43:40 -08:00 committed by GitHub
commit 27188d3b1e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 22 additions and 0 deletions

4
ports/catch2/CONTROL Normal file
View File

@ -0,0 +1,4 @@
Source: catch2
Version: 2.1.0
Description: A modern, header-only test framework for unit testing.
Issues, PRs and changelogs can be found at https://github.com/catchorg/Catch2

View File

@ -0,0 +1,18 @@
include(vcpkg_common_functions)
set(CATCH_VERSION v2.1.0)
vcpkg_download_distfile(HEADER
URLS "https://github.com/catchorg/Catch2/releases/download/${CATCH_VERSION}/catch.hpp"
FILENAME "catchorg-catch2-${CATCH_VERSION}.hpp"
SHA512 967a9b4046ec2c72f094bebae381b5090e88358faefde9bdbca3d7e058c299c1bed0542653de79c857f78139d7969b0815bb8b8a60ff13e2144fcb7af2a2020c
)
vcpkg_download_distfile(LICENSE
URLS "https://raw.githubusercontent.com/catchorg/Catch2/${CATCH_VERSION}/LICENSE.txt"
FILENAME "catchorg-catch2-LICENSE-${CATCH_VERSION}.txt"
SHA512 d6078467835dba8932314c1c1e945569a64b065474d7aced27c9a7acc391d52e9f234138ed9f1aa9cd576f25f12f557e0b733c14891d42c16ecdc4a7bd4d60b8
)
file(INSTALL ${HEADER} DESTINATION ${CURRENT_PACKAGES_DIR}/include RENAME catch.hpp)
file(INSTALL ${LICENSE} DESTINATION ${CURRENT_PACKAGES_DIR}/share/catch2 RENAME copyright)