Workflow wip

Author: Timmmm

.github/workflows/release.yml

@@ -18,20 +18,26 @@ jobs:
             os: ubuntu-latest
             container: rockylinux:8
             ocaml_version: 5.2.1
-            opam_arch: i686
-            opam_cache_key: rocky8-5.2.1
+            opam_arch: x86_64
+            opam_cache_key: rocky8-5.2.1-x86_64
           - name: Linux-aarch64
             os: ubuntu-24.04-arm
             container: rockylinux:8
             ocaml_version: 5.2.1
             opam_arch: arm64
             opam_cache_key: rocky8-5.2.1-arm
           # MacOS disabled for now due to code signing and notarisation requirements
-          # - name: mac-arm64 */
-          #   os: macos-latest */
-          #   container: "" */
-          #   ocaml_version: 5.2.1 */
-          #   opam_cache_key: macos-latest-5.2.1 */
+          # - name: mac-arm64
+          #   os: macos-latest
+          #   container: ""
+          #   ocaml_version: 5.2.1
+          #   opam_cache_key: macos-latest-5.2.1-arm
+          - name: Windows-x86_64
+            os: windows-latest
+            container: ""
+            ocaml_version: 5.2.1
+            opam_arch: x86_64
+            opam_cache_key: windows-5.2.1-x86_64
 
     runs-on: ${{ matrix.os }}
     container: ${{ matrix.container }}
@@ -41,8 +47,7 @@ jobs:
       OPAMROOTISOK: 1
 
     steps:
-    # This must be before checkout otherwise Github will use a zip of the
-    # code instead of git clone.
+
     - name: System dependencies (Linux)
       if: startsWith(matrix.os, 'ubuntu')
       run: |
@@ -65,14 +70,24 @@ jobs:
           rsync \
           which \
           cargo
-        curl -L -o /usr/local/bin/opam https://github.com/ocaml/opam/releases/download/2.1.5/opam-2.1.5-${{ matrix.opam_arch }}-linux
-        chmod +x /usr/local/bin/opam
 
     - name: System dependencies (Mac)
       if: startsWith(matrix.os, 'macos')
       run: |
-        brew install --force --overwrite gpatch gmp z3 pkgconf opam git rust
+        brew install --force --overwrite gpatch gmp z3 pkgconf git rust
+
+    - name: System dependencies (windows)
+      if: startsWith(matrix.os, 'windows')
+      run: |
+        vcpkg install gmp z3
 
+    - name: Set-up OCaml
+      uses: ocaml/setup-ocaml@v3
+      with:
+        ocaml-compiler: 5
+
+    # This must be after git has been installed otherwise Github will use a zip
+    # of the code instead of git clone.
     - uses: actions/checkout@v4
 
     # Retreive git history (but not files) so that `git describe` works. This is
@@ -112,6 +127,10 @@ jobs:
         path: ~/.opam
         key: ${{ steps.cache-opam-restore.outputs.cache-primary-key }}
 
+    - name: Set env only on Windows
+      if: runner.os == 'Windows'
+      run: echo "LEMLIB=c:\Users\???\Local\opam\default\share\lem\library" >> $GITHUB_ENV
+
     - name: Install Sail
       run: |
         eval $(opam env)