blob: afa9173af3b5995c2c8e1859f19dd54a413dfce6 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
--- shell/bootstrap-ocaml.sh.orig 2021-12-07 16:13:53 UTC
+++ shell/bootstrap-ocaml.sh
@@ -8,7 +8,6 @@ elif command -v wget > /dev/null; then
CURL=wget
else
echo "This script requires curl or wget"
- exit 1
fi
BOOTSTRAP_DIR=${BOOTSTRAP_DIR:-bootstrap}
BOOTSTRAP_ROOT=${BOOTSTRAP_ROOT:-..}
@@ -43,6 +42,9 @@ else
mkdir -p ${V}
fi
cd ${V}
+for p in ../../src_ext/ocaml-patches/*.patch; do
+ patch -p1 < $p;
+done;
PATH_PREPEND=
LIB_PREPEND=
INC_PREPEND=
|
