runtime/platform/freebsd.h | 5 0 + 5 - 0 !
1 file changed, 5 deletions(-)

 remove getpgrp work-around for kfreebsd port

basis-library/mlton/platform.sig | 2 1 + 1 - 0 !
basis-library/mlton/platform.sml | 1 1 + 0 - 0 !
basis-library/primitive/prim-mlton.sml | 2 2 + 0 - 0 !
bin/platform | 3 3 + 0 - 0 !
lib/stubs/mlton-stubs/mlton.sml | 3 2 + 1 - 0 !
lib/stubs/mlton-stubs/platform.sig | 2 1 + 1 - 0 !
mlton/main/main.fun | 1 1 + 0 - 0 !
runtime/cenv.h | 2 2 + 0 - 0 !
runtime/platform/linux.c | 2 1 + 1 - 0 !
runtime/platform/mips64.h | 1 1 + 0 - 0 !
10 files changed, 15 insertions(+), 4 deletions(-)

 add a mips64el port

basis-library/mlton/platform.sig | 3 2 + 1 - 0 !
basis-library/mlton/platform.sml | 1 1 + 0 - 0 !
basis-library/primitive/prim-mlton.sml | 2 2 + 0 - 0 !
bin/platform | 3 3 + 0 - 0 !
doc/guide/src/MLtonPlatform.adoc | 2 1 + 1 - 0 !
lib/stubs/mlton-stubs/mlton.sml | 3 2 + 1 - 0 !
lib/stubs/mlton-stubs/platform.sig | 3 2 + 1 - 0 !
mlton/main/main.fun | 1 1 + 0 - 0 !
regression/mlton.share.riscv64-linux.ok | 718 718 + 0 - 0 !
regression/size2.riscv64-linux.ok | 24 24 + 0 - 0 !
regression/size3.riscv64-linux.ok | 114 114 + 0 - 0 !
runtime/cenv.h | 2 2 + 0 - 0 !
runtime/platform/linux.c | 3 3 + 0 - 0 !
runtime/platform/riscv64.h | 1 1 + 0 - 0 !
14 files changed, 876 insertions(+), 4 deletions(-)

 add riscv64 support

doc/guide/bin/InclGitFile.py | 52 19 + 33 - 0 !
1 file changed, 19 insertions(+), 33 deletions(-)

 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.

Makefile | 6 0 + 6 - 0 !
benchmark/Makefile | 4 2 + 2 - 0 !
benchmark/tests/raytrace.sml | 4 1 + 3 - 0 !
lib/mllpt-lib/.gitignore | 2 1 + 1 - 0 !
lib/mllpt-lib/Makefile | 2 1 + 1 - 0 !
lib/mlrisc-lib/.gitignore | 2 1 + 1 - 0 !
lib/mlrisc-lib/Makefile | 2 1 + 1 - 0 !
lib/smlnj-lib/.gitignore | 2 1 + 1 - 0 !
lib/smlnj-lib/Makefile | 2 1 + 1 - 0 !
runtime/.gitignore | 2 1 + 1 - 0 !
runtime/Makefile | 10 3 + 7 - 0 !
11 files changed, 13 insertions(+), 25 deletions(-)

 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.

Makefile | 2 0 + 2 - 0 !
1 file changed, 2 deletions(-)

 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.