diff options
author | Hans Hagen <pragma@wxs.nl> | 2018-05-12 01:19:03 +0200 |
---|---|---|
committer | Context Git Mirror Bot <phg42.2a@gmail.com> | 2018-05-12 01:19:03 +0200 |
commit | 77e216e323271fb85d508b7206b13c980540b74b (patch) | |
tree | 5b4053c2bbe5190e28c0dce89653c7b13aea0642 /scripts/context/stubs/setup | |
parent | d817aef76ab8b606c02bd0636661b634b43a68a6 (diff) | |
download | context-77e216e323271fb85d508b7206b13c980540b74b.tar.gz |
2018-05-12 00:16:00
Diffstat (limited to 'scripts/context/stubs/setup')
-rw-r--r-- | scripts/context/stubs/setup/setuptex | 18 | ||||
-rw-r--r-- | scripts/context/stubs/setup/setuptex.csh | 13 |
2 files changed, 29 insertions, 2 deletions
diff --git a/scripts/context/stubs/setup/setuptex b/scripts/context/stubs/setup/setuptex index 9808140e4..fb65788b6 100644 --- a/scripts/context/stubs/setup/setuptex +++ b/scripts/context/stubs/setup/setuptex @@ -24,9 +24,23 @@ cpu=`uname -m` case "$system" in # linux Linux) + if command -v ldd >/dev/null && ldd --version 2>&1 | grep -E '^musl' >/dev/null + then + libc=musl + else + libc=glibc + fi case "$cpu" in - i*86) platform="linux" ;; - x86_64|ia64) platform="linux-64" ;; + i*86) + case "$libc" in + glibc) platform="linux" ;; + musl) platform="linuxmusl" ;; + esac ;; + x86_64|ia64) + case "$libc" in + glibc) platform="linux-64" ;; + musl) platform="linuxmusl-64" ;; + esac ;; # a little bit of cheating with ppc64 (won't work on Gentoo) ppc|ppc64) platform="linux-ppc" ;; diff --git a/scripts/context/stubs/setup/setuptex.csh b/scripts/context/stubs/setup/setuptex.csh index c1160675f..62ca03569 100644 --- a/scripts/context/stubs/setup/setuptex.csh +++ b/scripts/context/stubs/setup/setuptex.csh @@ -82,6 +82,19 @@ switch ( $system ) set platform="unknown" endsw breaksw + # OpenBSD + case OpenBSD: + switch ( $cpu ) + case i*86: + set platform="openbsd" + breaksw + case amd64: + set platform="openbsd-amd64" + breaksw + default: + set platform="unknown" + endsw + breaksw # cygwin case CYGWIN: switch ( $cpu ) |