diff --git a/editors/pragtical/Makefile b/editors/pragtical/Makefile index 950259c57e89..290d294c8830 100644 --- a/editors/pragtical/Makefile +++ b/editors/pragtical/Makefile @@ -31,7 +31,7 @@ OPTIONS_DEFAULT= JIT OPTIONS_SUB= yes JIT_DESC= Use Lua JIT compiler -JIT_LIB_DEPENDS= libluajit-5.1.so:lang/luajit-devel +JIT_USES= luajit JIT_USES_OFF= lua:54 JIT_MESON_OFF= -Djit=false diff --git a/editors/pragtical/files/patch-src_api_utf8.c b/editors/pragtical/files/patch-src_api_utf8.c new file mode 100644 index 000000000000..7a9b5c4cf424 --- /dev/null +++ b/editors/pragtical/files/patch-src_api_utf8.c @@ -0,0 +1,10 @@ +--- src/api/utf8.c.orig 2025-01-21 19:20:49 UTC ++++ src/api/utf8.c +@@ -29,6 +29,7 @@ + #include + + #include ++#include + #include + #include + #include