diff options
author | Francis Rowe <info@gluglug.org.uk> | 2015-12-13 17:18:48 (EST) |
---|---|---|
committer | Francis Rowe <info@gluglug.org.uk> | 2015-12-13 17:23:14 (EST) |
commit | 34e0269745c16a8a70438dfb5a32931907e33161 (patch) | |
tree | d4d54b56e0b36903438158cd163c2e9e58ebf685 /resources/scripts/helpers/build | |
parent | dceca1731aa0c2e888eb06a66ade2e9901199df3 (diff) | |
download | libreboot-34e0269745c16a8a70438dfb5a32931907e33161.zip libreboot-34e0269745c16a8a70438dfb5a32931907e33161.tar.gz libreboot-34e0269745c16a8a70438dfb5a32931907e33161.tar.bz2 |
remove seabios (this time permanently)
Diffstat (limited to 'resources/scripts/helpers/build')
-rwxr-xr-x | resources/scripts/helpers/build/clean/seabios | 40 | ||||
-rwxr-xr-x | resources/scripts/helpers/build/config/seabiosmodify | 38 | ||||
-rwxr-xr-x | resources/scripts/helpers/build/config/seabiosupdate | 36 | ||||
-rwxr-xr-x | resources/scripts/helpers/build/module/seabios | 49 | ||||
-rwxr-xr-x | resources/scripts/helpers/build/release/src | 1 | ||||
-rwxr-xr-x | resources/scripts/helpers/build/roms/withgrub_helper | 4 |
6 files changed, 0 insertions, 168 deletions
diff --git a/resources/scripts/helpers/build/clean/seabios b/resources/scripts/helpers/build/clean/seabios deleted file mode 100755 index 02c5baf..0000000 --- a/resources/scripts/helpers/build/clean/seabios +++ /dev/null @@ -1,40 +0,0 @@ -#!/bin/bash - -# helper script: clean the dependencies that were built in seabios -# -# Copyright (C) 2015 Francis Rowe <info@gluglug.org.uk> -# -# This program is free software: you can redistribute it and/or modify -# it under the terms of the GNU General Public License as published by -# the Free Software Foundation, either version 3 of the License, or -# (at your option) any later version. -# -# This program is distributed in the hope that it will be useful, -# but WITHOUT ANY WARRANTY; without even the implied warranty of -# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the -# GNU General Public License for more details. -# -# You should have received a copy of the GNU General Public License -# along with this program. If not, see <http://www.gnu.org/licenses/>. -# - -# This script assumes that the current working directory is the root -# of libreboot_src or libreboot git - -[ "x${DEBUG+set}" = 'xset' ] && set -v -set -u -e - -# clean bucts -# -------------------------------------------------------- - -printf "Cleaning the previous build of seabios\n" - -cd seabios/ -make distclean - -printf "\n\n" - -# done. go back to main directory. -cd ../ - -# ------------------- DONE ---------------------- diff --git a/resources/scripts/helpers/build/config/seabiosmodify b/resources/scripts/helpers/build/config/seabiosmodify deleted file mode 100755 index 750fcad..0000000 --- a/resources/scripts/helpers/build/config/seabiosmodify +++ /dev/null @@ -1,38 +0,0 @@ -#!/bin/bash - -# -# helper script: update the seabios config -# -# Copyright (C) 2014, 2015 Francis Rowe <info@gluglug.org.uk> -# -# This program is free software: you can redistribute it and/or modify -# it under the terms of the GNU General Public License as published by -# the Free Software Foundation, either version 3 of the License, or -# (at your option) any later version. -# -# This program is distributed in the hope that it will be useful, -# but WITHOUT ANY WARRANTY; without even the implied warranty of -# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the -# GNU General Public License for more details. -# -# You should have received a copy of the GNU General Public License -# along with this program. If not, see <http://www.gnu.org/licenses/>. -# - -# This script assumes that the working directory is the root -# of libreboot_src or git - -[ "x${DEBUG+set}" = 'xset' ] && set -v -set -u -e - -cd seabios/ - -if [ -f ../resources/seabios/config/config ]; then - cp ../resources/seabios/config/config .config -fi - -make menuconfig - -mv .config ../resources/seabios/config/config - -cd ../ diff --git a/resources/scripts/helpers/build/config/seabiosupdate b/resources/scripts/helpers/build/config/seabiosupdate deleted file mode 100755 index 160cb53..0000000 --- a/resources/scripts/helpers/build/config/seabiosupdate +++ /dev/null @@ -1,36 +0,0 @@ -#!/bin/bash - -# -# helper script: update the seabios config -# -# Copyright (C) 2014, 2015 Francis Rowe <info@gluglug.org.uk> -# -# This program is free software: you can redistribute it and/or modify -# it under the terms of the GNU General Public License as published by -# the Free Software Foundation, either version 3 of the License, or -# (at your option) any later version. -# -# This program is distributed in the hope that it will be useful, -# but WITHOUT ANY WARRANTY; without even the implied warranty of -# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the -# GNU General Public License for more details. -# -# You should have received a copy of the GNU General Public License -# along with this program. If not, see <http://www.gnu.org/licenses/>. -# - -# This script assumes that the working directory is the root -# of libreboot_src or git - -[ "x${DEBUG+set}" = 'xset' ] && set -v -set -u -e - -cd seabios/ - -if [ -f ../resources/seabios/config/config ]; then - cp ../resources/seabios/config/config .config - make oldconfig - mv .config ../resources/seabios/config/config -fi - -cd ../ diff --git a/resources/scripts/helpers/build/module/seabios b/resources/scripts/helpers/build/module/seabios deleted file mode 100755 index d869c03..0000000 --- a/resources/scripts/helpers/build/module/seabios +++ /dev/null @@ -1,49 +0,0 @@ -#!/bin/bash - -# helper script: builds SeaBIOS source code -# -# Copyright (C) 2015 Francis Rowe <info@gluglug.org.uk> -# -# This program is free software: you can redistribute it and/or modify -# it under the terms of the GNU General Public License as published by -# the Free Software Foundation, either version 3 of the License, or -# (at your option) any later version. -# -# This program is distributed in the hope that it will be useful, -# but WITHOUT ANY WARRANTY; without even the implied warranty of -# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the -# GNU General Public License for more details. -# -# You should have received a copy of the GNU General Public License -# along with this program. If not, see <http://www.gnu.org/licenses/>. -# - -# This script assumes that the working directory is the root -# of libreboot_src or git - -[ "x${DEBUG+set}" = 'xset' ] && set -v -set -u -e - -# Build SeaBIOS -# --------------------------------------------------------------------- - -printf "Building SeaBIOS\n" - -cd seabios/ - -cp ../resources/seabios/config/config .config - -# clean it first -[[ -f Makefile ]] && make clean - -# build SeaBIOS -make - -printf "\n\n" - -rm -f .config - -# done. go back to main directory -cd ../ - -# ------------------- DONE ---------------------- diff --git a/resources/scripts/helpers/build/release/src b/resources/scripts/helpers/build/release/src index b2e893a..f2f5b31 100755 --- a/resources/scripts/helpers/build/release/src +++ b/resources/scripts/helpers/build/release/src @@ -82,7 +82,6 @@ rm -Rf "${distdir}/bucts/".git* rm -Rf "${distdir}/flashrom/".git* rm -Rf "${distdir}/grub/".git* rm -Rf "${distdir}/depthcharge/".git* -rm -Rf "${distdir}/seabios/".git* # Delete useless files. rm -Rf "${distdir}/TODO/" diff --git a/resources/scripts/helpers/build/roms/withgrub_helper b/resources/scripts/helpers/build/roms/withgrub_helper index 6dee9a0..530449e 100755 --- a/resources/scripts/helpers/build/roms/withgrub_helper +++ b/resources/scripts/helpers/build/roms/withgrub_helper @@ -101,10 +101,6 @@ do fi fi - # Add SeaBIOS to the image - ./util/cbfstool/cbfstool "${boardtarget}_${romtype}.rom" add -f ../seabios/out/bios.bin.elf -n bios.bin.elf -t raw - ./util/cbfstool/cbfstool "${boardtarget}_${romtype}.rom" add -f ../seabios/out/vgabios.bin -n vgaroms/vgabios.bin -t raw - # Path to coreinfo payload coreinfo=payloads/coreinfo/build/coreinfo.elf |