Skip to content

Install libstdc++ headers #61

Install libstdc++ headers

Install libstdc++ headers #61

Workflow file for this run

name: Install libstdc++ headers
on: [push, workflow_dispatch]
jobs:
install-headers:
runs-on: ubuntu-latest
steps:
- name: Install dependencies
run: sudo apt update && sudo apt install build-essential -y
- name: Check out repository code
uses: actions/checkout@v3
- name: Git config
run: git config --global --add safe.directory "$GITHUB_WORKSPACE"
- name: Download GCC source code
uses: actions/checkout@v3
with:
repository: gcc-mirror/gcc
path: gcc
- name: Configure libstdc++
run: |
cd gcc/libstdc++-v3/
mkdir build && cd build
../configure --prefix=/ --disable-multilib --disable-tls --disable-nls --disable-hosted-libstdcxx --disable-libstdcxx-verbose --disable-libstdcxx-threads --disable-libstdcxx-filesystem-ts --disable-libstdcxx-backtrace
- name: Build and install libstdc++
run: DESTDIR=$(pwd)/dest/ make -C gcc/libstdc++-v3/build/ install-data
- name: Move headers
run: rm -rf include && mv dest/include/c++/*/ include
- name: Cleanup
run: rm -rf gcc dest
- name: Push
run: |
git config user.name 'ilobilo'
git config user.email 'ilobilo@users.noreply.github.com'
git remote set-url origin https://x-access-token:${{ secrets.GITHUB_TOKEN }}@github.com/ilobilo/libstdcxx-headers.git
git fetch --all
git add .
git commit -m "Upload headers [ci skip]"
git push origin master