-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathMakefile
60 lines (46 loc) · 1.58 KB
/
Makefile
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
# pipefail is not POSIX complaint
VERBOSITY ?= 0
DEBUG ?= 0
.PHONY: home system env channels-pull channels-update-lock iso
home:
RDE_TARGET=ixy-home \
GUILE_LOAD_PATH=./ \
guix home reconfigure ./rde/examples/abcdw/configs.scm --allow-downgrades
system:
RDE_TARGET=ixy-system \
GUILE_LOAD_PATH=./ \
guix system reconfigure ./rde/examples/abcdw/configs.scm --allow-downgrades
# home-reconfigure-local:
# GUILE_LOAD_PATH=./ ../gnu/guix/pre-inst-env guix \
# home reconfigure ../rde/rde/config.scm
# Rewrite to glakes
env:
guix time-machine -C stale/guix-related/guix/channels-lock -- \
environment --ad-hoc make
channels-pull:
guix pull -C stale/guix-related/guix/channels-lock
channels-update-lock:
guix time-machine -C stale/guix-related/guix/channels -- \
describe -f channels > stale/guix-related/guix/channels-lock
iso:
guix time-machine -C stale/guix-related/guix/channels-lock -- \
system -L ./ image -t iso9660 stale/guix-related/system/install.scm
doc/rde-tool-list.texi: doc/rde-tool-list.org
pandoc doc/rde-tool-list.org -f org -t texinfo \
-o doc/rde-tool-list.texi
sed -i '1,3d' doc/rde-tool-list.texi
doc/rde.info: doc/rde.texi
makeinfo -o doc/rde.info doc/rde.texi
doc/rde.html: doc/rde.texi
makeinfo --html --no-split \
--css-ref=https://www.gnu.org/software/gnulib/manual.css \
-c "EXTRA_HEAD=<meta name=\"viewport\" \
content=\"width=device-width, initial-scale=1\" />" \
-o doc/rde.html doc/rde.texi
doc/rde.pdf: doc/rde.texi
makeinfo --pdf -o doc/rde.pdf doc/rde.texi
clean:
rm -f doc/rde.html
rm -f doc/rde.pdf
rm -f doc/rde.info
rm -f doc/rde-tool-list.texi