move to own git serverHEADmaster

1 files changed, 59 insertions, 0 deletions

diff --git a/vcpkg/ports/wabt/portfile.cmake b/vcpkg/ports/wabt/portfile.cmake
new file mode 100644
index 0000000..649f89a
--- /dev/null
+++ b/vcpkg/ports/wabt/portfile.cmake
@@ -0,0 +1,59 @@
+vcpkg_check_linkage(ONLY_STATIC_LIBRARY)
+
+vcpkg_from_github(
+    OUT_SOURCE_PATH source_path
+    REPO WebAssembly/wabt
+    REF "${VERSION}"
+    SHA512 1a468110a34ea4654a423c0e2c5cc1c915eddb6ca306452a4f54b623b3cb5ca2043a4d29899c528dccbf8ac5fe8ac69f964057e2d9837c8843a9fe26499a30b6
+    HEAD_REF main
+)
+
+# wabt enables wasm-rt-impl iff setjmp.h is found by `check_include_file`.
+# It does not use this variable otherwise.
+vcpkg_check_features(OUT_FEATURE_OPTIONS feature_options
+    FEATURES
+        tools           BUILD_TOOLS
+        wasm-rt-impl    HAVE_SETJMP_H
+)
+
+vcpkg_cmake_configure(
+    SOURCE_PATH "${source_path}"
+    OPTIONS
+        ${feature_options}
+        -DBUILD_LIBWASM=OFF
+        -DBUILD_TESTS=OFF
+        "-DCMAKE_PROJECT_INCLUDE=${CMAKE_CURRENT_LIST_DIR}/include_picosha2.cmake"
+        -DUSE_INTERNAL_SHA256=ON  # avoids openssl, uses picosha2
+        -DWABT_INSTALL_CMAKEDIR=share/wabt
+        -DWITH_EXCEPTIONS=ON
+    OPTIONS_DEBUG
+        -DBUILD_TOOLS=OFF
+)
+
+vcpkg_cmake_install()
+vcpkg_cmake_config_fixup()
+
+if ("tools" IN_LIST FEATURES)
+    vcpkg_copy_tools(
+        TOOL_NAMES
+            spectest-interp
+            wasm-decompile
+            wasm-interp
+            wasm-objdump
+            wasm-stats
+            wasm-strip
+            wasm-validate
+            wasm2c
+            wasm2wat
+            wast2json
+            wat-desugar
+            wat2wasm
+        AUTO_CLEAN
+    )
+endif ()
+
+file(REMOVE_RECURSE "${CURRENT_PACKAGES_DIR}/debug/include")
+file(REMOVE_RECURSE "${CURRENT_PACKAGES_DIR}/debug/share")
+file(REMOVE_RECURSE "${CURRENT_PACKAGES_DIR}/debug/share/man")
+
+vcpkg_install_copyright(FILE_LIST "${source_path}/LICENSE")