ObjFW  Check-in [62ac2b0cad]

Many hyperlinks are disabled.
Use anonymous login to enable hyperlinks.

Overview
Comment:.travis.yml: Install devkitPro via gdebi This is the officially recommended way to install it and takes care of missing dependencies. Additionally, move AmigaOS build back to Trusty, as this has the correct library versions.
Timelines: family | ancestors | descendants | both | trunk
Files: files | file ages | folders
SHA3-256: 62ac2b0cadab6977d5b12baa59dba6161cad3f3aa6084a012ba42f5ddee2de19
User & Date: js 2020-07-01 20:36:16.961
Context
2020-07-01
21:06
apple-forwarding-x86_64.S: Don't use jmp short check-in: 1a4eba3a16 user: js tags: trunk
20:36
.travis.yml: Install devkitPro via gdebi check-in: 62ac2b0cad user: js tags: trunk
20:17
.travis.yml: Move AmigaOS/DS/3DS/Wii to Bionic check-in: 324cf921ed user: js tags: trunk
Changes
Unified Diff Ignore Whitespace Patch
Changes to .travis.yml.
︙︙
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229

      osx_image: xcode7.3
      language: objective-c
      env:
        - config=ios

    # AmigaOS
    - os: linux
      dist: bionic
      env:
        - config=amigaos

    # Nintendo 3DS
    - os: linux
      dist: bionic
      env:








|








215
216
217
218
219
220
221
222
223
224
225
226
227
228
229

      osx_image: xcode7.3
      language: objective-c
      env:
        - config=ios

    # AmigaOS
    - os: linux
      dist: trusty
      env:
        - config=amigaos

    # Nintendo 3DS
    - os: linux
      dist: bionic
      env:
︙︙
268
269
270
271
272
273
274

275
276
277
278
279
280
281
282

            fi;
    fi

  - if [ "$config" = "nintendo_3ds" -o "$config" = "nintendo_ds"
        -o "$config" = "wii" ]; then
            deb=devkitpro-pacman.amd64.deb;
            wget https://github.com/devkitPro/pacman/releases/download/v1.0.2/$deb;

            sudo dpkg -i $deb;
    fi

  - if [ "$config" = "nintendo_3ds" ]; then
            sudo dkp-pacman --noconfirm -Syu 3ds-dev;
    fi

  - if [ "$config" = "nintendo_ds" ]; then








>
|








268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283

            fi;
    fi

  - if [ "$config" = "nintendo_3ds" -o "$config" = "nintendo_ds"
        -o "$config" = "wii" ]; then
            deb=devkitpro-pacman.amd64.deb;
            wget https://github.com/devkitPro/pacman/releases/download/v1.0.2/$deb;
            sudo apt install gdebi;
            sudo gdebi -n $deb;
    fi

  - if [ "$config" = "nintendo_3ds" ]; then
            sudo dkp-pacman --noconfirm -Syu 3ds-dev;
    fi

  - if [ "$config" = "nintendo_ds" ]; then
︙︙