[asl] Test new build instructions

Co-authored-by: Hadrien Renaud <Hadrien.Renaud2@arm.com>

Author: hrutvik

.github/workflows/make-test-all.yml

@@ -61,3 +61,37 @@ jobs:
           opam pin asllib
           opam install .
 
+  aslref:
+    name: Install ASLRef on OCaml v5
+
+    runs-on: ubuntu-latest
+
+    env:
+      DUNE_CACHE: 'enabled-except-user-rules'
+      INSTALL_DIR: ${{ runner.tmp }}/prefix
+
+    steps:
+      - name: Checkout tree
+        uses: actions/checkout@v4
+
+      - name: Set-up OCaml 5
+        uses: ocaml/setup-ocaml@v3
+        with:
+          ocaml-compiler: 5
+          dune-cache: true
+
+      - name: Install dependencies
+        run: |
+          opam exec -- dune build asllib/aslref.opam
+          opam install ./asllib --deps-only --yes
+
+      - name: Create installation directory
+        run: mkdir $INSTALL_DIR
+
+      - name: Build and install ASLRef
+        run: |
+          opam exec -- make build-aslref PREFIX=$INSTALL_DIR
+          opam exec -- make install-aslref PREFIX=$INSTALL_DIR
+
+      - name: Check ASLRef installed
+        run: $INSTALL_DIR/aslref --version