1 files changed, 12 insertions, 0 deletions
diff --git a/extra/pcre2/build b/extra/pcre2/build
new file mode 100755
index 00000000..8ee17340
--- /dev/null
+++ b/extra/pcre2/build
@@ -0,0 +1,12 @@
+#!/bin/sh -e
+
+./configure \
+    --prefix=/usr \
+    --enable-static \
+    --enable-jit
+
+make
+make DESTDIR="$1" install
+
+# Remove html docs
+rm -r "$1/usr/share/doc"