From a6a2ea7ff0f1d0ef47f4797b72c7faae65d0bb54 Mon Sep 17 00:00:00 2001 From: bryan Date: Thu, 27 Aug 2026 10:49:41 +0200 Subject: Add make install for Windows and Linux. Windows copies prtmib.exe to %USERPROFILE%\.local\bin. Linux installs to /usr/local/bin. PREFIX and DESTDIR work as usual. --- README | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) (limited to 'README') diff --git a/README b/README index a77fcee..cd41fb6 100644 --- a/README +++ b/README @@ -39,12 +39,18 @@ Build Windows (MinGW, default config.mk): make + make install as(1) and ld(1) must be the MinGW ones; config.mk prepends MINGWBIN to PATH so a stock prompt is enough. Linux: edit config.mk (comment the Windows block, uncomment Linux), - then make. `RM = rm -f` on Unix. + then make && make install. `RM = rm -f` on Unix. + + Install path (override with PREFIX=...): + Windows: %USERPROFILE%\.local\bin (add to PATH if it is not) + Linux: /usr/local/bin (often needs sudo) + make uninstall removes the binary. Hosts, community, timeouts, thresholds: config.h. Recompile. -- cgit v1.2.3