You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
 
 
MiniDexed/.github/workflows/build.yml

57 lines
1.8 KiB

name: Build
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
on:
push:
branches: [ main ]
pull_request:
branches: [ main ]
jobs:
Build:
runs-on: ubuntu-20.04
steps:
- uses: actions/checkout@v2
- name: Recursively pull git submodules
run: |
git submodule update --init --recursive
- name: Install toolchain
run: |
wget -q https://developer.arm.com/-/media/Files/downloads/gnu-a/10.3-2021.07/binrel/gcc-arm-10.3-2021.07-x86_64-aarch64-none-elf.tar.xz
tar xf gcc-arm-*-*.tar.xz
- name: Build circle-stdlib library
run: |
export PATH=$(readlink -f ./gcc-*/bin/):$PATH
cd circle-stdlib/
# git submodule update --init --recursive
./configure -r 4 --prefix "aarch64-none-elf-"
# ( cd libs/circle ; git submodule update --init --recursive ) # FIXME: Find a way without the need for this
make -j$(nproc)
cd ..
- name: Build MiniDexed
run: |
export PATH=$(readlink -f ./gcc-*/bin/):$PATH
cd src
make -j$(nproc)
ls *.img
- name: Get Raspberry Pi boot files
run: |
cd ./circle-stdlib/libs/circle/boot
make
make armstub
cd -
mkdir -p MiniDexed
cp -r ./circle-stdlib/libs/circle/boot/* MiniDexed
mv MiniDexed/config64.txt MiniDexed/config.txt
rm MiniDexed/config32.txt MiniDexed/README MiniDexed/Makefile
cp ./src/*img MiniDexed/
zip -r MiniDexed.zip MiniDexed/
- name: Upload to GitHub Releases (only when building from main branch)
if: ${{ github.ref == 'refs/heads/main' }}
run: |
wget -c https://github.com/probonopd/uploadtool/raw/master/upload.sh
bash ./upload.sh ./MiniDexed.zip