Skip to content

Instantly share code, notes, and snippets.

@kaz-mac
Last active July 18, 2025 06:46
Show Gist options
  • Select an option

  • Save kaz-mac/8ac0b9440adb74d428d068db58677f06 to your computer and use it in GitHub Desktop.

Select an option

Save kaz-mac/8ac0b9440adb74d428d068db58677f06 to your computer and use it in GitHub Desktop.
MaixPyのパッチ
--- components/micropython/core/ports/unix/main.c.orig 2025-07-18 09:43:58.405746512 +0900
+++ components/micropython/core/ports/unix/main.c 2025-07-18 10:18:13.089871926 +0900
@@ -669,7 +669,7 @@
}
#if !MICROPY_VFS
-uint mp_import_stat(const char *path) {
+mp_import_stat_t mp_import_stat(const char *path) {
struct stat st;
if (stat(path, &st) == 0) {
if (S_ISDIR(st.st_mode)) {
--- components/micropython/core/examples/embedding/hello-embed.c.orig 2025-07-18 09:43:58.341029230 +0900
+++ components/micropython/core/examples/embedding/hello-embed.c 2025-07-18 10:19:36.443258176 +0900
@@ -65,7 +65,7 @@
}
}
-uint mp_import_stat(const char *path) {
+mp_import_stat_t mp_import_stat(const char *path) {
return MP_IMPORT_STAT_NO_EXIST;
}
--- components/micropython/core/py/stackctrl.c.orig 2025-07-18 09:43:58.414991834 +0900
+++ components/micropython/core/py/stackctrl.c 2025-07-18 10:14:19.986404035 +0900
@@ -27,10 +27,13 @@
#include "py/runtime.h"
#include "py/stackctrl.h"
+#pragma GCC diagnostic push
+#pragma GCC diagnostic ignored "-Wdangling-pointer"
void mp_stack_ctrl_init(void) {
volatile int stack_dummy;
MP_STATE_THREAD(stack_top) = (char*)&stack_dummy;
}
+#pragma GCC diagnostic pop
void mp_stack_set_top(void *top) {
MP_STATE_THREAD(stack_top) = top;
--- components/micropython/core/mpy-cross/main.c.orig 2025-07-18 09:43:58.359519882 +0900
+++ components/micropython/core/mpy-cross/main.c 2025-07-18 10:16:08.705221253 +0900
@@ -304,7 +304,7 @@
return main_(argc, argv);
}
-uint mp_import_stat(const char *path) {
+mp_import_stat_t mp_import_stat(const char *path) {
(void)path;
return MP_IMPORT_STAT_NO_EXIST;
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment