commit d3dcf18f6e08015f5678bbe9866e6417fa8b4789
from: Benjamin Stürz <benni@stuerz.xyz>
date: Fri Jul 05 16:15:00 2024 UTC

update destruct to 0.2

commit - 0375feb614b91bd461a322acd259e217c45b690f
commit + d3dcf18f6e08015f5678bbe9866e6417fa8b4789
blob - 226262e57dac3a0ae3118c23d381c0e7bc3f3adb
blob + c3326d4703bcb9bd1f453052dec51df1db2a7216
--- 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.1
+DESTRUCT_VER = 0.2
 
 GMAKE = $U/gmake
 SUDO =
@@ -282,3 +282,9 @@ ${STAMPS}/destruct-build: ${STAMPS}/destruct
 ${STAMPS}/destruct-install: ${STAMPS}/destruct-build
 	(cd ${TOOLS}/build/destruct && ${MAKE} PREFIX=${TOOLS} install)
 	touch $@
+
+clean-destruct:
+	rm -f bin/destruct ${STAMPS}/destruct*
+	rm -rf build/destruct
+
+destruct: ${STAMPS}/destruct-install