Created
January 19, 2023 19:21
-
-
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
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
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