remove duplicate '<stdboo.h>' include in ffi/glfw-export.c, and disambiguate mlton-generated export file for GLFW shell further (by prepending 'mlton-' to the file)

2026-01-23 13:37:13 +00:00
parent a8f69bec06
commit 8d68bcbd13
5 changed files with 3 additions and 4 deletions
--- a/build-unix-debug.sh
+++ b/build-unix-debug.sh
@@ -1,6 +1,6 @@
 #!/bin/sh
 mlton -const 'Exn.keepHistory true' -link-opt "$(pkg-config --cflags glfw3) $(pkg-config --static --libs glfw3)" \
-  -export-header ffi/glfw-export.h \
+  -export-header ffi/mlton-glfw-export.h \
  shf.mlb \
  ffi/glad.c \
  ffi/glfw-export.c \
--- a/build-unix.sh
+++ b/build-unix.sh
@@ -1,6 +1,6 @@
 #!/bin/sh
 mlton -link-opt "$(pkg-config --cflags glfw3) $(pkg-config --static --libs glfw3)" \
-  -export-header ffi/glfw-export.h \
+  -export-header ffi/mlton-glfw-export.h \
  shf.mlb \
  ffi/glad.c \
  ffi/glfw-export.c \
--- a/ffi/glfw-export.c
+++ b/ffi/glfw-export.c
@@ -1,4 +1,3 @@
-#include <stdbool.h>
 #define GLFW_INCLUDE_NONE
 #include "glad.h"
 #include <GLFW/glfw3.h>
--- a/ffi/glfw-input.c
+++ b/ffi/glfw-input.c
@@ -1,4 +1,4 @@
-#include "glfw-export.h"
+#include "mlton-glfw-export.h"
 #include "glad.h"
 #define GLFW_INCLUDE_NONE
 #include <GLFW/glfw3.h>
--- a/ffi/mlton-glfw-export.h
+++ b/ffi/mlton-glfw-export.h