Subject: bug#33745: Unnecessary dependencies in Coq

From: Dan Frumin <[email-masked]>
Date: Fri, 14 Dec 2018 17:45:00 +0100

Oh, I forgot about another potential issue: right now the Coq package _hardcodes_ the use of Icecat as a default browser:

        (modify-phases %standard-phases
          (replace 'configure
            (lambda* (#:key outputs #:allow-other-keys)
              (let* ((out (assoc-ref outputs "out"))
                     (mandir (string-append out "/share/man"))
                     (browser "icecat -remote \"OpenURL(%s,new-tab)\""))
                (invoke "./configure"
                        "-prefix" out
                        "-mandir" mandir
                        "-browser" browser
                        "-coqide" "opt")))) ..

Can this be avoided somehow?