[nonius] Add new port (#6238)

* [nonius] Add new port

* [nonius] Dependencies
This commit is contained in:
myd7349 2019-04-28 21:13:09 -05:00 committed by Griffin Downs
parent 745a0aea59
commit b500a0dc22
2 changed files with 20 additions and 0 deletions

4
ports/nonius/CONTROL Normal file
View File

@ -0,0 +1,4 @@
Source: nonius
Version: 2019-04-20
Description: A C++ micro-benchmarking framework
Build-Depends: boost-algorithm, boost-lexical-cast, boost-math

View File

@ -0,0 +1,16 @@
# header-only library
include(vcpkg_common_functions)
vcpkg_from_github(
OUT_SOURCE_PATH SOURCE_PATH
REPO libnonius/nonius
REF 6396b7ad6685843eea63754ffa567dd66353c1a8
SHA512 3b824a6011f1dbe116271dd76e8214ed98d73dfc215d7c9242bf298eb0e7ee3a3e3198f477b49fdbe098ac6e3e4edd8ca7bd2e03cc2036189bf3630ef3fcdca2
HEAD_REF master
)
file(COPY ${SOURCE_PATH}/include/${PORT} DESTINATION ${CURRENT_PACKAGES_DIR}/include)
# Handle copyright
configure_file(${SOURCE_PATH}/COPYING.txt ${CURRENT_PACKAGES_DIR}/share/${PORT}/copyright COPYONLY)