Closed suhlig closed 6 years ago
tag.sh should not be executed outside of a git repository. I will fix Makefile.
I don't understand the second error. I can reproduce it but I don't see any difference between the tarball and the git repository... Need more time to understand.
Oops I just have seen that tools/blob.hs is missing too. That fixes the second error.
That's fixed.
As advised by the docs I downloaded pp from http://cdsoft.fr/pp/pp.tgz and extracted it; yet
make
failed withLooks like the tarball does not include
tag.sh
. Cloning the git repo worked fine, so I guess the tarball is incomplete?