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