seabios 2.8 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119
  1. #!/usr/bin/env bash
  2. # Copyright (C) 2016 Paul Kocialkowski <contact@paulk.fr>
  3. #
  4. # This program is free software: you can redistribute it and/or modify
  5. # it under the terms of the GNU General Public License as published by
  6. # the Free Software Foundation, either version 3 of the License, or
  7. # (at your option) any later version.
  8. #
  9. # This program is distributed in the hope that it will be useful,
  10. # but WITHOUT ANY WARRANTY; without even the implied warranty of
  11. # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
  12. # GNU General Public License for more details.
  13. #
  14. # You should have received a copy of the GNU General Public License
  15. # along with this program. If not, see <http://www.gnu.org/licenses/>.
  16. arguments() {
  17. project_arguments_targets "$project" "$@"
  18. }
  19. usage() {
  20. project_usage_actions "$project"
  21. project_usage_arguments "$project" "$@"
  22. }
  23. download() {
  24. local repository="$project"
  25. project_download_git "$project" "$repository" 'https://review.coreboot.org/seabios.git' "$@"
  26. }
  27. download_check() {
  28. local repository="$project"
  29. project_download_check_git "$project" "$repository" "$@"
  30. }
  31. extract() {
  32. project_extract "$project" "$@"
  33. }
  34. extract_check() {
  35. project_extract_check "$project" "$@"
  36. }
  37. update() {
  38. local repository="$project"
  39. project_update_git "$project" "$repository" "$@"
  40. }
  41. update_check() {
  42. local repository="$project"
  43. project_update_check_git "$project" "$repository" "$@"
  44. }
  45. build() {
  46. local target="$1"
  47. local repository="$project"
  48. project_sources_directory_missing_empty_error "$project" "$repository" "$@"
  49. if git_project_check "$repository"; then
  50. git_project_checkout "$project" "$repository" "$@"
  51. fi
  52. local project_path="$(project_path "$project")"
  53. local seabios_config_path="$(project_file_path "$project" "$CONFIGS" 'config' "$@")"
  54. local sources_path="$(project_sources_path "$project" "$repository" "$@")"
  55. local build_path="$(project_build_path "$project" "$@")"
  56. mkdir -p "$build_path"
  57. cp "$seabios_config_path" "$sources_path/.config"
  58. make -C "$sources_path" -j"$TASKS"
  59. if [[ "$target" == 'bios' ]]; then
  60. cp "$sources_path/out/bios.bin.elf" "$build_path"
  61. elif [[ "$target" == 'vgabios' ]]; then
  62. cp "$sources_path/out/vgabios.bin" "$build_path"
  63. fi
  64. make -C "$sources_path" distclean
  65. rm -f "$sources_path/.config"
  66. }
  67. build_check() {
  68. project_build_check "$project" "$@"
  69. }
  70. install() {
  71. project_install "$project" "$@"
  72. }
  73. install_check() {
  74. project_install_check "$project" "$@"
  75. }
  76. release() {
  77. local repository="$project"
  78. project_release_install_archive "$project" "$IMAGES" "$@"
  79. project_release_sources_git "$project" "$repository" "$@"
  80. }
  81. release_check() {
  82. local repository="$project"
  83. project_release_install_archive_check "$project" "$IMAGES" "$@"
  84. project_release_check_sources_git "$project" "$repository" "$@"
  85. }
  86. clean() {
  87. project_clean "$project" "$@"
  88. }