release.yml

name: srtols Release

on: 
  # Trigger the workflow on the new 'v*' tag created
  push:
    tags:
      - "v*"

jobs:
  create_release:
    name: Create Github Release
    runs-on: ubuntu-latest
    outputs:
      upload_url: ${{ steps.create_release.outputs.upload_url }}
    steps:
      - name: Create Release
        id: create_release
        uses: actions/create-release@v1.1.4
        env:
          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
        with:
          tag_name: ${{ github.ref }}
          release_name: Release ${{ github.ref }}
          draft: true
          prerelease: false

  build_artifact:
    needs: [create_release]
    name: ${{ matrix.os }}/GHC ${{ matrix.ghc }}/${{ github.ref }}
    runs-on: ${{ matrix.os }}
    strategy:
      matrix:
        os: [macOS-latest]
        ghc:
          - 9.10.1
        cabal: ["3.14.1.1"]
    defaults:
      run:
        shell: bash

    steps:
      - name: Check out code
        uses: actions/checkout@v3

      - name: Set tag name
        uses: olegtarasov/get-tag@v2.1
        id: tag
        with:
          tagRegex: "v(.*)"
          tagRegexGroup: 1

      - name: Setup Haskell
        uses: haskell-actions/setup@v2
        id: setup-haskell-cabal
        with:
          ghc-version: ${{ matrix.ghc }}
          cabal-version: ${{ matrix.cabal }}

      - name: Cache ~/.cabal/store
        uses: actions/cache@v2
        with:
          key: ${{ runner.os }}-ghc-${{ matrix.ghc }}-${{ github.sha }}
          path: ~/.cabal/store

      - if: matrix.os == 'ubuntu-latest'
        name: Install dependencies
        run: |
          sudo apt-get update
          sudo apt-get install -y libnlopt-dev libnlopt0

      - if: matrix.os == 'macOS-latest'
        name: Install dependencies
        run: |
          brew install nlopt
          ls $(brew --prefix)/Cellar/nlopt/2.9.1/lib/
          echo "PKG_CONFIG_PATH=${PKG_CONFIG_PATH}"
          echo "PKG_CONFIG_PATH=$(brew --prefix)/Cellar/nlopt/2.9.1/lib/pkgconfig" >> "${GITHUB_ENV}"

      - if: matrix.os == 'windows-latest'
        name: Build windows binary
        run: |
          stack exec -- pacman --noconfirm -Sy msys2-keyring
          stack exec -- pacman --noconfirm -S mingw-w64-x86_64-pkgconf
          stack exec -- pacman --noconfirm -S mingw-w64-x86_64-nlopt
          mkdir dist
          stack build srtree:egraphGP --copy-bins --local-bin-path=dist
          stack build srtree:egraphSearch --copy-bins --local-bin-path=dist
          stack build srtree:srtools --copy-bins --local-bin-path=dist
          stack build srtree:rEGGression --copy-bins --local-bin-path=dist
          stack build srtree:srsimplify --copy-bins --local-bin-path=dist
      - if: matrix.os != 'windows-latest'
        name: Build binary
        run: |
          mkdir dist
          stack build srtree:egraphGP --copy-bins --local-bin-path=dist --flag nlopt:use-pkg-config
          stack build srtree:egraphSearch --copy-bins --local-bin-path=dist --flag nlopt:use-pkg-config
          stack build srtree:srtools --copy-bins --local-bin-path=dist --flag nlopt:use-pkg-config
          stack build srtree:rEGGression --copy-bins --local-bin-path=dist --flag nlopt:use-pkg-config
          stack build srtree:srsimplify --copy-bins --local-bin-path=dist --flag nlopt:use-pkg-config

      - if: matrix.os == 'windows-latest'
        name: Set extension to .exe on Windows
        run: echo "EXT=.exe" >> $GITHUB_ENV

      - name: Set binary path name
        run: |
          echo "BINARY_PATH1=./dist/srsimplify${{ env.EXT }}" >> $GITHUB_ENV
          echo "BINARY_PATH2=./dist/srtools${{ env.EXT }}" >> $GITHUB_ENV
          echo "BINARY_PATH2=./dist/egraphGP${{ env.EXT }}" >> $GITHUB_ENV
          echo "BINARY_PATH2=./dist/egraphSearch${{ env.EXT }}" >> $GITHUB_ENV
          echo "BINARY_PATH2=./dist/rEGGression${{ env.EXT }}" >> $GITHUB_ENV

      - name: Upload Release Asset
        id: upload-release-asset
        uses: softprops/action-gh-release@v2
        env:
          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
        with:
          files: |
             ${{ env.BINARY_PATH1 }}/srsimplify-${{ steps.tag.outputs.tag }}-${{ runner.os }}-ghc-${{ matrix.ghc }}${{ env.EXT }}
             ${{ env.BINARY_PATH2 }}/srtools-${{ steps.tag.outputs.tag }}-${{ runner.os }}-ghc-${{ matrix.ghc }}${{ env.EXT }}
             ${{ env.BINARY_PATH2 }}/egraphSearch-${{ steps.tag.outputs.tag }}-${{ runner.os }}-ghc-${{ matrix.ghc }}${{ env.EXT }}
             ${{ env.BINARY_PATH2 }}/egraphGP-${{ steps.tag.outputs.tag }}-${{ runner.os }}-ghc-${{ matrix.ghc }}${{ env.EXT }}
             ${{ env.BINARY_PATH2 }}/rEGGression-${{ steps.tag.outputs.tag }}-${{ runner.os }}-ghc-${{ matrix.ghc }}${{ env.EXT }}