add •Fmt, changes to readme files

1 files changed, 6 insertions, 5 deletions

diff --git a/README.md b/README.md
index c0b1d54a..e523696e 100644
--- a/README.md
+++ b/README.md
@@ -3,12 +3,13 @@ Build & run (tl;dr: `make; rlwrap ./BQN`):
 1. (optional) Run `./genRuntime path/to/mlochbaum/BQN`; Otherwise, the necessary precompiled bytecode will be retrieved from `remotes/origin/bytecode`
 2. If wanted, customize settings in `src/h.h`
 3. `make`
-    - Options: `make o3`, `make debug` (`make rtperf`, `make heapverify` and `make rtverify` also exist for further testing/debugging)
-    - Do `make clean` or `make [o3|debug|…]-clean` beforehand to force recompile
-    - `./build` and `./debugBuild` compile everything at once and allow specifying extra compiler arguments, but may be slower
-4. `./BQN` (or `rlwrap ./BQN` for a better REPL)
+    - Options: `make o3` (the default), `make debug` (more presets exist for more specific debugging)
+    - `make CC=gcc` can be used to compile with gcc
+    - Do `make clean` or `make t=[o3|debug|…] clean` beforehand to force recompile
+    - `make single-(o3|o3g|debug|c)` compile everything as a single translation unit and thus will compile slower, but allows specifying extra compiler arguments with `make f='…' single-…` and allows the compiler to optimize more
+4. `./BQN` (or `rlwrap ./BQN` for a better REPL; see `./BQN --help` for more options)
 
-Run tests with `./BQN mlochbaum/BQN/test/this.bqn` (with `-noerr` for a heapverify build).
+Run tests with `./BQN mlochbaum/BQN/test/this.bqn` (add `-noerr` for a heapverify build).
 
 Time REPL-executed safe prim tests: `./test.bqn mlochbaum/BQN -s prim > SP; time ./BQN<SP>/dev/null`