gate this

Author: bleepbloopsify

.github/workflows/build.yml

@@ -114,10 +114,15 @@ jobs:
 
       - name: Setup opam switch
         if: steps.cache-opam.outputs.cache-hit != 'true'
-        env:
-          CFLAGS: -I/opt/homebrew/include/
         run: |
           set -Eeuxo pipefail
+
+          if [[ "${{ runner.os }}" == "macOS" ]]; then
+            CFLAGS=-I/opt/homebrew/include/
+            LDFLAGS=-L/opt/homebrew/lib/
+            PKG_CONFIG_PATH="$(brew --prefix libpq)/lib/          pkgconfig:$PKG_CONFIG_PATH"
+          fi
+
           opam repository set-url default https://github.com/ocaml/opam-repository.git\#08d8c16c16dc6b23a5278b06dff0ac6c7a217356
           opam repository add --yes --all --set-default o1-labs https://github.com/o1-labs/opam-repository.git
           opam pin add --no-action async_ssl https://github.com/o1-labs/async_ssl.git\#v0.14-o1labs