preverify is built from source (#19) #63
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: Main workflow for pico-jvm | |
| on: | |
| push: | |
| branches: [ "main" ] | |
| tags: | |
| - "*.*.*" | |
| pull_request: | |
| branches: [ "main" ] | |
| workflow_dispatch: | |
| env: | |
| BUILD_TYPE: Release | |
| jobs: | |
| build: | |
| runs-on: ubuntu-22.04 | |
| steps: | |
| - name: Install build tools | |
| run: | | |
| sudo apt-get update | |
| sudo apt-get install -y gcc-arm-none-eabi libnewlib-arm-none-eabi build-essential gcc-multilib g++-multilib ninja-build | |
| - name: Setup Java 8 | |
| uses: actions/setup-java@v4 | |
| with: | |
| distribution: 'zulu' | |
| java-version: '8' | |
| - name: Checkout the project | |
| uses: actions/checkout@v4 | |
| - name: Checkout the Pico SDK | |
| uses: actions/checkout@v4 | |
| with: | |
| repository: raspberrypi/pico-sdk | |
| ref: 1.5.1 | |
| path: pico-sdk | |
| submodules: true | |
| - name: Configure Linux build | |
| run: cmake -DTARGET=LINUX -B ${{github.workspace}}/build.linux -DCMAKE_BUILD_TYPE=${{env.BUILD_TYPE}} -G Ninja | |
| - name: Build Linux | |
| run: cmake --build ${{github.workspace}}/build.linux --config ${{env.BUILD_TYPE}} | |
| - name: Test Linux | |
| working-directory: ${{github.workspace}}/build.linux | |
| run: ctest -C ${{env.BUILD_TYPE}} | |
| - name: Configure Pico build | |
| run: cmake -DPICO_SDK_PATH=${{github.workspace}}/pico-sdk -B ${{github.workspace}}/build.pico -DCMAKE_BUILD_TYPE=${{env.BUILD_TYPE}} -G Ninja | |
| - name: Build Pico | |
| run: cmake --build ${{github.workspace}}/build.pico --config ${{env.BUILD_TYPE}} | |
| - name: Package Pico tar ball | |
| run: cpack -B ${{github.workspace}}/build.pico --config ${{github.workspace}}/build.pico/CPackConfig.cmake -G TGZ | |
| - name: Release | |
| uses: softprops/action-gh-release@v1 | |
| if: startsWith(github.ref, 'refs/tags/') | |
| with: | |
| files: ${{github.workspace}}/build.pico/pjvm-*.gz | |