Skip to content

Commit 1bc0a63

Browse files
committed
chapter 3: include makefile for each evaluated tool
1 parent f5ee5b4 commit 1bc0a63

File tree

1 file changed

+44
-0
lines changed

1 file changed

+44
-0
lines changed

src/thesis/3-tools.typ

Lines changed: 44 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -389,6 +389,17 @@ compiled executable runs within the container. However, instead of printing only
389389
the checksum of the resulting binary, the `check` step also outputs the checksum
390390
of the image.
391391

392+
#figure(
393+
{
394+
sourcefile(
395+
file: "Makefile",
396+
lang: "Makefile",
397+
read("../../lib/scenario-2/Makefile"),
398+
)
399+
},
400+
caption: [`Makefile` of Scenario 2],
401+
) <ch3-makefile-scenario2>
402+
392403
#figure(
393404
shell(read("../../resources/sourcecode/scenario-2.log")),
394405
supplement: "Terminal session",
@@ -570,6 +581,17 @@ considering Guix.
570581
caption: [From Scenario 3, the Guix build file (`guix.scm`)],
571582
) <ch3-default-guix>
572583

584+
#figure(
585+
{
586+
sourcefile(
587+
file: "Makefile",
588+
lang: "Makefile",
589+
read("../../lib/scenario-3/Makefile"),
590+
)
591+
},
592+
caption: [`Makefile` of Scenario 3],
593+
) <ch3-makefile-scenario3>
594+
573595
#figure(
574596
{
575597
shell(read("../../resources/sourcecode/scenario-3.log"))
@@ -675,6 +697,17 @@ environment.
675697
caption: [The Nix build file (`default.nix`) from Scenario 4],
676698
) <ch3-default-nix>
677699

700+
#figure(
701+
{
702+
sourcefile(
703+
file: "Makefile",
704+
lang: "Makefile",
705+
read("../../lib/scenario-4/Makefile"),
706+
)
707+
},
708+
caption: [`Makefile` of Scenario 4],
709+
) <ch3-makefile-scenario4>
710+
678711
#figure(
679712
{
680713
shell(read("../../resources/sourcecode/scenario-4.log"))
@@ -737,6 +770,17 @@ dependencies could drift to newer versions.
737770
caption: [The Nix Flake file (`flake.nix`) from Scenario 5],
738771
) <ch3-flake-nix>
739772

773+
#figure(
774+
{
775+
sourcefile(
776+
file: "Makefile",
777+
lang: "Makefile",
778+
read("../../lib/scenario-5/Makefile"),
779+
)
780+
},
781+
caption: [`Makefile` of Scenario 5],
782+
) <ch3-makefile-scenario5>
783+
740784
#figure(
741785
{
742786
shell(read("../../resources/sourcecode/scenario-5.log"))

0 commit comments

Comments
 (0)