about summary refs log tree commit diff stats
path: root/html/ex5.mu.html
Commit message (Expand)AuthorAgeFilesLines
* .Kartik Agaram2021-04-211-9/+9
* .Kartik Agaram2021-04-131-3/+3
* .Kartik Agaram2021-03-231-0/+78
='/akkartik/mu/commit/tools/Readme.md?h=hlt&id=c1d596f56a6f2198ea8ea1b0a90c613e919d891b'>c1d596f5 ^
f821c0e2 ^

9e45cae0 ^


c1d596f5 ^
9e45cae0 ^
c1d596f5 ^


2249e605 ^











1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36

                                                 







                                                                            



                               

                                                                           


                                                                          
                                                                            
                                                                      


                     











                                                                               
Run all these from the top-level `mu/` directory.

### Some tools for Mu's build process

These are built automatically.

* `enumerate`: list numeric files in current directory, optionally `--until`
  some prefix.


### Miscellaneous odds and ends

These are built lazily.

* `browse_trace`: debugging tool. See `browse_trace.readme.md` for details.

* `linkify`: inserts hyperlinks from variables to definitions in Mu's html
  sources. Hacky; just see the number of tests. Invoked by `update_html`.

* `treeshake_all`: rebuild SubX binaries without tests and unused functions.
  Hacky; just helps estimate the code needed to perform various tasks.
  ```
  tools/treeshake_all
  ```

### Notes to self: constraints on the tools/ directory
* Don't overwhelm the initial view of the project with lots of crap in the
  root directory.
* Directories go up top in the github view, so too many sub-directories are
  also overwhelming.
* Don't increase increase build time too much; everything in `tools/` shouldn't
  be automatically built.
  * stuff needed all the time is built from root directory.
* `tools/` contains many independent things; don't make it hard to see
  boundaries. Ideally just one source file per tool. If not, give related
  files similar name prefixes.