stages/0/02-linux-headers

   1 # Build script for linux-libre (headers).
   2 #
   3 # Copyright (c) 2014-2019 Matias Fonzo, <selk@dragora.org>.
   4 #
   5 # Licensed under the Apache License, Version 2.0 (the "License");
   6 # you may not use this file except in compliance with the License.
   7 # You may obtain a copy of the License at
   8 #
   9 #    http://www.apache.org/licenses/LICENSE-2.0
  10 #
  11 # Unless required by applicable law or agreed to in writing, software
  12 # distributed under the License is distributed on an "AS IS" BASIS,
  13 # WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
  14 # See the License for the specific language governing permissions and
  15 # limitations under the License.
  16
  17 version=4.19.16
  18
  19 cd -- "$TMPDIR"
  20 rm -rf linux-${version}
  21 unpack "${worktree}/sources/linux-libre-${version}-gnu.tar.lz"
  22
  23 # Build instructions
  24 cd linux-${version}
  25
  26 make -j1 mrproper
  27 make -j1 headers_check ARCH="$kernel_arch"
  28 make -j${jobs} headers_install ARCH="$kernel_arch" INSTALL_HDR_PATH=dest
  29
  30 # Copy headers
  31 mkdir -p -- "${crossdir}/${target}/include"
  32 cp -r dest/include/* "${crossdir}/${target}/include"
  33
  34 # Remove cruft
  35 find "${crossdir}/${target}/include" \
  36  -type f \( -name .install -o -name ..install.cmd \) -exec rm -f {} +
  37
  38 cleanup()
  39 {
  40     cd -- "$TMPDIR" && rm -rf linux-${version}
  41 }
  42