Build GNAT #5
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
| on: [workflow_dispatch] | |
| name: Build GNAT | |
| jobs: | |
| build_linux: | |
| runs-on: ubuntu-20.04 | |
| steps: | |
| - name: Get VSS | |
| uses: actions/checkout@v3 | |
| with: | |
| path: ./vss | |
| - name: Build GNAT | |
| run: | | |
| sudo apt remove -y gcc binutils | |
| sudo apt autoremove -y | |
| sudo apt install -y libc6-dev-arm64-cross linux-libc-dev-arm64-cross binutils-aarch64-linux-gnu libc6-dev texinfo bison m4 flex | |
| curl -L https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-14.2.0-1/gnat-x86_64-linux-14.2.0-1.tar.gz | tar xzf - | |
| curl -L https://ftp.gwdg.de/pub/misc/gcc/releases/gcc-14.2.0/gcc-14.2.0.tar.xz |tar xJf - | |
| export PATH=$PWD/gnat-x86_64-linux-14.2.0-1/bin:$PATH | |
| cd gcc-14.2.0 | |
| echo '--ipv4' >> ~/.curlrc | |
| ./contrib/download_prerequisites | |
| mkdir ../build | |
| cd ../build | |
| CC="x86_64-pc-linux-gnu-gcc" CXX="x86_64-pc-linux-gnu-g++" \ | |
| ../gcc-14.2.0/configure \ | |
| --prefix=/usr \ | |
| --enable-languages=c,ada,c++ \ | |
| --enable-libstdcxx --enable-libstdcxx-threads --enable-libada --disable-nls \ | |
| --without-libiconv-prefix --disable-libstdcxx-pch --enable-lto \ | |
| --libdir=/usr/lib --includedir=/usr/aarch64-linux-gnu/include --with-sysroot=/ \ | |
| --without-target-system-zlib --program-prefix=aarch64-linux-gnu- \ | |
| --with-gnu-ld --with-gnu-as \ | |
| --target=aarch64-linux-gnu --build=x86_64-pc-linux-gnu | |
| make -j4 all | |
| make install-strip DESTDIR=$PWD/../destdir | |
| # missing files required to rebuild RTS | |
| cp -v gcc/ada/rts/*.{c,h,gpr,lst} ../gcc-14.2.0/libgcc/unwind-pe.h \ | |
| ../destdir/usr/lib/gcc/aarch64-linux-gnu/14.2.0/adainclude/ | |
| cd .. | |
| tar cavf aarch64-Linux-gcc-14.2.tar.bz2 -C destdir . | |
| rm -rf destdir | |
| - name: Build GMP | |
| run: | | |
| export PATH=$PWD/gnat-x86_64-linux-14.2.0-1/bin:$PATH | |
| sudo tar xjf aarch64-Linux-gcc-14.2.tar.bz2 -C / | |
| cd gcc-14.2.0/gmp | |
| ./configure --host=aarch64-linux-gnu --build=x86_64-pc-linux-gnu --prefix=/usr/aarch64-linux-gnu | |
| make -j4 all | |
| make install DESTDIR=$PWD/../../destdir | |
| cd ../.. | |
| tar cavf aarch64-Linux-gmp-6.2.1.tar.bz2 -C destdir . | |
| - name: Archive GNAT binary | |
| uses: actions/upload-artifact@v3 | |
| with: | |
| name: aarch64-${{ runner.os }}-gnat-14 | |
| path: | | |
| aarch64-Linux-gcc-14.2.tar.bz2 | |
| aarch64-Linux-gmp-6.2.1.tar.bz2 | |
| - name: AWS S3 upload | |
| if: ${{ github.repository == 'AdaCore/VSS' }} | |
| env: | |
| AWS_ACCESS_KEY_ID: ${{secrets.GHA_CACHE_ACCESS_KEY_ID}} | |
| AWS_SECRET_ACCESS_KEY: ${{secrets.GHA_CACHE_SECRET}} | |
| AWS_DEFAULT_REGION: eu-west-1 | |
| run: | | |
| aws s3 cp . s3://adacore-gha-tray-eu-west-1/toolchain/ --recursive --exclude "*" --include "*.tar.bz2" --sse=AES256 | |
| aws s3 ls s3://adacore-gha-tray-eu-west-1/toolchain/ | |