diff options
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 25 |
1 files changed, 20 insertions, 5 deletions
@@ -1,7 +1,6 @@ #! /bin/sh -set -o errexit -set -o nounset +set -eu exec 3>config.mk @@ -10,9 +9,25 @@ case "$( uname )" in echo 'BINGRP = bin' 1>&3 echo 'MANGRP = bin' 1>&3 ;; - Linux) - echo 'BINMODE = 755' 1>&3 - echo 'MANMODE = 644' 1>&3 + FreeBSD) + echo 'BINGRP = wheel' 1>&3 echo 'MANDIR = share/man/man' 1>&3 + echo 'MANGRP = wheel' 1>&3 + ;; + Linux) + case "$( sed -n 's/^ID=//p' /etc/os-release )" in + void) + echo 'BINMODE = 755' 1>&3 + echo 'MANMODE = 644' 1>&3 + echo 'MANDIR = share/man/man' 1>&3 + ;; + arch) + echo 'PREFIX = /usr' 1>&3 + echo 'BINMODE = 755' 1>&3 + echo 'MANDIR = share/man/man' 1>&3 + echo 'MANMODE = 644' 1>&3 + echo 'MANGZ = 1' 1>&3 + ;; + esac ;; esac |