summaryrefslogtreecommitdiffstats
path: root/build
diff options
context:
space:
mode:
authorP. J. McDermott <pjm@nac.net>2012-04-29 11:43:21 (EDT)
committer P. J. McDermott <pjm@nac.net>2012-04-29 11:43:21 (EDT)
commitab983d62c60969dbdc3834316f9a41b3c769017c (patch)
tree96ea5ff0a6d268a669d7d9cf5fa52a9ec3f74830 /build
parentbff3503bba0b09db8b0628edf051feded8360ab5 (diff)
Rewrite "build" makefile.
Diffstat (limited to 'build')
-rwxr-xr-xbuild39
1 files changed, 32 insertions, 7 deletions
diff --git a/build b/build
index 420d051..676ed7f 100755
--- a/build
+++ b/build
@@ -1,13 +1,38 @@
#! /usr/bin/make -f
-linux-libre linux-libre-headers: linux-libre.buildstamp
+linux-libre linux-libre-headers: linux-libre.stamp
-.SILENT: linux-libre.buildstamp
-linux-libre.buildstamp:
- cd src && make oldconfig && make && \
- make install && make headers_install
+linux-libre.config.stamp:
+ cd src && \
+ make mrproper && \
+ make oldconfig
+ touch linux-libre.config.stamp
+
+linux-libre.build.stamp: linux-libre.config.stamp
+ cd src && \
+ make
+ touch linux-libre.build.stamp
+
+linux-libre.install.stamp: linux-libre.build.stamp
+ install -m 644 "src/arch/$${ARCH}/boot/*Image" \
+ "dest/boot/vmlinuz-$${OH_PKGVER%%-*}"
+ cp src/.config "dest/boot/config-$${OH_PKGVER%%-*}"
+ cp src/System.map "dest/boot/System.map-$${OH_PKGVER%%-*}"
+ touch linux-libre.install.stamp
+
+linux-libre-headers.install.stamp:
+ cd src && \
+ make headers_check && \
+ make INSTALL_HDR_PATH="$$(pwd)/../dest/usr" headers_install
+ touch linux-libre-headers.install.stamp
+
+linux-libre.stamp: linux-libre.install.stamp linux-libre-headers.install.stamp
oh-installfiles linux-libre linux-libre-headers
- oh-installdocs linux-libre linux-libre-headers
+ oh-installdocs linux-libre
oh-gencontrol linux-libre linux-libre-headers
oh-buildopk linux-libre linux-libre-headers
- touch linux-libre.buildstamp
+ touch linux-libre.stamp
+
+.SILENT: linux-libre.config.stamp linux-libre.build.stamp \
+ linux-libre.install.stamp linux-libre-headers.install.stamp \
+ linux-libre.stamp