Skip to content

Instantly share code, notes, and snippets.

diff --git a/shell/bootstrap-ocaml.sh b/shell/bootstrap-ocaml.sh
index da3f8ea2..150d2307 100755
--- a/shell/bootstrap-ocaml.sh
+++ b/shell/bootstrap-ocaml.sh
@@ -137,6 +137,7 @@ if [ -n "$1" -a -n "${COMSPEC}" -a -x "${COMSPEC}" ] ; then
tar -xzf $BOOTSTRAP_ROOT/${FLEXDLL}
rm -rf flexdll
mv flexdll-* flexdll
+ sed -i "s/nsplit paths ':'/nsplit paths ';'/" flexdll/reloc.ml # patch per https://github.com/ocaml/flexdll/issues/97
PATH="${PATH_PREPEND}${PREFIX}/bin:${PATH}" \
@jonahbeckford
jonahbeckford / vagrant-windows_x86_64-windows-10-enterprise-2023-01-23T14.log
Created January 24, 2023 13:34
vagrant / windows_x86_64 / windows-10-enterprise - 2023-01-23T14
This file has been truncated, but you can view the full file.
2023-01-23T14:56:24.2866740Z Requested labels: macos-12
2023-01-23T14:56:24.2866829Z Job defined at: diskuv/dkml-installer-ocaml/.github/workflows/build.yml@refs/tags/v1.2.0-prerel10
2023-01-23T14:56:24.2866861Z Waiting for a runner to pick up this job...
2023-01-23T14:56:28.4616969Z Job is waiting for a hosted runner to come online.
2023-01-23T14:56:41.8736817Z Job is about to start running on the hosted runner: GitHub Actions 4 (hosted)
2023-01-23T14:56:45.6092350Z Current runner version: '2.300.2'
2023-01-23T14:56:45.6130710Z ##[group]Operating System
2023-01-23T14:56:45.6131650Z macOS
2023-01-23T14:56:45.6131970Z 12.6.2
2023-01-23T14:56:45.6132350Z 21G320
@jonahbeckford
jonahbeckford / vagrant-windows_x86_64-windows-10-enterprise-2023-01-24T04.log
Created January 24, 2023 13:34
vagrant / windows_x86_64 / windows-10-enterprise - 2023-01-24T04
This file has been truncated, but you can view the full file.
2023-01-24T04:41:31.0789969Z Requested labels: macos-12
2023-01-24T04:41:31.0790009Z Job defined at: diskuv/dkml-installer-ocaml/.github/workflows/build.yml@refs/tags/v1.2.0-prerel10
2023-01-24T04:41:31.0790053Z Waiting for a runner to pick up this job...
2023-01-24T04:41:34.2701146Z Job is waiting for a hosted runner to come online.
2023-01-24T04:41:38.1465859Z Job is about to start running on the hosted runner: GitHub Actions 6 (hosted)
2023-01-24T04:41:42.9534480Z Current runner version: '2.300.2'
2023-01-24T04:41:42.9577770Z ##[group]Operating System
2023-01-24T04:41:42.9578630Z macOS
2023-01-24T04:41:42.9578960Z 12.6.2
2023-01-24T04:41:42.9579270Z 21G320
@jonahbeckford
jonahbeckford / dune-build-stall-3.8.2.md
Created June 24, 2023 21:50
dune build verbose logs
[0/118] cmd.exe /C "cd /D C:\GitLab-Runner\builds\diskuv\distributions\1.0\dksdk-ffi-ocaml\build && C:\GitLab-Runner\builds\diskuv\distributions\1.0\dksdk-ffi-ocaml\build\DkSDKFiles\with-unix.cmd C:/GitLab-Runner/builds/diskuv/distributions/1.0/dksdk-ffi-ocaml/build/DkSDKFiles/165/run-dune-host.sh build --root=C:\GitLab-Runner\builds\diskuv\distributions\1.0\dksEntering directory 'C:\GitLab-Runner\builds\diskuv\distributions\1.0\dksdk-ffi-ocaml'
Shared cache: disabled
Workspace root:
"C:\\GitLab-Runner\\builds\\diskuv\\distributions\\1.0\\dksdk-ffi-ocaml"
Auto-detected concurrency: 2
Dune context:
 { name = "default"
 ; kind = "default"
 ; profile = Release