| Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
|---|---|---|---|---|---|---|
| 06_local_docs.diff | Do not fetch example files from Github during build The guide attempts to download example files from Github at build time. Debian package builds should not attempt to access external network resources. . This will break fetching from other remote repositories, e.g., mltonlib, which happens in a few places in the guide. However, the next upstream release (expected this month) removes these remote fetches. |
Ryan Kavanagh <rak@debian.org> | no | 2022-01-03 | ||
| 03_kfreebsd.diff | Remove getpgrp work-around for kfreebsd port | Wesley W. Terpstra <terpstra@debian.org> | no | 2021-10-06 | ||
| 04_mips64el.diff | Add a mips64el port | Wesley W. Terpstra <terpstra@debian.org> | no | 2021-10-06 | ||
| 05_riscv64.diff | Add RISCV64 support | Wesley W. Terpstra <terpstra@debian.org> | no | 2021-10-06 | ||
| 07_DFSG.diff | Handle missing non-DFSG-free files We excluded several non-DFSG-free files from the tarball. Update the build system to not rely or use these. . We disable building mlnlffigen as collateral damage from removing ckit-lib (see dependencies in mlnlffigen/sources.mlb). . We comment out the paths to extracted tarballs in .gitignore to keep the clean target from deleting them. |
Ryan Kavanagh <rak@debian.org> | not-needed | debian | 2021-12-19 | |
| 08_postpone_tests.diff | Don't automatically run tests during build We would like to control when we run tests so that, e.g., no tests are run if DEB_BUILD_OPTIONS includes nocheck. Drop the tests from the build, and instead call them from debian/rules when desired. |
Ryan Kavanagh <rak@debian.org> | not-needed | 2022-01-01 |