[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

bug#33745: Unnecessary dependencies in Coq

From: Dan Frumin
Subject: bug#33745: Unnecessary dependencies in Coq
Date: Fri, 14 Dec 2018 15:59:17 +0100
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.2.1

I believe that the current Coq package [1] pulls in way too many dependencies.

Firstly, as it was already mentioned on Guix-devel [2], the package pulls in 
texlive and Hevea.
I think those are needed only for building the pdf reference manual.

Secondly, the Coq package depends on lablgtk -- I guess this is needed for 
building CoqIDE.
Unfortunately, it seems that due to this dependency, the package pulls in all 
sorts of stuff, including gstreamer and jack!
The dependency graph generated by `guix graph coq` is absolutely huge.

I think it would be beneficial to split the CoqIDE into a separate package for 
this reason.

[1]: https://git.savannah.gnu.org/cgit/guix.git/tree/gnu/packages/ocaml.scm#n628
[2]: https://lists.gnu.org/archive/html/guix-devel/2018-12/msg00291.html

reply via email to

[Prev in Thread] Current Thread [Next in Thread]