File tree Expand file tree Collapse file tree 1 file changed +2
-0
lines changed
Expand file tree Collapse file tree 1 file changed +2
-0
lines changed Original file line number Diff line number Diff line change 4848 - name : extract ZIP on Unix
4949 if : ${{ runner.os == 'Linux' }}
5050 run : |
51+ mkdir -p external_libs_unpacked/linux
5152 unzip external_libs/linux.zip -d external_libs_unpacked/linux
5253 mkdir -p src/deterministic_gaussian_sampling/lib/linux/bin
5354 cp -r external_libs_unpacked/linux/lib/* src/deterministic_gaussian_sampling/lib/linux/bin
5657 if : ${{ runner.os == 'Windows' }}
5758 shell : pwsh
5859 run : |
60+ New-Item -ItemType Directory -Path external_libs_unpacked\windows -Force
5961 Expand-Archive -Path external_libs/windows.zip -DestinationPath external_libs_unpacked\windows -Force
6062 New-Item -ItemType Directory -Path src\deterministic_gaussian_sampling\lib\windows\bin -Force
6163 Copy-Item external_libs_unpacked\windows\bin\* src\deterministic_gaussian_sampling\lib\windows\bin -Recurse -Force
You can’t perform that action at this time.
0 commit comments