Commit Diff


commit - 05fb17a6f7aeb377f4c78e308dd265c620f571b4
commit + 680d7d8ae8d10745aa6696d12af66b085ea66326
blob - b1ce049535712b5d494be146cd2200643f479dcd
blob + 01fdd42f576a8c369aefd36f75ee6b36c5da9101
--- tools/Makefile
+++ tools/Makefile
@@ -17,7 +17,7 @@ GMP_VER = 6.3.0
 MPFR_VER = 4.2.1
 MPC_VER = 1.3.1
 OKSH_VER = 7.5
-DESTRUCT_VER = 0.5
+DESTRUCT_VER = 0.6.2
 RVFORTH_VER = 0.1
 MCU_VER = 1.2
 GFORTH_VER = 0.7.9_20240627
@@ -328,12 +328,17 @@ oksh: ${TOP}/rootfs/bin/ksh
 
 # DESTRUCT
 
-${STAMPS}/destruct-build: ${STAMPS}/destruct
-	(cd ${TOOLS}/build/destruct && ${MAKE})
+${STAMPS}/destruct-configure: ${STAMPS}/destruct
+	mkdir -p ${TOOLS}/build/destruct/build
+	(cd ${TOOLS}/build/destruct/build && ../configure --prefix=${PREFIX})
 	touch $@
 
+${STAMPS}/destruct-build: ${STAMPS}/destruct-configure
+	(cd ${TOOLS}/build/destruct/build && ${MAKE})
+	touch $@
+
 ${STAMPS}/destruct-install: ${STAMPS}/destruct-build
-	(cd ${TOOLS}/build/destruct && ${MAKE} PREFIX=${TOOLS} install)
+	(cd ${TOOLS}/build/destruct/build && ${MAKE} install)
 	touch $@
 
 clean-destruct: