grep: disable use of unsupported pcre JIT compilation

Issue #4827

repos/ports/ports/grep.hash

@@ -1 +1 @@
-b96a88c916f9857523d285cfce0ad629687ed948
+445e6f860b8e92f2bede64ae2da65eb761e95111

repos/ports/ports/grep.port

@@ -7,3 +7,6 @@ SHA(grep) := db625c7ab3bb3ee757b3926a5cfa8d9e1c3991ad24707a83dde8a5ef2bf7a07e
 SIG(grep) := ${URL(grep)}.sig
 KEY(grep) := GNU
 DIR(grep) := src/noux-pkg/grep
+
+PATCHES   := src/noux-pkg/grep/grep.patch
+PATCH_OPT := -p1 -d ${DIR(grep)}

repos/ports/src/noux-pkg/grep/grep.patch

@@ -0,0 +1,16 @@
+grep.patch
+
+diff --git a/src/pcresearch.c b/src/pcresearch.c
+index 43f91d0..cfe8839 100644
+--- a/src/pcresearch.c
++++ b/src/pcresearch.c
+@@ -29,6 +29,9 @@
+    in pcre_exec.  */
+ enum { NSUB = 300 };
+ 
++/* JIT compilation is currently not supported by Genode's pcre port */
++#undef PCRE_STUDY_JIT_COMPILE
++
+ # ifndef PCRE_STUDY_JIT_COMPILE
+ #  define PCRE_STUDY_JIT_COMPILE 0
+ # endif