--- bin/mlton	2022-08-26 20:41:24.000000000 +0800
+++ bin/mlton	2023-07-21 13:17:23.000000000 +0800
@@ -6,13 +6,13 @@
 
 EXE=""
 
-CC="cc"
+CC="@CC@"
 
 # You may need to set 'GMP_INC_DIR' so the C compiler can find gmp.h.
-GMP_INC_DIR="/opt/homebrew/opt/gmp/include"
+GMP_INC_DIR="@PREFIX@/include"
 # You may need to set 'GMP_LIB_DIR' so the C compiler can find libgmp.
-GMP_LIB_DIR="/opt/homebrew/opt/gmp/lib"
+GMP_LIB_DIR="@PREFIX@/lib"
 
 
 set -e
