annotate make/make.sh @ 105:c27b8c8a1b14

Break down and use git instead of hg for upstream kernel source.
author Rob Landley <rob@landley.net>
date Sun, 12 Dec 2010 16:47:22 -0600
parents 41f999d7f077
children 01b77829d010
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
1
34a037d461f9 Some random infrastructure to build documentation from source.
Rob Landley <rob@landley.net>
parents:
diff changeset
1 #!/bin/bash
34a037d461f9 Some random infrastructure to build documentation from source.
Rob Landley <rob@landley.net>
parents:
diff changeset
2
81
6adf16f10d54 Split up make.sh so it's easier to call subsets of its functionality.
Rob Landley <rob@landley.net>
parents: 72
diff changeset
3 # Set environment variables and call do-*.sh in sequence
29
c91c3395876f Produce better menuconfig output, now in multiple files and with concise
Rob Landley <rob@landley.net>
parents: 28
diff changeset
4
81
6adf16f10d54 Split up make.sh so it's easier to call subsets of its functionality.
Rob Landley <rob@landley.net>
parents: 72
diff changeset
5 [ -z "$WEBDIR" ] && export WEBDIR=~/www/kdocs
105
c27b8c8a1b14 Break down and use git instead of hg for upstream kernel source.
Rob Landley <rob@landley.net>
parents: 88
diff changeset
6 [ -z "$LNXDIR" ] && export LNXDIR=~/linux/linux
51
93c68f362860 New script to download OLS files (and others), and split up volumes into
Rob Landley <rob@landley.net>
parents: 49
diff changeset
7
83
13a980b307f8 Largeish rewrite of make.sh, breaking things out into functions. This has the
Rob Landley <rob@landley.net>
parents: 81
diff changeset
8 source "$WEBDIR"/make/functions.sh
13a980b307f8 Largeish rewrite of make.sh, breaking things out into functions. This has the
Rob Landley <rob@landley.net>
parents: 81
diff changeset
9
81
6adf16f10d54 Split up make.sh so it's easier to call subsets of its functionality.
Rob Landley <rob@landley.net>
parents: 72
diff changeset
10 # Update mercurial repository
105
c27b8c8a1b14 Break down and use git instead of hg for upstream kernel source.
Rob Landley <rob@landley.net>
parents: 88
diff changeset
11 #if [ "$1" != "--nonet" ]
c27b8c8a1b14 Break down and use git instead of hg for upstream kernel source.
Rob Landley <rob@landley.net>
parents: 88
diff changeset
12 #then
c27b8c8a1b14 Break down and use git instead of hg for upstream kernel source.
Rob Landley <rob@landley.net>
parents: 88
diff changeset
13 # echo "Update Linux source from mercurial on kernel.org"
c27b8c8a1b14 Break down and use git instead of hg for upstream kernel source.
Rob Landley <rob@landley.net>
parents: 88
diff changeset
14 # get_git || exit 1
c27b8c8a1b14 Break down and use git instead of hg for upstream kernel source.
Rob Landley <rob@landley.net>
parents: 88
diff changeset
15 #else
c27b8c8a1b14 Break down and use git instead of hg for upstream kernel source.
Rob Landley <rob@landley.net>
parents: 88
diff changeset
16 # shift
c27b8c8a1b14 Break down and use git instead of hg for upstream kernel source.
Rob Landley <rob@landley.net>
parents: 88
diff changeset
17 #fi
51
93c68f362860 New script to download OLS files (and others), and split up volumes into
Rob Landley <rob@landley.net>
parents: 49
diff changeset
18
88
41f999d7f077 Disentangle Documentation from temporary linux directory. (Allows the scsi
Rob Landley <rob@landley.net>
parents: 86
diff changeset
19 echo "Set up Linux build directory"
83
13a980b307f8 Largeish rewrite of make.sh, breaking things out into functions. This has the
Rob Landley <rob@landley.net>
parents: 81
diff changeset
20 setuplinuxtemp || exit 1
13a980b307f8 Largeish rewrite of make.sh, breaking things out into functions. This has the
Rob Landley <rob@landley.net>
parents: 81
diff changeset
21
13a980b307f8 Largeish rewrite of make.sh, breaking things out into functions. This has the
Rob Landley <rob@landley.net>
parents: 81
diff changeset
22 if [ "$1" == "--long" ]
13a980b307f8 Largeish rewrite of make.sh, breaking things out into functions. This has the
Rob Landley <rob@landley.net>
parents: 81
diff changeset
23 then
13a980b307f8 Largeish rewrite of make.sh, breaking things out into functions. This has the
Rob Landley <rob@landley.net>
parents: 81
diff changeset
24 # I have a dual processor laptop, so overlap work here. Have make htmldocs
13a980b307f8 Largeish rewrite of make.sh, breaking things out into functions. This has the
Rob Landley <rob@landley.net>
parents: 81
diff changeset
25 # produce split-up versions in the background (which is very slow)
13a980b307f8 Largeish rewrite of make.sh, breaking things out into functions. This has the
Rob Landley <rob@landley.net>
parents: 81
diff changeset
26 # while other work is done in the foreground.
86
ca7e38053195 Updates and bug fixes, should work now. Options to make.sh are --nonet and
Rob Landley <rob@landley.net>
parents: 83
diff changeset
27 make_htmldocs > /dev/null 2>/dev/null &
83
13a980b307f8 Largeish rewrite of make.sh, breaking things out into functions. This has the
Rob Landley <rob@landley.net>
parents: 81
diff changeset
28 fi
36
9a5ef2d1264e Call indexsections.py and work around a bug in xmlto.
Rob Landley <rob@landley.net>
parents: 32
diff changeset
29
88
41f999d7f077 Disentangle Documentation from temporary linux directory. (Allows the scsi
Rob Landley <rob@landley.net>
parents: 86
diff changeset
30 echo "Install and index Documentation directory."
41f999d7f077 Disentangle Documentation from temporary linux directory. (Allows the scsi
Rob Landley <rob@landley.net>
parents: 86
diff changeset
31 update_documentation_dir || exit 1
41f999d7f077 Disentangle Documentation from temporary linux directory. (Allows the scsi
Rob Landley <rob@landley.net>
parents: 86
diff changeset
32
81
6adf16f10d54 Split up make.sh so it's easier to call subsets of its functionality.
Rob Landley <rob@landley.net>
parents: 72
diff changeset
33 echo "Update master index."
83
13a980b307f8 Largeish rewrite of make.sh, breaking things out into functions. This has the
Rob Landley <rob@landley.net>
parents: 81
diff changeset
34 update_master || exit 1
36
9a5ef2d1264e Call indexsections.py and work around a bug in xmlto.
Rob Landley <rob@landley.net>
parents: 32
diff changeset
35
81
6adf16f10d54 Split up make.sh so it's easier to call subsets of its functionality.
Rob Landley <rob@landley.net>
parents: 72
diff changeset
36 echo "Mirror resources"
83
13a980b307f8 Largeish rewrite of make.sh, breaking things out into functions. This has the
Rob Landley <rob@landley.net>
parents: 81
diff changeset
37 mirror_files || exit 1
38
841aab0fd204 Add version info to menuconfig html, and genericize make with environment vars
Rob Landley <rob@landley.net>
parents: 36
diff changeset
38
841aab0fd204 Add version info to menuconfig html, and genericize make with environment vars
Rob Landley <rob@landley.net>
parents: 36
diff changeset
39 echo Copy readme files from Linux kernel
83
13a980b307f8 Largeish rewrite of make.sh, breaking things out into functions. This has the
Rob Landley <rob@landley.net>
parents: 81
diff changeset
40 find_readmes || exit 1
32
6f30fdd28dab Add a few google videos, and the README files from the kernel source.
Rob Landley <rob@landley.net>
parents: 29
diff changeset
41
26
3c78854053e3 A script to convert menuconfig to html. Have make.sh call it for all $ARCH.
Rob Landley <rob@landley.net>
parents: 12
diff changeset
42 echo Convert kconfig to html for all architectures
83
13a980b307f8 Largeish rewrite of make.sh, breaking things out into functions. This has the
Rob Landley <rob@landley.net>
parents: 81
diff changeset
43 htmlize_menuconfig || exit 1
29
c91c3395876f Produce better menuconfig output, now in multiple files and with concise
Rob Landley <rob@landley.net>
parents: 28
diff changeset
44
86
ca7e38053195 Updates and bug fixes, should work now. Options to make.sh are --nonet and
Rob Landley <rob@landley.net>
parents: 83
diff changeset
45 # Install the htmldocs
ca7e38053195 Updates and bug fixes, should work now. Options to make.sh are --nonet and
Rob Landley <rob@landley.net>
parents: 83
diff changeset
46 if [ "$1" == "--long" ]
ca7e38053195 Updates and bug fixes, should work now. Options to make.sh are --nonet and
Rob Landley <rob@landley.net>
parents: 83
diff changeset
47 then
ca7e38053195 Updates and bug fixes, should work now. Options to make.sh are --nonet and
Rob Landley <rob@landley.net>
parents: 83
diff changeset
48 echo Build nochunks htmldocs.
ca7e38053195 Updates and bug fixes, should work now. Options to make.sh are --nonet and
Rob Landley <rob@landley.net>
parents: 83
diff changeset
49 make_htmlnochunks || exit 1
72
3232f421c770 Exit if any of the patches fail to apply, show name of each patch as it's
Rob Landley <rob@landley.net>
parents: 59
diff changeset
50
86
ca7e38053195 Updates and bug fixes, should work now. Options to make.sh are --nonet and
Rob Landley <rob@landley.net>
parents: 83
diff changeset
51 echo Search for references to RFC documents
ca7e38053195 Updates and bug fixes, should work now. Options to make.sh are --nonet and
Rob Landley <rob@landley.net>
parents: 83
diff changeset
52 findrfc || exit 1
1
34a037d461f9 Some random infrastructure to build documentation from source.
Rob Landley <rob@landley.net>
parents:
diff changeset
53
86
ca7e38053195 Updates and bug fixes, should work now. Options to make.sh are --nonet and
Rob Landley <rob@landley.net>
parents: 83
diff changeset
54 # Wait for background task(s) to finish. If there aren't any, this continues
ca7e38053195 Updates and bug fixes, should work now. Options to make.sh are --nonet and
Rob Landley <rob@landley.net>
parents: 83
diff changeset
55 # immediately.
ca7e38053195 Updates and bug fixes, should work now. Options to make.sh are --nonet and
Rob Landley <rob@landley.net>
parents: 83
diff changeset
56 wait4background
81
6adf16f10d54 Split up make.sh so it's easier to call subsets of its functionality.
Rob Landley <rob@landley.net>
parents: 72
diff changeset
57
86
ca7e38053195 Updates and bug fixes, should work now. Options to make.sh are --nonet and
Rob Landley <rob@landley.net>
parents: 83
diff changeset
58 # Install the htmldocs
ca7e38053195 Updates and bug fixes, should work now. Options to make.sh are --nonet and
Rob Landley <rob@landley.net>
parents: 83
diff changeset
59 install_htmldocs || exit 1
ca7e38053195 Updates and bug fixes, should work now. Options to make.sh are --nonet and
Rob Landley <rob@landley.net>
parents: 83
diff changeset
60 fi
81
6adf16f10d54 Split up make.sh so it's easier to call subsets of its functionality.
Rob Landley <rob@landley.net>
parents: 72
diff changeset
61
12
b7f376e957ac Fix two bugs, one of them apparently in bash.
Rob Landley <rob@landley.net>
parents: 11
diff changeset
62 echo "Done with kdocs"