org.racket_lang.Racket.yml

app-id: org.racket_lang.Racket
runtime: org.freedesktop.Platform
runtime-version: '23.08'
sdk: org.freedesktop.Sdk
command: drracket
rename-desktop-file: drracket.desktop
finish-args:
  - --share=ipc
  - --share=network
  - --socket=wayland
  - --socket=fallback-x11
  - --filesystem=home
  - --filesystem=/tmp
modules:
  - name: racket
    no-autogen: true
    subdir: src
    build-options:
      # by default, racket binaries are already stripped, so no debug info has to be extracted.
      no-debuginfo: true
    config-opts:
      - --enable-places
    sources:
      - type: archive
        url: https://download.racket-lang.org/releases/8.15/installers/racket-8.15-src.tgz
        sha256: 602b848459daf1b2222a46a9094e85ae2d28e480067219957fa46af8400e1233
        x-checker-data:
          is-main-source: true
          type: html
          url: https://download.racket-lang.org/
          version-pattern: Version ([\d\.-]*)
          url-template: https://download.racket-lang.org/releases/$major.$minor/installers/racket-$major.$minor-src.tgz
      - type: file
        path: org.racket_lang.Racket.appdata.xml
      - type: file
        path: racket-logo.svg
    post-install:
      - install -D -m644 ../racket-logo.svg /app/share/icons/hicolor/scalable/apps/org.racket_lang.Racket.svg
      - install -D -m644 ../org.racket_lang.Racket.appdata.xml /app/share/appdata/org.racket_lang.Racket.appdata.xml
      - desktop-file-edit --set-icon='org.racket_lang.Racket' /app/share/applications/drracket.desktop