Merge pull request #75 from jonahbeckford/V2_4

Regen README

Author: jonahbeckford

README.md

@@ -1,4 +1,4 @@
-# dk - A terribly uninteresting build system
+# dk - A build system
 
 Motivating problem: You have technical users, many of whom are not software engineers. They need to customize your software on their own PCs.
 
@@ -92,7 +92,7 @@ We'll start explaining the build system by unpackaging the popular zip compressi
 
 ---
 
-- [dk - A terribly uninteresting build system](#dk---a-terribly-uninteresting-build-system)
+- [dk - A build system](#dk---a-build-system)
   - [Introduction](#introduction)
   - [Concepts and Theory](#concepts-and-theory)
     - [Theory](#theory)
@@ -135,7 +135,33 @@ This is *not* a toy problem! We would need the 7zip executable if our second tas
 For unpacking the 7zip executables, we'll submit a form several times (each time with different parameters):
 
 ```console
-$ dksrc/dk0 get-object 'CommonsBase_Std.S7z@25.1.0' -s Release.Darwin_x86_64 -m ./7zz.exe -f target/Darwin_x86_64.7zz.exe
+$ dksrc/dk0 --trial get-object 'CommonsBase_Std.S7z@25.1.0' -s Release.Darwin_x86_64 -m ./7zz.exe -f target/Darwin_x86_64.7zz.exe
+[signify] New build key pair in t/k/build.pub and t/k/build.sec ...
+[signify] Distribute key pair among trusted coworkers only!
+[progress]: dla CommonsBase_Std:Release.Darwin_arm64.x1g6onv7a.tracestore ...
+[progress]:   dlb https://github.com/diskuv/dk/releases/download/2.4.202512170003 ...
+[progress]: dla CommonsBase_Std:Release.Darwin_x86_64.x1g6onv7a.tracestore ...
+[progress]:   dlb https://github.com/diskuv/dk/releases/download/2.4.202512170003 ...
+[progress]: dla CommonsBase_Std:Release.Linux_x86.x1g6onv7a.tracestore ...
+[progress]:   dlb https://github.com/diskuv/dk/releases/download/2.4.202512170003 ...
+[progress]: dla CommonsBase_Std:Release.Linux_x86_64.x1g6onv7a.tracestore ...
+[progress]:   dlb https://github.com/diskuv/dk/releases/download/2.4.202512170003 ...
+[progress]: dla CommonsBase_Std:Release.Windows_x86.x1g6onv7a.tracestore ...
+[progress]:   dlb https://github.com/diskuv/dk/releases/download/2.4.202512170003 ...
+[progress]: dla CommonsBase_Std:Release.Windows_x86_64.x1g6onv7a.tracestore ...
+[progress]:   dlb https://github.com/diskuv/dk/releases/download/2.4.202512170003 ...
+[progress]: dla CommonsBase_Std:Release.Darwin_arm64.valuestore.zip ...
+[progress]:   dlb https://github.com/diskuv/dk/releases/download/2.4.202512170003 ...
+[progress]: dla CommonsBase_Std:Release.Darwin_x86_64.valuestore.zip ...
+[progress]:   dlb https://github.com/diskuv/dk/releases/download/2.4.202512170003 ...
+[progress]: dla CommonsBase_Std:Release.Linux_x86.valuestore.zip ...
+[progress]:   dlb https://github.com/diskuv/dk/releases/download/2.4.202512170003 ...
+[progress]: dla CommonsBase_Std:Release.Linux_x86_64.valuestore.zip ...
+[progress]:   dlb https://github.com/diskuv/dk/releases/download/2.4.202512170003 ...
+[progress]: dla CommonsBase_Std:Release.Windows_x86.valuestore.zip ...
+[progress]:   dlb https://github.com/diskuv/dk/releases/download/2.4.202512170003 ...
+[progress]: dla CommonsBase_Std:Release.Windows_x86_64.valuestore.zip ...
+[progress]:   dlb https://github.com/diskuv/dk/releases/download/2.4.202512170003 ...
 [up-to-date] CommonsBase_Std.S7z@25.1.0+bn-20250101000000 -s Release.Darwin_x86_64
 ```
 
@@ -1028,7 +1054,7 @@ The use of `7zr.exe` means we can only run this step on Windows hardware, even t
 
 <!-- $MDX os_type=Win32 -->
 ```console
-$ dksrc/dk0 -I 7zip-project -x 7zip-org:subpath: get-object 'OurZip_Demo.S7z3.MacLinux7zTar@25.1.0' -s Release.Linux_arm64 -d target/7ztar-linuxarm64
+$ dksrc/dk0 --trial -I 7zip-project -x 7zip-org:subpath: get-object 'OurZip_Demo.S7z3.MacLinux7zTar@25.1.0' -s Release.Linux_arm64 -d target/7ztar-linuxarm64
 [up-to-date] OurZip_Demo.S7z3.MacLinux7zTar@25.1.0+bn-20250101000000 -s Release.Linux_arm64
 ```
 
@@ -1128,7 +1154,7 @@ The use of `7z.exe` means we can only run this step on Windows hardware, even th
 
 <!-- $MDX os_type=Win32 -->
 ```console
-$ dksrc/dk0 -I 7zip-project -x 7zip-org:subpath: get-object 'OurZip_Demo.S7z4.MacLinux7zExe@25.1.0' -s Release.Darwin_x86_64 -d target/7zexe-macintel
+$ dksrc/dk0 --trial -I 7zip-project -x 7zip-org:subpath: get-object 'OurZip_Demo.S7z4.MacLinux7zExe@25.1.0' -s Release.Darwin_x86_64 -d target/7zexe-macintel
 [up-to-date] OurZip_Demo.S7z4.MacLinux7zExe@25.1.0+bn-20250101000000 -s Release.Darwin_x86_64
 ```
 
@@ -1213,7 +1239,7 @@ We have not yet provided an overall interface for the 7zip package. Let's do thi
 With that our users can grab the `7zz.exe` executable for any operating system and CPU architecture:
 
 ```console
-$ dksrc/dk0 -I 7zip-project -x 7zip-org:subpath: get-object 'OurZip_Demo.S7z5.S7zExe@25.1.0' -s Release.Linux_x86_64 -d target/7z-linux64
+$ dksrc/dk0 --trial -I 7zip-project -x 7zip-org:subpath: get-object 'OurZip_Demo.S7z5.S7zExe@25.1.0' -s Release.Linux_x86_64 -d target/7z-linux64
 [up-to-date] OurZip_Demo.S7z5.S7zExe@25.1.0+bn-20250101000000 -s Release.Linux_x86_64
 ```
 
@@ -1227,7 +1253,7 @@ target/7z-linux64/7zz.exe: ELF 64-bit LSB pie executable, x86-64, version 1 (SYS
 Since `7zz.exe` is a standalone executable that doesn't need any DLLs or `.so` (except standard GLIBC system libraries on Linux), we can use the `-m MEMBER` option to directly fetch the `7zz.exe` executable:
 
 ```console
-$ dksrc/dk0 -I 7zip-project -x 7zip-org:subpath: get-object 'OurZip_Demo.S7z5.S7zExe@25.1.0' -s Release.Linux_x86_64 -m ./7zz.exe -f target/7zz.exe
+$ dksrc/dk0 --trial -I 7zip-project -x 7zip-org:subpath: get-object 'OurZip_Demo.S7z5.S7zExe@25.1.0' -s Release.Linux_x86_64 -m ./7zz.exe -f target/7zz.exe
 [up-to-date] OurZip_Demo.S7z5.S7zExe@25.1.0+bn-20250101000000 -s Release.Linux_x86_64
 $ file target/7zz.exe
 target/7zz.exe: ELF 64-bit LSB pie executable, x86-64, version 1 (SYSV), dynamically linked, interpreter /lib64/ld-linux-x86-64.so.2, BuildID[sha1]=7a6c7a136fc4e7df4ddcd80d2aae72bc658ef822, for GNU/Linux 3.2.0, stripped

maintenance/010-PROJECTROOT-README.sh

@@ -29,6 +29,10 @@ opam show mdx || opam install mdx
 rm -rf dksrc/
 git clone --branch V2_4 https://github.com/diskuv/dk.git dksrc
 
+# Clear t/ and target/ directories for reproducibility of --trial
+rm -rf t/ target/
+
+# Mimic that the user created the files for the 7zip-project.
 rm -rf 7zip-project/
 install -d 7zip-project
 set +f