Date: Thu, 9 Mar 2006 11:00:22 GMT From: johans@stack.nl, van@stack.nl, Selst@stack.nl To: freebsd-ports-bugs@FreeBSD.org Subject: Re: ports/93954: math/coq: update to version 8.0p3 Message-ID: <200603091100.k29B0M8F014087@freefall.freebsd.org>
next in thread | raw e-mail | index | archive | help
The following reply was made to PR ports/93954; it has been noted by GNATS. From: johans@stack.nl, van@stack.nl, Selst@stack.nl To: bug-followup@FreeBSD.org,johans@stack.nl Cc: Subject: Re: ports/93954: math/coq: update to version 8.0p3 Date: Thu, 9 Mar 2006 11:56:16 +0100 (CET) Extra pointyhats to me. The dependencies cause all sorts of weird problems that I couldn't fix (when using ocaml-nox11). This should be no surprise however. Please leave WITH_IDE=yes in.
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200603091100.k29B0M8F014087>