fix the directory structure of releases

conjure-cp · Nov 6, 2023 · e1089d5 · e1089d5
1 parent 57d21a3
commit e1089d5
Showing 1 changed file with 12 additions and 2 deletions.
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
@@ -83,10 +83,20 @@ jobs:
         shell: bash
         run: |
           pushd ~/.local/bin
+
           strip conjure bc_minisat_all_release boolector cadical fzn-chuffed glucose glucose-syrup kissat lingeling nbc_minisat_all_release open-wbo plingeling treengeling yices yices-sat yices-smt yices-smt2 z3
-          zip -r -9 conjure-${{ github.ref_name }}-${{ matrix.release_suffix }}.zip conjure
-          zip -r -9 conjure-${{ github.ref_name }}-${{ matrix.release_suffix }}-with-solvers.zip conjure bc_minisat_all_release boolector cadical fzn-chuffed glucose glucose-syrup kissat lingeling nbc_minisat_all_release open-wbo plingeling treengeling yices yices-sat yices-smt yices-smt2 z3
+
+          mkdir -p conjure-${{ github.ref_name }}-${{ matrix.release_suffix }}
+          cp conjure conjure-${{ github.ref_name }}-${{ matrix.release_suffix }}
+
+          mkdir -p conjure-${{ github.ref_name }}-${{ matrix.release_suffix }}-with-solvers
+          cp conjure bc_minisat_all_release boolector cadical fzn-chuffed glucose glucose-syrup kissat lingeling nbc_minisat_all_release open-wbo plingeling treengeling yices yices-sat yices-smt yices-smt2 z3 conjure-${{ github.ref_name }}-${{ matrix.release_suffix }}-with-solvers
+
+          zip -r -9 conjure-${{ github.ref_name }}-${{ matrix.release_suffix }}.zip conjure-${{ github.ref_name }}-${{ matrix.release_suffix }}
+          zip -r -9 conjure-${{ github.ref_name }}-${{ matrix.release_suffix }}-with-solvers.zip conjure-${{ github.ref_name }}-${{ matrix.release_suffix }}-with-solvers
+
           popd
+
           cp ~/.local/bin/conjure-${{ github.ref_name }}-${{ matrix.release_suffix }}.zip .
           cp ~/.local/bin/conjure-${{ github.ref_name }}-${{ matrix.release_suffix }}-with-solvers.zip .