|
|
local myconf | local myconf |
use opengl && myconf="--enable-hopengl" || myconf="--disable-hopengl" | use opengl && myconf="--enable-hopengl" || myconf="--disable-hopengl" |
| |
if test x$need_stage2 = xyes; then |
if test x$need_stage1 = xyes; then |
echo ">>> Bootstrapping intermediate GHC ${PV} using GHC ${BASE_GHC_VERSION}" | echo ">>> Bootstrapping intermediate GHC ${PV} using GHC ${BASE_GHC_VERSION}" |
| |
pushd "${STAGE1_B}" || die | pushd "${STAGE1_B}" || die |
./configure \ | ./configure \ |
-host="${CHOST}" \ | -host="${CHOST}" \ |
--prefix="${STAGE2_D}/usr" \ |
--prefix="${STAGE1_D}/usr" \ |
--with-ghc="${GHC}" \ | --with-ghc="${GHC}" \ |
--without-happy || die "intermediat stage configure failed" |
--without-happy || die "intermediate stage configure failed" |
#parallel make causes trouble | #parallel make causes trouble |
make || die "intermediate stage make failed" | make || die "intermediate stage make failed" |
make install || die | make install || die |
|
|
} | } |
| |
src_install () { | src_install () { |
make install \ |
pushd "${STAGE2_B}" || die |
prefix="${D}/usr" \ |
make install \ |
infodir="${D}/usr/share/info" \ |
prefix="${D}/usr" \ |
mandir="${D}/usr/share/man" || die |
infodir="${D}/usr/share/info" \ |
|
mandir="${D}/usr/share/man" || die |
|
popd |
| |
#need to remove ${D} from ghcprof script | #need to remove ${D} from ghcprof script |
cd ${D}/usr/bin | cd ${D}/usr/bin |