check overlay ports

Author: galabovaa

.github/workflows/hipo-macos.yml

@@ -34,37 +34,21 @@ jobs:
           mkdir installs
           ls
 
-      - name: Copy GKlib shared (bug)
-        working-directory: ${{runner.workspace}}
+      - name: Install GKLIB
         run: |
           cd GKlib
           make config shared=1 prefix=${{runner.workspace}}/installs
           make
           make install
 
-      # - name: Check installs 
-      #   working-directory: ${{runner.workspace}}
-      #   run: |
-      #     cd installs
-      #     ls 
-      #     ls lib
-
-      - name: Copy GKlib shared (bug)
-        working-directory: ${{runner.workspace}}
-        run: |
-          cd installs
-          cd lib
-          ln libGKlib.so.0 libGKlib.so
-          ls 
-
       - name: Install METIS
         run: |
           cd METIS
           make config shared=1 prefix=${{runner.workspace}}/installs 
           make
           make install
 
-      - name: Check METIS 
+      - name: Check METIS and GKlib
         working-directory: ${{runner.workspace}}
         run: |
           cd installs

.github/workflows/hipo-ubuntu.yml

@@ -34,8 +34,7 @@ jobs:
           mkdir installs
           ls
 
-      - name: Copy GKlib shared (bug)
-        working-directory: ${{runner.workspace}}
+      - name: Install GKlib
         run: |
           cd GKlib
           make config shared=1 prefix=${{runner.workspace}}/installs

.github/workflows/hipo-win.yml

@@ -21,6 +21,10 @@ jobs:
           ref: main
           path: overlay-ports
 
+      - name: List overlay contents
+        shell: pwsh
+        run: Get-ChildItem -Recurse "$env:GITHUB_WORKSPACE/overlay-ports"
+
       - name: Install metis with overlay port
         shell: pwsh
         run: |