mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-11-03 21:09:11 +00:00
Code Activity

remove use of deprecated linux_distribution

Browse source
This commit is contained in:
Nikolaj Bjorner 2021-02-11 09:40:23 -08:00
parent 53e98a27db
commit 9cdb875ba2
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
scripts/mk_unix_dist.py
View file

@ -148,8 +148,8 @@ def get_os_name():
import platform
basic = os.uname()[0].lower()
if basic == 'linux':
dist = platform.linux_distribution()
if len(dist) == 3 and len(dist[0]) > 0 and len(dist[1]) > 0:
dist = platform.libc_ver()
if len(dist) == 2 and len(dist[0]) > 0 and len(dist[1]) > 0:
return '%s-%s' % (dist[0].lower(), dist[1].lower())
else:
return basic