--- bin/mlton	2021-01-18 00:34:05.000000000 +0800
+++ bin/mlton	2023-07-21 03:23:55.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=""
+GMP_INC_DIR="@PREFIX@/include"
 # You may need to set 'GMP_LIB_DIR' so the C compiler can find libgmp.
-GMP_LIB_DIR=""
+GMP_LIB_DIR="@PREFIX@/lib"
 
 
 set -e