Skip to content

Instantly share code, notes, and snippets.

@jonahbeckford
Created January 19, 2023 19:21
Show Gist options
  • Save jonahbeckford/b00c52920e2f6d28862070f5ea5afc98 to your computer and use it in GitHub Desktop.
Save jonahbeckford/b00c52920e2f6d28862070f5ea5afc98 to your computer and use it in GitHub Desktop.
Temporary patch to go along with https://github.com/ocaml/flexdll/issues/97
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}" \
Lib="${LIB_PREPEND}${Lib}" \
Include="${INC_PREPEND}${Include}" \
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment