FS#70681 - [mono-tools] Drop or fix the package
Attached to Project:
Arch Linux
Opened by Balló György (City-busz) - Sunday, 02 May 2021, 14:55 GMT
Last edited by Toolybird (Toolybird) - Friday, 26 May 2023, 23:25 GMT
Opened by Balló György (City-busz) - Sunday, 02 May 2021, 14:55 GMT
Last edited by Toolybird (Toolybird) - Friday, 26 May 2023, 23:25 GMT
|
Details
Currently there are multiple problems with the package:
- monodoc cannot be run since webkit-sharp removed from the repositories ( - monodoc cannot be built since glade-sharp is disabled in gtk-sharp-2 - gendarme cannot be built since mono-nunit was removed from mono package Please either remove the mono-tools package from the official repositories, or rebuild with without the gendarme and monodoc tools with the attached patch. |
This task depends upon
Closed by Toolybird (Toolybird)
Friday, 26 May 2023, 23:25 GMT
Reason for closing: Fixed
Additional comments about closing: mono-tools 4.2-3
Friday, 26 May 2023, 23:25 GMT
Reason for closing: Fixed
Additional comments about closing: mono-tools 4.2-3
the last commit on main branch supposedly fixes Gendarme build:
https://github.com/mono/mono-tools/commit/8e265af7cd665457281f4f9e375be32ac1b8ec99