max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

chore: preparing for new naming convention

Browse source
This commit is contained in:
Leonardo de Moura 2019-10-04 14:22:23 -07:00
parent b44e9c8d64
commit 93207e99f4
1 changed files with 0 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
library/relative.py
View file

@ -11,7 +11,4 @@ for x in sys.stdin:
x = re.sub(r"^(\w):", lambda m: "/" + m[1].lower(), x).replace('\\', '/').strip()
curr = os.path.realpath(os.curdir)
curr = os.path.normpath(curr)
if sys.platform == "darwin":
# HACK: macos paths are case insensitive, but Python's normalization does not convert characters to lowercase
curr = curr.lower()
print(os.path.relpath(x, curr))