aboutsummaryrefslogtreecommitdiff
path: root/TODO/installation.md
blob: 7f632c2b998b0892b7dfd6866ba05d0aa3fec65e (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
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.

Generated with cgit - Back to sebastiano.tronto.net