• Home
• tools.aqua
• z3-turnkey
• 4.13.0.1
• source code
• android-build.yml

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

z3-z3-4.13.0..github.workflows.android-build.yml Maven / Gradle / Ivy

name: Android Build

on:
  push:
    branches: [ master ]

env:
  BUILD_TYPE: Release

permissions:
  contents: read

jobs:
  build:
    runs-on: ubuntu-latest

    strategy:
      fail-fast: false
      matrix:
        android-abi: [arm64-v8a, armeabi-v7a, x86, x86_64]

    steps:
    - name: Checkout code
      uses: actions/checkout@v4

    - name: Configure CMake and build
      run:  |
        mkdir build
        cd build
        cmake -DCMAKE_BUILD_TYPE=${{ env.BUILD_TYPE }} -DCMAKE_SYSTEM_NAME=Android -DCMAKE_ANDROID_API=21 -DCMAKE_ANDROID_ARCH_ABI=${{ matrix.android-abi }} "-DCMAKE_ANDROID_NDK=$ANDROID_NDK_LATEST_HOME" -DZ3_BUILD_JAVA_BINDINGS=TRUE -G "Unix Makefiles" ../
        make -j $(nproc)
        tar -cvf z3-build-${{ matrix.android-abi }}.tar *.jar *.so

    - name: Archive production artifacts
      uses: actions/upload-artifact@v4
      with:
        name: android-build-${{ matrix.android-abi }}
        path: build/z3-build-${{ matrix.android-abi }}.tar