[pulzed-mini] New port (#33275)

* Add new port mini 0.9.14

* Update CI baseline

* Rename to pulzed-mini

* Remove mini from CI baseline

* Update CI baseline

---------

Co-authored-by: chausner <chausner@users.noreply.github.com>
This commit is contained in:
chausner 2023-08-21 20:47:15 +02:00 committed by GitHub
parent 25f26596cb
commit 59b8a9761d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
4 changed files with 32 additions and 0 deletions

View File

@ -0,0 +1,12 @@
# Header-only library
vcpkg_from_github(
OUT_SOURCE_PATH SOURCE_PATH
REPO pulzed/mINI
REF ${VERSION}
SHA512 af29b0e59a2bed460a3a4e071932e0c01c017a57643c9414d360e17aa643bce476dc2941760a0cd904ec24483e67ee7f0df6029dc79254052c6c3c1d0941d4d0
HEAD_REF master
)
file(INSTALL "${SOURCE_PATH}/src/mini/ini.h" DESTINATION "${CURRENT_PACKAGES_DIR}/include/mini")
vcpkg_install_copyright(FILE_LIST "${SOURCE_PATH}/LICENSE")

View File

@ -0,0 +1,7 @@
{
"name": "pulzed-mini",
"version": "0.9.14",
"description": "INI file reader and writer",
"homepage": "https://github.com/pulzed/mINI",
"license": "MIT"
}

View File

@ -6596,6 +6596,10 @@
"baseline": "1.13.0",
"port-version": 0
},
"pulzed-mini": {
"baseline": "0.9.14",
"port-version": 0
},
"pybind11": {
"baseline": "2.11.1",
"port-version": 0

View File

@ -0,0 +1,9 @@
{
"versions": [
{
"git-tree": "784f59f1926b4dc6b103c5fdb9142ed0767bdae7",
"version": "0.9.14",
"port-version": 0
}
]
}