commit - 05fb17a6f7aeb377f4c78e308dd265c620f571b4
commit + 680d7d8ae8d10745aa6696d12af66b085ea66326
blob - b1ce049535712b5d494be146cd2200643f479dcd
blob + 01fdd42f576a8c369aefd36f75ee6b36c5da9101
--- tools/Makefile
+++ tools/Makefile
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
# 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: