File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 6363 -DCMAKE_BUILD_TYPE=Release `
6464 -DCMAKE_PREFIX_PATH="$env:HIGHS_DIR" `
6565 -DCMAKE_INSTALL_PREFIX="${{ github.workspace }}\dist" `
66+ -DBUILD_SHARED_LIBS=OFF `
6667 -DJRES_VERSION="${{ inputs.version }}"
6768
6869 - name : Add Build Dir to PATH
@@ -121,15 +122,10 @@ jobs:
121122 Copy-Item "dist\bin\jres_solver.exe" -Destination "$pkg\bin\"
122123 Copy-Item "dist\bin\jres_formatter.exe" -Destination "$pkg\bin\"
123124
124- # Library (Handle DLLs and LIBs)
125- # Copy import libraries (.lib) to lib folder
125+ # Library (static)
126126 if (Test-Path "dist\lib\jres_solver.lib") {
127127 Copy-Item "dist\lib\jres_solver.lib" -Destination "$pkg\lib\"
128128 }
129- # Copy runtime libraries (.dll) to bin folder (typical windows convention)
130- if (Test-Path "dist\bin\jres_solver.dll") {
131- Copy-Item "dist\bin\jres_solver.dll" -Destination "$pkg\bin\"
132- }
133129
134130 # Specific Header
135131 Copy-Item "dist\include\jres_solver\jres_solver.hpp" -Destination "$pkg\include\jres_solver\"
You can’t perform that action at this time.
0 commit comments