projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 08c1ed7) | patch
Use python realpath instead of relying on shell realpath (#3117)
authormakaimann <makaim@stanford.edu>
Fri, 2 Aug 2019 00:52:37 +0000 (17:52 -0700)
committerGitHub <noreply@github.com>
Fri, 2 Aug 2019 00:52:37 +0000 (17:52 -0700)
commitb94f38055fbe8ab975fc8c204843f58670eb8320
tree663ac98d8c7f70337e29e88e7dd713498527f75dtree
parent08c1ed76932102948bca5157a5da64033ea1c408commit | diff
Use python realpath instead of relying on shell realpath (#3117)

* Use a custom implementation instead of relying on realpath, because it doesn't exist on Mac

* Use local variables and move portable_realpath to its own file

* Replace portable_realpath with python realpath

* Consistent command substitution

Co-Authored-By: Andres Noetzli <andres.noetzli@gmail.com>
* Substitute pwd directly
contrib/get-antlr-3.4 diff | blob | history