From fcb3ac9b02c3ed150fbf6d539613510cc83627ea Mon Sep 17 00:00:00 2001 From: Sebastiano Tronto Date: Sat, 14 Jan 2023 22:33:09 +0100 Subject: Re-organized TODO file --- TODO/installation.md | 14 ++++++++++++++ 1 file changed, 14 insertions(+) create mode 100644 TODO/installation.md (limited to 'TODO/installation.md') diff --git a/TODO/installation.md b/TODO/installation.md new file mode 100644 index 0000000..7f632c2 --- /dev/null +++ b/TODO/installation.md @@ -0,0 +1,14 @@ +# Simplify and improve installation + +## Tables + +* Make install should generate tables, or add a "make tables" target to + generate tables. +* Make tables should also check for existing files and remove old ones + (maybe more for nissy's command than for makefile). + +## Correctness + +* Add checksum for all generated files. +* Hard-code results? Check for compatibility problems between different OSes + and filesystems - but there should not be any, since we use stdint.h. -- cgit v1.3