Switch packaging.rst to use makefile

Minor cleanup
This commit is contained in:
Federico Ceratto 2021-06-27 19:51:28 +01:00 • committed by GitHub
commit 0804b4b37d
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -48,14 +48,15 @@ Hints on the build process:
.. code:: cmd .. code:: cmd
# build from C sources and then using koch # build from C sources and then using koch
./build.sh --os $os_type --cpu $cpu_arch make -j # supports parallel build
./bin/nim c koch # alternatively: ./build.sh --os $os_type --cpu $cpu_arch
./bin/nim c -d:release koch
./koch boot -d:release ./koch boot -d:release
# optionally generate docs into doc/html # optionally generate docs into doc/html
./koch docs ./koch docs
./koch tools -d:release ./koch tools
# extract files to be really installed # extract files to be really installed
./install.sh <tempdir> ./install.sh <tempdir>