Update release action with the right configuration for the build

a2line · Aug 4, 2023 · bad0f3b · bad0f3b
1 parent bc1a18d
commit bad0f3b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
@@ -49,7 +49,7 @@ jobs:
       # Build the distribution
       - name: Build the distribution
         run: |
-          opam exec -- ocaml ./configure.ml --release
+          opam exec -- ocaml ./configure.ml --sosa-legacy --gwdb-legacy --release
           opam exec -- make distrib
 
       # Archive distribution for release