Merge pull request #1392 from stan-dev/issue-1391

build linux binary with static profile
stan-dev · Jan 5, 2024 · b61c060 · b61c060
2 parents 8f2dbe7 + f0d34ba
commit b61c060
Showing 1 changed file with 7 additions and 4 deletions.
diff --git a/.github/workflows/binaries.yml b/.github/workflows/binaries.yml
@@ -46,10 +46,13 @@ jobs:
 
       - run: bash -x scripts/install_build_deps.sh
 
-      - name: Build
-        run: |
-          opam exec -- dune subst
-          opam exec -- dune build
+      - name: Build macos
+        if: matrix.os == 'macos'
+        run: opam exec -- dune subst; opam exec -- dune build
+
+      - name: Build ubuntu
+        if: matrix.os == 'ubuntu'
+        run: opam exec -- dune subst; opam exec -- dune build --profile static
 
       - run: mv _build/default/src/stanc/stanc.exe ${{ matrix.os }}-stanc