
On Thu, 4 Aug 2022, Ben Gamari wrote:
Henning Thielemann
writes: I guess that 'install' is better, yes.
Henning,
Could you perhaps try testing the Debian 11 binary distribution from !8763 (specifically, the artifact from [1] when it is finished)? I believe this change will fix your issue.
I downloaded and tested the archive. The installation from this archive works in the sense that I can run ghc-9.5, but then it looks not right. E.g. most files in /usr/local/ghc-9.5/lib/ghc-9.5.20220804/lib/ are owned by the private user who unpacked the tarball and ran configure. The permissions are exclusive to this user. Instead, they should belong to 'root' and have read and executable permissions for all users. I installed by the usual steps: $ tar xf ... $ ./configure --prefix=/usr/local/ghc-9.5 $ sudo make install The 'sudo' before 'make' should install all files for user 'root', not the private user.