diff options
author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2020-06-21 11:30:54 +0200 |
---|---|---|
committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2020-06-21 11:38:22 +0200 |
commit | 9b9f1a0a4f4e46949e9b4b6ed6e2cc6a68ebc199 (patch) | |
tree | 2e4c2a025ae6290935b10402a3ed9b67dac4ecc8 | |
parent | c59158c8f96750609ec7e67281cdfb2881d8235d (diff) | |
download | sparse-9b9f1a0a4f4e46949e9b4b6ed6e2cc6a68ebc199.tar.gz |
doc: add some info to the main page
Add some info about:
* how to get sparse
* how to install it,
* the mailing list and how to report bugs.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
-rw-r--r-- | Documentation/index.rst | 40 |
1 files changed, 30 insertions, 10 deletions
diff --git a/Documentation/index.rst b/Documentation/index.rst index 415da4bb..737f4423 100644 --- a/Documentation/index.rst +++ b/Documentation/index.rst @@ -25,23 +25,43 @@ by Christopher Li in 2009 and by Luc Van Oostenryck in late 2018. Getting Sparse -------------- -You can find released versions of sparse at http://www.kernel.org/pub/software/devel/sparse/dist/ +You can find tarballs of released versions of Sparse at +http://www.kernel.org/pub/software/devel/sparse/dist/. -Obtaining sparse via Git -~~~~~~~~~~~~~~~~~~~~~~~~ - -Sparse uses the `Git version control system <http://git-scm.com/>`_. You can obtain the most recent version of sparse directly from the Git repository with the command:: +The most recent version can be obtained directly from the Git +repository with the command:: git clone git://git.kernel.org/pub/scm/devel/sparse/sparse.git -You can also `browse the Git repository <https://git.kernel.org/pub/scm/devel/sparse/sparse.git>`_. +You can also `browse the Git repository <https://git.kernel.org/pub/scm/devel/sparse/sparse.git>`_ +or use the mirror at https://github.com/lucvoo/sparse. + +Once you have the sources, to build Sparse and install it in your ~/bin +directory, just do:: + + cd sparse + make + make install + +To install it in another directory, use:: + + make PREFIX=<some directory> install + +Contributing and reporting bugs +------------------------------- -Mailing list -~~~~~~~~~~~~ +Submission of patches and reporting of bugs, as well as discussions +related to Sparse, should be done via the mailing list: +linux-sparse@vger.kernel.org. +You do not have to be subscribed to the list to send a message there. +Previous discussions and bug reports are available on the list +archives at https://marc.info/?l=linux-sparse. -Discussions about sparse occurs on the sparse mailing list, linux-sparse@vger.kernel.org. To subscribe to the list, send an email with ``subscribe linux-sparse`` in the body to ``majordomo@vger.kernel.org``. +To subscribe to the list, send an email with +``subscribe linux-sparse`` in the body to ``majordomo@vger.kernel.org``. -You can browse the list archives at https://marc.info/?l=linux-sparse. +Bugs can also be reported and tracked via the Linux kernel's bugzilla: +http://bugzilla.kernel.org/enter_bug.cgi?component=Sparse&product=Tools. User documentation ------------------ |