Commit 24f50cf6 authored by Masahiro Yamauchi's avatar Masahiro Yamauchi Committed by Mikhail Glushenkov
Browse files

Add arguments EXTRA_BUILD_OPTS and EXTRA_INSTALL_OPTS.

Also add SCOPE_OF_INSTALLATION to 'setup install'.
parent fd174fc0
......@@ -9,6 +9,8 @@
# install settings, you can override these by setting environment vars
#VERBOSE
#EXTRA_CONFIGURE_OPTS
#EXTRA_BUILD_OPTS
#EXTRA_INSTALL_OPTS
# programs, you can override these by setting environment vars
GHC=${GHC:-ghc}
......@@ -162,10 +164,10 @@ install_pkg () {
${EXTRA_CONFIGURE_OPTS} ${VERBOSE} \
|| die "Configuring the ${PKG} package failed"
./Setup build ${VERBOSE} \
./Setup build ${EXTRA_BUILD_OPTS} ${VERBOSE} \
|| die "Building the ${PKG} package failed"
./Setup install ${VERBOSE} \
./Setup install ${SCOPE_OF_INSTALLATION} ${EXTRA_INSTALL_OPTS} ${VERBOSE} \
|| die "Installing the ${PKG} package failed"
}
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment