diff options
author | Federico Ceratto <federico@debian.org> | 2021-06-27 19:51:28 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-06-27 19:51:28 +0100 |
commit | 0804b4b37d5fcc43d975f56a4c2c88dd58a0b882 (patch) | |
tree | f9b4cbc288dec648fc819e144d713c44ef90a5da | |
parent | 0b7361e938134305d6893ee2876b5fc8f9ba419b (diff) | |
download | Nim-0804b4b37d5fcc43d975f56a4c2c88dd58a0b882.tar.gz |
Switch packaging.rst to use makefile
Minor cleanup
-rw-r--r-- | doc/packaging.rst | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/doc/packaging.rst b/doc/packaging.rst index ecb17e482..fcdc4ae04 100644 --- a/doc/packaging.rst +++ b/doc/packaging.rst @@ -48,14 +48,15 @@ Hints on the build process: .. code:: cmd # build from C sources and then using koch - ./build.sh --os $os_type --cpu $cpu_arch - ./bin/nim c koch + make -j # supports parallel build + # alternatively: ./build.sh --os $os_type --cpu $cpu_arch + ./bin/nim c -d:release koch ./koch boot -d:release # optionally generate docs into doc/html ./koch docs - ./koch tools -d:release + ./koch tools # extract files to be really installed ./install.sh <tempdir> |