[haiku-commits] BRANCH jessicah-github.efi.gsoc [8b20e99] /

  • From: jessicah-github.efi.gsoc <community@xxxxxxxxxxxx>
  • To: haiku-commits@xxxxxxxxxxxxx
  • Date: Tue, 1 Jul 2014 22:31:30 +0200 (CEST)

added 1 changeset to branch 'refs/remotes/jessicah-github/efi.gsoc'
old head: c7088c7136353eb413d112cf7915a48f326b7c0f
new head: 8b20e99ab15bf2059e42ddd49a380b5795218be2
overview: https://github.com/jessicah/haiku/compare/c7088c7...8b20e99

----------------------------------------------------------------------------

8b20e99: Allow configuring for a given boot platform.

                         [ Jessica Hamilton <jessica.l.hamilton@xxxxxxxxx> ]

----------------------------------------------------------------------------

Commit:      8b20e99ab15bf2059e42ddd49a380b5795218be2
Author:      Jessica Hamilton <jessica.l.hamilton@xxxxxxxxx>
Date:        Sun Jun  1 09:52:38 2014 UTC

----------------------------------------------------------------------------

1 file changed, 6 insertions(+)
configure | 6 ++++++

----------------------------------------------------------------------------

diff --git a/configure b/configure
index 9dd3acf..3b762af 100755
--- a/configure
+++ b/configure
@@ -84,6 +84,9 @@ options:
                               first occurrence specifies the primary
                               architecture of the Haiku to build, subsequent
                               ones the secondary architectures.
+  --boot-platform <platform>  Select the target boot platform; not supported by
+                              all targets.
+                              For x86_64, valid platforms=efi,bios_ia32
   --update                    re-runs last configure invocation [must be given
                               as first option!]
   --use-gcc-pipe              Build with GCC option -pipe. Speeds up the build
@@ -623,6 +626,7 @@ while [ $# -gt 0 ] ; do
                        )
                        haikuTargetArchs="$haikuTargetArchs $targetArch"
                        ;;
+               --boot-platform=*)      HAIKU_BOOT_PLATFORM=`echo $1 | cut 
-d'=' -f2-`; shift 1;;
                --use-gcc-pipe) HAIKU_USE_GCC_PIPE=1; shift 1;;
                --use-gcc-graphite)     useGccGraphiteDefault=1; shift 1;;
                --use-32bit)    HAIKU_HOST_USE_32BIT=1; shift 1;;
@@ -870,6 +874,8 @@ HAIKU_HOST_USE_XATTR                                ?= 
"${HAIKU_HOST_USE_XATTR}" ;
 HAIKU_HOST_USE_XATTR_REF                       ?= 
"${HAIKU_HOST_USE_XATTR_REF}" ;
 HAIKU_HOST_BUILD_ONLY                          ?= "${HAIKU_HOST_BUILD_ONLY}" ;
 
+HAIKU_BOOT_PLATFORM            ?= ${HAIKU_BOOT_PLATFORM} ;
+
 HAIKU_PACKAGING_ARCHS          ?= ${HAIKU_PACKAGING_ARCHS} ;
 
 HAIKU_BUILD_ATTRIBUTES_DIR     ?= ${HAIKU_BUILD_ATTRIBUTES_DIR} ;


Other related posts: