blob: 18aa37cdc7964057306da6413f4888656a3e365a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
|
Cuirass is a continuous integration tool using GNU Guix. It is intended as a
replacement for Hydra.
Requirements
============
Cuirass currently depends on the following packages:
- GNU Guile 3.0.x or 2.2.x
- GNU Guix (and all its development dependencies)
- GNU Make
- Guile-JSON 3.x
- Guile-SQLite3
- Guile-Git
- Guile-zlib
- Fibers
A convenient way to install those dependencies is to install Guix and execute
the following command:
$ guix environment -l build-aux/guix.scm
This will build and enter an environment which provides all the necessary
dependencies.
Build Instructions
==================
When all the dependencies are available on you system, in order to build and
install Cuirass, you can proceed with the usual:
$ ./configure && sudo make install
An alternative way is to directly install Cuirass in your Guix profile, using:
$ guix package -f build-aux/guix.scm
To build it, but not install it, run:
$ guix build -f build-aux/guix.scm
Example
=======
A quick way to manually test Cuirass is to execute:
./pre-inst-env cuirass --specifications=examples/hello-singleton.scm --database=test.db
This will read the file "examples/hello-singleton.scm" which contains a list of
specifications and add them to the database "test.db" which is created if it
doesn't already exist.
'cuirass' then loops evaluating/building the specs. The database keeps track
of the specifications in order to allow users to accumulate specifications.
To resume the evaluation/build process you can execute the same command
without the '--specifications' option:
./pre-inst-env cuirass --database=test.db
To start the web interface run:
./pre-inst-env cuirass --web
Contributing
============
See the manual for useful hacking informations, by running
info -f doc/cuirass.info "Contributing"
|