Use `realpath`
authorjpathy <15735913+jpathy@users.noreply.github.com>
Mon, 6 Aug 2018 06:51:07 +0000 (06:51 +0000)
committerGitHub <noreply@github.com>
Mon, 6 Aug 2018 06:51:07 +0000 (06:51 +0000)
commit7db05b2cc1befba7e9d7afbb270dd503e8ec5857
tree24458b2911a02237f1d9069f32d4d60e413c91d1
parente275692e84c935d0cdf42c2a4adf7ac949a88132
Use `realpath`

Use `os.path.realpath` instead to make sure symlinks are followed. This is also required to work for nix package manager.
backends/smt2/Makefile.inc