Add catch2
parent
3078ddde0c
commit
54671e9ce7
|
@ -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
|
Loading…
Reference in New Issue