From 59b8a9761db2da01f69dfc72419c356c25b2ec1f Mon Sep 17 00:00:00 2001 From: chausner <15180557+chausner@users.noreply.github.com> Date: Mon, 21 Aug 2023 20:47:15 +0200 Subject: [PATCH] [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 --- ports/pulzed-mini/portfile.cmake | 12 ++++++++++++ ports/pulzed-mini/vcpkg.json | 7 +++++++ versions/baseline.json | 4 ++++ versions/p-/pulzed-mini.json | 9 +++++++++ 4 files changed, 32 insertions(+) create mode 100644 ports/pulzed-mini/portfile.cmake create mode 100644 ports/pulzed-mini/vcpkg.json create mode 100644 versions/p-/pulzed-mini.json diff --git a/ports/pulzed-mini/portfile.cmake b/ports/pulzed-mini/portfile.cmake new file mode 100644 index 0000000000..406f0e1b90 --- /dev/null +++ b/ports/pulzed-mini/portfile.cmake @@ -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") diff --git a/ports/pulzed-mini/vcpkg.json b/ports/pulzed-mini/vcpkg.json new file mode 100644 index 0000000000..da79a07712 --- /dev/null +++ b/ports/pulzed-mini/vcpkg.json @@ -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" +} diff --git a/versions/baseline.json b/versions/baseline.json index cb26343954..ed87cbd547 100644 --- a/versions/baseline.json +++ b/versions/baseline.json @@ -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 diff --git a/versions/p-/pulzed-mini.json b/versions/p-/pulzed-mini.json new file mode 100644 index 0000000000..c56daefdac --- /dev/null +++ b/versions/p-/pulzed-mini.json @@ -0,0 +1,9 @@ +{ + "versions": [ + { + "git-tree": "784f59f1926b4dc6b103c5fdb9142ed0767bdae7", + "version": "0.9.14", + "port-version": 0 + } + ] +}