Add homebrew worker. #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
| # This is a build which gets triggered on every release, to | |
| # update the homebrew-repo. | |
| name: Homebrew | |
| on: [push] | |
| jobs: | |
| build: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Checkout Cadabra | |
| uses: actions/checkout@v4 | |
| - name: Checkout Homebrew repo | |
| uses: actions/checkout@v4 | |
| with: | |
| repository: kpeeters/homebrew-repo | |
| path: homebrew-repo | |
| - name: Set up GitHub CLI | |
| run: | | |
| sudo apt-get update | |
| sudo apt-get install -y gh | |
| - name: Authenticate GitHub CLI | |
| run: gh auth setup-git | |
| env: | |
| GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} | |
| - name: Get dependencies | |
| run: sudo apt-get update && sudo DEBIAN_FRONTEND=noninteractive apt-get install git cmake python3-dev g++ libpcre3 libpcre3-dev libgmp3-dev libgtkmm-3.0-dev libboost-all-dev libgmp-dev libsqlite3-dev uuid-dev libmpfr-dev libmpc-dev && python3 --version && which python3 && python3 -m pip install --upgrade pip && python3 -m pip install wheel && python3 -m pip install sympy gmpy2 numpy | |
| - name: configure | |
| run: mkdir build && cd build && cmake -DPACKAGING_MODE=ON -DENABLE_MATHEMATICA=OFF -DCMAKE_INSTALL_PREFIX=/usr .. | |
| - name: Update Homebrew repo | |
| run: | | |
| export VERSION=$(cat build/VERSION) | |
| wget https://github.com/kpeeters/cadabra2/archive/refs/tags/${VERSION}.tar.gz | |
| export SHA=`cat ${VERSION}.tar.gz | sha256sum -b | cut -d " " -f 1` | |
| echo ${SHA} | |
| cd homebrew-repo | |
| cat cadabra2.rb | sed -e 's/$ url .*/ url "https:\/\/github.com\/kpeeters\/cadabra2\/archive\/refs\/tags\/${VERSION}.tar.gz"/' | sed -e 's/$ sha256.*/ sha256 "${SHA}"/' > out.rb | |
| mv out.rb cadabra2.rb | |
| cat cadabra2.rb | |
| git config user.name "Kasper Peeters" | |
| git config user.email "[email protected]" | |
| git add . | |
| git commit -m "Update to release ${VERSION}." | |
| git push |