From 54671e9ce767bc4f0858e9c0c6479e60e916eb18 Mon Sep 17 00:00:00 2001 From: Marko Semet Date: Mon, 8 Nov 2021 21:21:40 +0100 Subject: [PATCH] Add catch2 --- .../com.vscodium.codium.tool.catch2.yaml | 26 +++++++++++++++++++ 1 file changed, 26 insertions(+) create mode 100644 com.vscodium.codium/tool.catch2/com.vscodium.codium.tool.catch2.yaml diff --git a/com.vscodium.codium/tool.catch2/com.vscodium.codium.tool.catch2.yaml b/com.vscodium.codium/tool.catch2/com.vscodium.codium.tool.catch2.yaml new file mode 100644 index 0000000..b501866 --- /dev/null +++ b/com.vscodium.codium/tool.catch2/com.vscodium.codium.tool.catch2.yaml @@ -0,0 +1,26 @@ +id: "com.vscodium.codium.tool.catch2" +build-extension: true +branch: "21.08" + +runtime: com.vscodium.codium +sdk: org.freedesktop.Sdk//21.08 +runtime-version: stable + +separate-locales: false +build-options: + prefix: /app/tools/catch2 + env: + - SOURCE_DATE_EPOCH=1 + +modules: + - name: catch2 + sources: + - type: archive + url: https://github.com/catchorg/Catch2/archive/refs/tags/v2.13.7.tar.gz + sha256: 3cdb4138a072e4c0290034fe22d9f0a80d3bcfb8d7a8a5c49ad75d3a5da24fae + buildsystem: cmake-ninja + builddir: true + config-opts: + - -DCMAKE_INSTALL_PREFIX=/app/tools/catch2 + post-install: + - find /app/tools/catch2 -type f | xargs -I{} strip -g {} || true