diff options
author | Que Quotion | 2016-03-21 00:05:58 +0900 |
---|---|---|
committer | Que Quotion | 2016-03-21 00:05:58 +0900 |
commit | 8bb63243303fb313baf09a95c3e49ae923b0781a (patch) | |
tree | bb452c9a742a7efce00a8d266d9b220d899553d2 /opticonf.patch | |
download | aur-8bb63243303fb313baf09a95c3e49ae923b0781a.tar.gz |
makepkg-optimize
A fork of makepkg for the inclusion of extraneous optimization
routines. Intended for users who want or need extreme amounts
of compiler optimization, executable compression, etc.
Diffstat (limited to 'opticonf.patch')
-rw-r--r-- | opticonf.patch | 43 |
1 files changed, 43 insertions, 0 deletions
diff --git a/opticonf.patch b/opticonf.patch new file mode 100644 index 000000000000..a768fa64d81f --- /dev/null +++ b/opticonf.patch @@ -0,0 +1,43 @@ +--- makepkg-optimize ++++ makepkg-optimize +@@ -1862,7 +1862,7 @@ + printf -- "$(gettext " -V, --version Show version information and exit")\n" + printf -- "$(gettext " --allsource Generate a source-only tarball including downloaded sources")\n" + printf -- "$(gettext " --check Run the %s function in the %s")\n" "check()" "$BUILDSCRIPT" +- printf -- "$(gettext " --config <file> Use an alternate config file (instead of '%s')")\n" "$confdir/makepkg.conf" ++ printf -- "$(gettext " --config <file> Use an alternate config file (instead of '%s')")\n" "$confdir/makepkg-optimize.conf" + printf -- "$(gettext " --holdver Do not update VCS sources")\n" + printf -- "$(gettext " --key <key> Specify a key to use for %s signing instead of the default")\n" "gpg" + printf -- "$(gettext " --noarchive Do not create package archive")\n" +@@ -2010,8 +2010,8 @@ + [[ -n ${PACKAGER} ]] && _PACKAGER=${PACKAGER} + [[ -n ${CARCH} ]] && _CARCH=${CARCH} + +-# default config is makepkg.conf +-MAKEPKG_CONF=${MAKEPKG_CONF:-$confdir/makepkg.conf} ++# default config is makepkg-optimize.conf ++MAKEPKG_CONF=${MAKEPKG_CONF:-$confdir/makepkg-optimize.conf} + + # Source the config file; fail if it is not found + if [[ -r $MAKEPKG_CONF ]]; then +@@ -2022,14 +2022,14 @@ + exit 1 # $E_CONFIG_ERROR + fi + +-# Source user-specific makepkg.conf overrides, but only if no override config ++# Source user-specific makepkg-optimize.conf overrides, but only if no override config + # file was specified + XDG_PACMAN_DIR="${XDG_CONFIG_HOME:-$HOME/.config}/pacman" +-if [[ "$MAKEPKG_CONF" = "$confdir/makepkg.conf" ]]; then +- if [[ -r "$XDG_PACMAN_DIR/makepkg.conf" ]]; then +- source_safe "$XDG_PACMAN_DIR/makepkg.conf" +- elif [[ -r "$HOME/.makepkg.conf" ]]; then +- source_safe "$HOME/.makepkg.conf" ++if [[ "$MAKEPKG_CONF" = "$confdir/makepkg-optimize.conf" ]]; then ++ if [[ -r "$XDG_PACMAN_DIR/makepkg-optimize.conf" ]]; then ++ source_safe "$XDG_PACMAN_DIR/makepkg-optimize.conf" ++ elif [[ -r "$HOME/.makepkg-optimize.conf" ]]; then ++ source_safe "$HOME/.makepkg-optimize.conf" + fi + fi + |