| commit | 941d4dea8d2fdfa79f2d3c87159e350c3bdeefe5 | |
| author | Andrea Bedini <andrea.bedini@tweag.io> | |
| Mon, 31 Jul 2023 10:10:40 +0000 (31 18:10 +0800) | ||
| committer | Mikolaj <281893+Mikolaj@users.noreply.github.com> | |
| Sat, 19 Aug 2023 09:01:55 +0000 (19 09:01 +0000) | ||
| tree | a1849ee1535670eb26dd97ef577a29719ee43e1b | treesnapshot (tar.gz zip) |
| parent | f465da4d27a488796d357a478bdf454110c4cf3e | commitdiff |
Remove RPATH workaround
Maybe 7 years ago it was relevant but it seems today it is not needed
anymore.
Maybe 7 years ago it was relevant but it seems today it is not needed
anymore.
| Cabal/src/Distribution/Simple/GHC.hs | diffblobblamehistory | |
| Cabal/src/Distribution/Simple/GHCJS.hs | diffblobblamehistory |