gnu: Add the 'license:' prefix.
[jackhill/guix/guix.git] / HACKING
CommitLineData
450ccdc3
LC
1-*- mode: org; coding: utf-8; -*-
2
08ba7ff3 3#+TITLE: Hacking GNU Guix and Its Incredible Distro
450ccdc3 4
9149f1a0 5Copyright © 2012, 2013 Ludovic Courtès <ludo@gnu.org>
84dbbc76 6Copyright © 2013 Nikita Karetnikov <nikita@karetnikov.org>
450ccdc3
LC
7
8 Copying and distribution of this file, with or without modification,
9 are permitted in any medium without royalty provided the copyright
10 notice and this notice are preserved.
11
12
84dbbc76
NK
13* Building from Git
14
8b2d9e5d
LC
15When building Guix from a checkout, the following packages are required in
16addition to those mentioned in the installation instructions:
17
18 - [[http://www.gnu.org/software/autoconf/][GNU Autoconf]]
19 - [[http://www.gnu.org/software/automake/][GNU Automake]]
20 - [[http://www.gnu.org/software/gettext/][GNU Gettext]]
21 - [[http://www.graphviz.org/][Graphviz]]
22
23Run ‘./bootstrap’ to download the Nix daemon source code and to generate the
24build system infrastructure using autoconf. It reports an error if an
25inappropriate version of the above packages is being used.
26
27The ‘bootstrap’ script, among other things, invokes ‘git submodule update’; if
28you didn’t run it, you may get the following error:
84dbbc76
NK
29
30 make: *** No rule to make target `nix/libstore/schema.sql', needed by
31 `nix/libstore/schema.sql.hh'
32
8b2d9e5d 33Then, as always, run ‘./configure’. If you get an error like this one:
84dbbc76
NK
34
35 ./configure: line 6755: `PKG_CHECK_MODULES(GUILE, guile-2.0 >= 2.0.5)'
36
37it probably means that Autoconf couldn’t find ‘pkg.m4’, which is provided by
38pkg-config. Make sure that ‘pkg.m4’ is available. For instance, if you
39installed Automake in ‘/usr/local’, it wouldn’t look for ‘.m4’ files in
40‘/usr/share’. So you have to invoke the following command in that case
41
42 $ export ACLOCAL_PATH=/usr/share/aclocal
43
44See “info '(automake) Macro Search Path'” for more information.
45
84dbbc76
NK
46Finally, you have to invoke ‘make check’ to run tests. If anything fails,
47take a look at “info '(guix) Installation'” or send a message to
8b2d9e5d 48<guix-devel@gnu.org>.
84dbbc76 49
08ba7ff3
LC
50* Running Guix before it is installed
51
52Command-line tools can be used even if you have not run "make install".
53To do that, prefix each command with ‘./pre-inst-env’, as in:
54
9bf3c1a7 55 ./pre-inst-env guix build --help
08ba7ff3
LC
56
57Similarly, for a Guile session using the Guix modules:
58
59 ./pre-inst-env guile -c '(use-modules (guix utils)) (pk (%current-system))'
60
61The ‘pre-inst-env’ script sets up all the environment variables
62necessary to support this.
63
c6dbd505
LC
64* The Perfect Setup
65
66The Perfect Setup to hack on Guix is basically the perfect setup used
67for Guile hacking (info "(guile) Using Guile in Emacs"). First, you
68need more than an editor, you need [[http://www.gnu.org/software/emacs][Emacs]], empowered by the wonderful
69[[http://nongnu.org/geiser/][Geiser]].
70
71Geiser allows for interactive and incremental development from within
72Emacs: code compilation and evaluation from within buffers, access to
73on-line documentation (docstrings), context-sensitive completion, M-. to
74jump to an object definition, a REPL to try out your code, and more.
75
76To actually edit the code, Emacs already has a neat Scheme mode. But in
77addition to that, you must not miss [[http://www.emacswiki.org/emacs/ParEdit][Paredit]]. It provides facilities to
78directly operate on the syntax tree, such as raising an s-expression or
79wrapping it, swallowing or rejecting the following s-expression, etc.
80
9bf3c1a7
LC
81* Submitting Patches
82
83Development is done using the Git distributed version control system. Thus,
84access to the repository is not strictly necessary. We welcome contributions
85in the form of patches as produced by ‘git format-patch’ sent to
2d2ad989 86guix-devel@gnu.org. Please write commit logs in the [[http://www.gnu.org/prep/standards/html_node/Change-Logs.html#Change-Logs][GNU ChangeLog format]].
9bf3c1a7
LC
87
88As you become a regular contributor, you may find it convenient to have write
89access to the repository (see below.)
90
e1c5a835
LC
91* Coding Style
92
93In general our code follows the [[info:standards][GNU Coding Standards]] (GCS). However, the GCS
94do not say much about Scheme, so here are some additional rules.
95
96** Programming Paradigm
97
98Scheme code in Guix is written in a purely functional style. One exception is
99code that involves input/output, and procedures that implement low-level
100concepts, such as the ‘memoize’ procedure.
101
102** Modules
103
104Guile modules that are meant to be used on the builder side must live in the
105(guix build …) name space. They must not refer to other Guix or GNU modules.
106However, it is OK for a “host-side” module to use a build-side module.
107
108Modules that deal with the broader GNU system should be in the (gnu …) name
109space rather than (guix …).
110
111** Formatting Code
112
113When writing Scheme code, we follow common wisdom among Scheme programmers.
114In general, we follow the [[http://mumble.net/~campbell/scheme/style.txt][Riastradh's Lisp Style Rules]]. This document happens
115to describe the conventions mostly used in Guile’s code too. It is very
116thoughtful and well written, so please do read it.
117
1a2e6495
LC
118Some special forms introduced in Guix, such as the ‘substitute*’ macro, have
119special indentation rules. These are defined in the .dir-locals.el file,
120which Emacs automatically uses. If you do not use Emacs, please make sure to
121let your editor know the rules.
122
123We require all top-level procedures to carry a docstring. This requirement
124can be relaxed for simple private procedures in the (guix build …) name space,
125though.
e1c5a835
LC
126
127Procedures should not have more than four positional parameters. Use keyword
128parameters for procedures that take more than four parameters.
129
9bf3c1a7
LC
130* Commit Access
131
132For frequent contributors, having write access to the repository is
133convenient. When you deem it necessary, feel free to ask for it on the
134mailing list. When you get commit access, please make sure to follow the
2d2ad989 135policy below (discussions of the policy can take place on guix-devel@gnu.org.)
9bf3c1a7 136
2d2ad989 137Non-trivial patches should always be posted to guix-devel@gnu.org (trivial
9bf3c1a7
LC
138patches include fixing typos, etc.)
139
140For patches that just add a new package, and a simple one, it’s OK to commit,
e20ec9cc
LC
141if you’re confident (which means you successfully built it in a chroot setup,
142and have done a reasonable copyright and license auditing.) Likewise for
143package upgrades. We have a mailing list for commit notifications
144(guix-commits@gnu.org), so people can notice. Before pushing your changes,
145make sure to run ‘git pull --rebase’.
9bf3c1a7 146
2d2ad989 147For anything else, please post to guix-devel@gnu.org and leave time for a
9bf3c1a7
LC
148review, without committing anything. If you didn’t receive any reply
149after two weeks, and if you’re confident, it’s OK to commit.
150
151That last part is subject to being adjusted, allowing individuals to commit
152directly on non-controversial changes on parts they’re familiar with.