Jens Petersen
Jens Petersen
It may well make sense to install lean4 under say `$libdir/lean4/` for now. Then add symlinks to the system bindir say. I am considering trying that for Fedora anyway (ie...
You want `< 4.15`.
Expanding a little: `base-4.14.2.0` is the version in ghc-8.10.5, whereas you tightened the bound making it not even build with ghc-8.10.4 now.
I would suggest to combine the stats per package. Isn't the concern more about how to process than how to show?
This is not just about adding duplicate packages? A more generic problem, or is it?
> Does something in the build process change the `racket` executable after it's installed? Maybe an extra operation like `strip`? Of course we strip and I suspect more these days....
I also tried a Fedora 38 [build](116866533) ([logs](https://kojipkgs.fedoraproject.org//work/tasks/6533/116866533/)) but again got the same runtime segfault result. So maybe it is not the Fedora buildsystem but perhaps something wrong in the...
This is the most relevant parts of the current .spec I am using: ```rpm-spec %prep %autosetup -p1 # Remove bundled libffi rm -r src/bc/foreign/libffi %build cd src %configure \ --enable-pthread...
Thanks @LiberalArtist - that worked great! I wonder if there are any build-time tests I should run or at least way to verify the executable works. Well maybe even just...
I can't use the network in the Fedora Buildsystem, though potentially some such CI test could be added.