03-linux-headers 1.2 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243
  1. # Build script for linux-libre (headers).
  2. #
  3. # Copyright (c) 2014-2018 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. version=4.14.35
  17. cd -- "$TMPDIR"
  18. rm -rf linux-${version}
  19. unpack "${worktree}/sources/linux-libre-${version}-gnu.tar.lz"
  20. # Build instructions
  21. cd linux-${version}
  22. make -j1 mrproper
  23. make -j1 headers_check ARCH="$kernel_arch"
  24. make -j${jobs} headers_install ARCH="$kernel_arch" INSTALL_HDR_PATH=dest
  25. # Copy headers
  26. mkdir -p -- "${rootdir}/tools/include"
  27. cp -r dest/include/* "${rootdir}/tools/include"
  28. # Remove cruft
  29. find "${rootdir}/tools/include" \
  30. -type f \( -name .install -o -name ..install.cmd \) -exec rm -f {} +
  31. cleanup()
  32. {
  33. cd -- "$TMPDIR" && rm -rf linux-${version}
  34. }