Differences From Artifact [839879cad6]:
- File
.travis.yml
— part of check-in
[141b8181c0]
at
2020-06-14 19:00:37
on branch trunk
— .travis.yml: Remove STDOUT_SIMPLE
This no longer exists, as isatty() is used instead now. (user: js, size: 12438) [annotate] [blame] [check-ins using] [more...]
To Artifact [f5a0aabab2]:
- File
.travis.yml
— part of check-in
[62ac2b0cad]
at
2020-07-01 20:36:16
on branch trunk
— .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. (user: js, size: 12471) [annotate] [blame] [check-ins using] [more...]
| ︙ | ︙ | |||
221 222 223 224 225 226 227 |
- os: linux
dist: trusty
env:
- config=amigaos
# Nintendo 3DS
- os: linux
| | | | | 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 |
- os: linux
dist: trusty
env:
- config=amigaos
# Nintendo 3DS
- os: linux
dist: bionic
env:
- config=nintendo_3ds
# Nintendo DS
- os: linux
dist: bionic
env:
- config=nintendo_ds
# Nintendo Wii
- os: linux
dist: bionic
env:
- config=wii
before_install:
- if [ "$TRAVIS_OS_NAME" = "linux" -a -z "$config" ]; then
case "$TRAVIS_CPU_ARCH" in
amd64 | s390x)
|
| ︙ | ︙ | |||
266 267 268 269 270 271 272 |
if grep precise /etc/lsb-release >/dev/null; then
sudo ipx_internal_net add 1234 123456;
fi;
fi
- if [ "$config" = "nintendo_3ds" -o "$config" = "nintendo_ds"
-o "$config" = "wii" ]; then
| > | > | | 266 267 268 269 270 271 272 273 274 275 276 277 278 279 280 281 282 283 |
if grep precise /etc/lsb-release >/dev/null; then
sudo ipx_internal_net add 1234 123456;
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
|
| ︙ | ︙ |