diff options
author | Francis Rowe <info@gluglug.org.uk> | 2015-12-13 22:18:48 +0000 |
---|---|---|
committer | Francis Rowe <info@gluglug.org.uk> | 2015-12-13 22:23:14 +0000 |
commit | 34e0269745c16a8a70438dfb5a32931907e33161 (patch) | |
tree | d4d54b56e0b36903438158cd163c2e9e58ebf685 /resources/scripts | |
parent | dceca1731aa0c2e888eb06a66ade2e9901199df3 (diff) | |
download | librebootfr-34e0269745c16a8a70438dfb5a32931907e33161.tar.gz librebootfr-34e0269745c16a8a70438dfb5a32931907e33161.zip |
remove seabios (this time permanently)
Diffstat (limited to 'resources/scripts')
-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 | ||||
-rwxr-xr-x | resources/scripts/helpers/download/seabios | 59 |
7 files changed, 0 insertions, 227 deletions
diff --git a/resources/scripts/helpers/build/clean/seabios b/resources/scripts/helpers/build/clean/seabios deleted file mode 100755 index 02c5baf8..00000000 --- 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 750fcad6..00000000 --- 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 160cb53e..00000000 --- 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 d869c03a..00000000 --- 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 b2e893a4..f2f5b31b 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 6dee9a08..530449e6 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 diff --git a/resources/scripts/helpers/download/seabios b/resources/scripts/helpers/download/seabios deleted file mode 100755 index 1fc6ca46..00000000 --- a/resources/scripts/helpers/download/seabios +++ /dev/null @@ -1,59 +0,0 @@ -#!/bin/bash - -# helper script: Downloads SeaBIOS and patches it. -# -# 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 libreboot git. - -[ "x${DEBUG+set}" = 'xset' ] && set -v -set -u -e - -# Get SeaBIOS, revert to commit last used and apply patches. - -# Remove the old version that may still exist -# ------------------------------------------------------------------------------ - -printf "Downloading SeaBIOS\n" - -rm -rf seabios - -# Get latest SeaBIOS -# ------------------------------------------------------------------------------ - -# download it using git -git clone git://git.seabios.org/seabios.git seabios - -# modifications are required -cd seabios/ - -# Reset to the last commit that was tested -# ------------------------------------------------------------------------------ - -git reset --hard 948f3c9b5f74f265bd171ee367a632a8f7c81f68 - -# Apply patches -# ------------------------------------------------------------------------------ - -# no patches are used in this revision of libreboot - -cd ../ -printf "\n\n" - -# ------------------- DONE ---------------------- - |