I was able to get vampire installed, but I ran into a hiccup when I ran "pip install .":
UPDATING build/lib/vampire/_version_build.py
error: [Errno 2] No such file or directory: 'build/lib/vampire/_version_build.py'
I duct-taped it by running "touch build/lib/vampire/_version_build.py" and then running pip install again. It appeared to install without errors after that.
I was able to get vampire installed, but I ran into a hiccup when I ran "pip install .":
I duct-taped it by running "touch build/lib/vampire/_version_build.py" and then running pip install again. It appeared to install without errors after that.