[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

./configure building for i386-pc instead of x86_64-efi

From: Rick Lee
Subject: ./configure building for i386-pc instead of x86_64-efi
Date: Mon, 16 Jul 2018 18:47:59 -0600

I've been scouring through the bash script trying to figure out how it "guesses" the platform. You would think a simple `ll /boot/grub` would tell it?

Anyway I tried using: `./configure --build=x86_64-efi` but I got:

    checking build system type... Invalid configuration `x86_64-efi': system `efi' not recognized
    configure: error: /bin/bash build-aux/config.sub x86_64-efi failed

So I'll keep sifting through the gigantic bash script... I think I should use `--with-platform=efi`. Also I guess I should use `computer` somewhere for the `x86_64`.

Thanks in advance for any guidance,

- Rick

reply via email to

[Prev in Thread] Current Thread [Next in Thread]