aboutsummaryrefslogtreecommitdiff
path: root/vcpkg/ports/effolkronium-random
diff options
context:
space:
mode:
authorEthan Morgan <ethan@gweithio.com>2026-02-14 16:44:06 +0000
committerEthan Morgan <ethan@gweithio.com>2026-02-14 16:44:06 +0000
commit54409423f767d8b1cf30cb7d0efca6b4ca138823 (patch)
treed915ac7828703ce4b963efdd9728a1777ba18c1e /vcpkg/ports/effolkronium-random
move to own git serverHEADmaster
Diffstat (limited to 'vcpkg/ports/effolkronium-random')
-rw-r--r--vcpkg/ports/effolkronium-random/portfile.cmake19
-rw-r--r--vcpkg/ports/effolkronium-random/vcpkg.json17
2 files changed, 36 insertions, 0 deletions
diff --git a/vcpkg/ports/effolkronium-random/portfile.cmake b/vcpkg/ports/effolkronium-random/portfile.cmake
new file mode 100644
index 0000000..6ed197b
--- /dev/null
+++ b/vcpkg/ports/effolkronium-random/portfile.cmake
@@ -0,0 +1,19 @@
+vcpkg_from_github(
+ OUT_SOURCE_PATH SOURCE_PATH
+ REPO effolkronium/random
+ REF "v${VERSION}"
+ SHA512 778667d3b3a4bd51b67ef7d1842652dcf6d7df210345f667d0474cdfe48bb75fa2c891f8843f3fc4946fb2ef71da652c296eaaa03718ed889dee4926d743b7dd
+ HEAD_REF master
+)
+
+vcpkg_cmake_configure(
+ SOURCE_PATH "${SOURCE_PATH}"
+ OPTIONS
+ -DRandom_BuildTests=OFF
+)
+
+vcpkg_cmake_install()
+vcpkg_cmake_config_fixup(PACKAGE_NAME effolkronium_random CONFIG_PATH cmake)
+
+file(REMOVE_RECURSE "${CURRENT_PACKAGES_DIR}/debug" "${CURRENT_PACKAGES_DIR}/lib")
+file(INSTALL "${SOURCE_PATH}/LICENSE.MIT" DESTINATION "${CURRENT_PACKAGES_DIR}/share/${PORT}" RENAME copyright) \ No newline at end of file
diff --git a/vcpkg/ports/effolkronium-random/vcpkg.json b/vcpkg/ports/effolkronium-random/vcpkg.json
new file mode 100644
index 0000000..e3c29ef
--- /dev/null
+++ b/vcpkg/ports/effolkronium-random/vcpkg.json
@@ -0,0 +1,17 @@
+{
+ "name": "effolkronium-random",
+ "version": "1.5.0",
+ "description": "Random with a modern C++ API",
+ "homepage": "https://github.com/effolkronium/random",
+ "license": "MIT",
+ "dependencies": [
+ {
+ "name": "vcpkg-cmake",
+ "host": true
+ },
+ {
+ "name": "vcpkg-cmake-config",
+ "host": true
+ }
+ ]
+}