2017-11-14 03:57:36 +01:00
|
|
|
language: c
|
|
|
|
sudo: false
|
|
|
|
|
|
|
|
os:
|
|
|
|
- linux
|
|
|
|
|
|
|
|
env:
|
|
|
|
global:
|
|
|
|
- DEVKITPRO=$HOME/devkitPro
|
|
|
|
- DEVKITPPC=${DEVKITPRO}/devkitPPC
|
|
|
|
|
|
|
|
cache:
|
|
|
|
directories:
|
|
|
|
- ${DEVKITPRO}
|
|
|
|
|
|
|
|
addons:
|
|
|
|
apt:
|
|
|
|
packages:
|
|
|
|
- p7zip-full
|
|
|
|
|
|
|
|
before_install:
|
2017-12-16 11:12:28 +01:00
|
|
|
- mkdir -p "${DEVKITPRO}"
|
|
|
|
- wget http://download.sourceforge.net/devkitpro/devkitPPC_r29-1-x86_64-linux.tar.bz2 -O devkitPPC-linux.tar.bz2
|
2017-11-14 03:57:36 +01:00
|
|
|
|
|
|
|
install:
|
2017-12-16 11:12:28 +01:00
|
|
|
- tar -xjf devkitPPC-linux.tar.bz2 -C ${DEVKITPRO}/
|
2017-11-14 03:57:36 +01:00
|
|
|
- 7z x -y ./libs/portlibs.zip -o${DEVKITPRO}
|
|
|
|
|
|
|
|
script:
|
|
|
|
- make
|