This repository was archived by the owner on Feb 3, 2022. It is now read-only.
This repository was archived by the owner on Feb 3, 2022. It is now read-only.
failure of symLinkInto, if not exists $prefix/share/man/man1 #133
Description
Default ubuntu 14.04 does not have /usr/local/share/man/man1 directory.
So activate-hs fails in that line (hptool/os-extras/posix/bin/activate-hs) :
symLinkInto "$ghcRoot"/share/man/man1/* "$prefix/share/man/man1"Definition of symLinkInto:
symLinkInto() {
run ln -sf "$@"
}