id: "com.vscodium.codium.tool.DevEmbedded" build-extension: true branch: "20.08" runtime: com.vscodium.codium sdk: org.freedesktop.Sdk//20.08 runtime-version: stable separate-locales: false build-options: prefix: /app/tools/DevEmbedded env: - SOURCE_DATE_EPOCH=1 modules: - name: gdb sources: - type: archive url: https://ftp.gnu.org/gnu/gdb/gdb-10.2.tar.xz sha256: aaa1223d534c9b700a8bec952d9748ee1977513f178727e1bee520ee000b4f29 config-opts: - --enable-targets=all - --enable-languages=all - --enable-multilib - --enable-interwork - --with-system-readline - --with-python=/usr/bin/python builddir: true build-options: cflags: -O3 cppflags: -O3 ldflags: -O3 post-install: - cd /app/tools/DevEmbedded && mv bin bin_ && cp -ra bin_ bin && rm -rf bin_ && find bin -type f -print | ( xargs -I{} strip '{}' || true ) - cd /app/tools/DevEmbedded && mv lib lib_ && cp -ra lib_ lib && rm -rf lib_ && find lib -type f -print | ( xargs -I{} strip '{}' || true )