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
Task Type Bug Report
Category Packages: Extra
Status Closed
Assigned To Jan de Groot (JGC)
Levente Polyak (anthraxx)
Architecture All
Severity Medium
Priority Normal
Reported Version
Due in Version Undecided
Due Date Undecided
Percent Complete 100%
Votes 1
Private No

Details

Currently there are multiple problems with the package:

- monodoc cannot be run since webkit-sharp removed from the repositories ( FS#53647 )

- 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.
   drop-docbrowser-gendarme.patch (1.8 KiB)
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
Comment by Marcell Meszaros (MarsSeed) - Sunday, 03 April 2022, 10:30 GMT
It's not as if I need this tool, but
the last commit on main branch supposedly fixes Gendarme build:

https://github.com/mono/mono-tools/commit/8e265af7cd665457281f4f9e375be32ac1b8ec99

Loading...