|
1 |
| -name: aris |
2 |
| - |
3 |
| -architectures: |
4 |
| - - build-on: amd64 |
| 1 | +# This configuration file is based on the gnome-3-38 extension, |
| 2 | +# but the build-enviroment settings had to be removed. Otherwise cmake |
| 3 | +# will be confused and will use the linker option |
| 4 | +# "-Wl,-rpath,/snap/gnome-3-38-2004-sdk/current/usr/lib/x86_64-linux-gnu:" |
| 5 | +# which results in the error messages |
| 6 | +# "/usr/bin/ld: /snap/gnome-3-38-2004-sdk/current/usr/lib/x86_64-linux-gnu/libpangoft2-1.0.so.0: undefined reference to `pango_font_family_get_face'" and |
| 7 | +# "/usr/bin/ld: /snap/gnome-3-38-2004-sdk/current/usr/lib/x86_64-linux-gnu/libpangoft2-1.0.so.0: undefined reference to `pango_font_map_get_family'". |
5 | 8 |
|
| 9 | +name: aris |
| 10 | +# architectures: |
| 11 | +# - build-on: amd64 |
6 | 12 | base: core20
|
7 | 13 | version: '2.2'
|
8 | 14 | summary: A logical proof program
|
9 | 15 | license: GPL-3.0
|
10 | 16 | icon: src/icon.png
|
11 |
| - |
12 | 17 | description: |
|
13 | 18 | Aris supports propositional and predicate logic, Boolean algebra,
|
14 | 19 | and arithmetical logic in the form of abstract sequences (seqlog).
|
15 |
| -
|
16 | 20 | grade: stable
|
17 | 21 | confinement: strict
|
18 |
| - |
19 | 22 | apps:
|
20 | 23 | aris:
|
21 | 24 | command: usr/local/bin/aris
|
22 | 25 | plugs:
|
23 |
| - - home |
24 |
| - - x11 |
25 |
| - extensions: |
26 |
| - - kde-neon |
27 |
| - |
| 26 | + - desktop |
| 27 | + - desktop-legacy |
| 28 | + - gsettings |
| 29 | + - opengl |
| 30 | + - wayland |
| 31 | + - x11 |
| 32 | + - home |
| 33 | + command-chain: |
| 34 | + - snap/command-chain/desktop-launch |
28 | 35 | parts:
|
29 | 36 | aris:
|
30 |
| - build-packages: [cmake, build-essential, pkg-config, libgtk-3-dev, libxml2-dev] |
| 37 | + build-packages: |
| 38 | + - cmake |
| 39 | + - build-essential |
| 40 | + - pkg-config |
| 41 | + - libgtk-3-dev |
| 42 | + - libxml2-dev |
31 | 43 | source: https://github.com/kovzol/aris.git
|
32 | 44 | plugin: cmake
|
33 | 45 | stage-packages:
|
34 |
| - - libgtk-3-0 |
35 |
| - - libxml2 |
| 46 | + - libgtk-3-0 |
| 47 | + - libxml2 |
| 48 | +# build-environment: |
| 49 | +# - PATH: /snap/gnome-3-38-2004-sdk/current/usr/bin:$PATH |
| 50 | +# - XDG_DATA_DIRS: $SNAPCRAFT_STAGE/usr/share:/snap/gnome-3-38-2004-sdk/current/usr/share:/usr/share:$XDG_DATA_DIRS |
| 51 | +# - LD_LIBRARY_PATH: /snap/gnome-3-38-2004-sdk/current/lib/$SNAPCRAFT_ARCH_TRIPLET:/snap/gnome-3-38-2004-sdk/current/usr/lib/$SNAPCRAFT_ARCH_TRIPLET:/snap/gnome-3-38-2004-sdk/current/usr/lib:/snap/gnome-3-38-2004-sdk/current/usr/lib/vala-current:/snap/gnome-3-38-2004-sdk/current/usr/lib/$SNAPCRAFT_ARCH_TRIPLET/pulseaudio${LD_LIBRARY_PATH:+:$LD_LIBRARY_PATH} |
| 52 | +# - PKG_CONFIG_PATH: /snap/gnome-3-38-2004-sdk/current/usr/lib/$SNAPCRAFT_ARCH_TRIPLET/pkgconfig:/snap/gnome-3-38-2004-sdk/current/usr/lib/pkgconfig:/snap/gnome-3-38-2004-sdk/current/usr/share/pkgconfig:$PKG_CONFIG_PATH |
| 53 | +# - GETTEXTDATADIRS: /snap/gnome-3-38-2004-sdk/current/usr/share/gettext-current:$GETTEXTDATADIRS |
| 54 | +# - GDK_PIXBUF_MODULE_FILE: /snap/gnome-3-38-2004-sdk/current/usr/lib/$SNAPCRAFT_ARCH_TRIPLET/gdk-pixbuf-current/loaders.cache |
| 55 | +# - ACLOCAL_PATH: /snap/gnome-3-38-2004-sdk/current/usr/share/aclocal${ACLOCAL_PATH:+:$ACLOCAL_PATH} |
| 56 | +# - PYTHONPATH: /snap/gnome-3-38-2004-sdk/current/usr/lib/python3.8:/snap/gnome-3-38-2004-sdk/current/usr/lib/python3/dist-packages${PYTHONPATH:+:$PYTHONPATH} |
| 57 | + gnome-3-38-extension: |
| 58 | + build-packages: |
| 59 | + - gcc |
| 60 | + build-snaps: |
| 61 | + - gnome-3-38-2004-sdk/latest/stable |
| 62 | + make-parameters: |
| 63 | + - WITH_PYTHON=3.8 |
| 64 | + - PLATFORM_PLUG=gnome-3-38-2004 |
| 65 | + plugin: make |
| 66 | + source: $SNAPCRAFT_EXTENSIONS_DIR/desktop |
| 67 | + source-subdir: gnome |
| 68 | +assumes: |
| 69 | +- snapd2.43 |
| 70 | +plugs: |
| 71 | + desktop: |
| 72 | + mount-host-font-cache: false |
| 73 | + gnome-3-38-2004: |
| 74 | + default-provider: gnome-3-38-2004 |
| 75 | + interface: content |
| 76 | + target: $SNAP/gnome-platform |
| 77 | + gtk-3-themes: |
| 78 | + default-provider: gtk-common-themes |
| 79 | + interface: content |
| 80 | + target: $SNAP/data-dir/themes |
| 81 | + icon-themes: |
| 82 | + default-provider: gtk-common-themes |
| 83 | + interface: content |
| 84 | + target: $SNAP/data-dir/icons |
| 85 | + sound-themes: |
| 86 | + default-provider: gtk-common-themes |
| 87 | + interface: content |
| 88 | + target: $SNAP/data-dir/sounds |
| 89 | +environment: |
| 90 | + GTK_USE_PORTAL: '1' |
| 91 | + SNAP_DESKTOP_RUNTIME: $SNAP/gnome-platform |
| 92 | +hooks: |
| 93 | + configure: |
| 94 | + command-chain: |
| 95 | + - snap/command-chain/hooks-configure-desktop |
| 96 | + plugs: |
| 97 | + - desktop |
| 98 | +layout: |
| 99 | + /usr/lib/$SNAPCRAFT_ARCH_TRIPLET/webkit2gtk-4.0: |
| 100 | + bind: $SNAP/gnome-platform/usr/lib/$SNAPCRAFT_ARCH_TRIPLET/webkit2gtk-4.0 |
| 101 | + /usr/share/libdrm: |
| 102 | + bind: $SNAP/gnome-platform/usr/share/libdrm |
| 103 | + /usr/share/xml/iso-codes: |
| 104 | + bind: $SNAP/gnome-platform/usr/share/xml/iso-codes |
0 commit comments