Go to:
Gentoo Home
Documentation
Forums
Lists
Bugs
Planet
Store
Wiki
Get Gentoo!
Gentoo's Bugzilla – Attachment 180859 Details for
Bug 257540
[version bump] sci-mathematics/coq-8.2
Home
|
New
–
[Ex]
|
Browse
|
Search
|
Privacy Policy
|
[?]
|
Reports
|
Requests
|
Help
|
New Account
|
Log In
[x]
|
Forgot Password
Login:
[x]
sci-mathematics/coq/coq-8.2_rc2.ebuild
coq-8.2_rc2.ebuild (text/plain), 1.50 KB, created by
Jonathan-Christofer Demay
on 2009-02-03 23:02:08 UTC
(
hide
)
Description:
sci-mathematics/coq/coq-8.2_rc2.ebuild
Filename:
MIME Type:
Creator:
Jonathan-Christofer Demay
Created:
2009-02-03 23:02:08 UTC
Size:
1.50 KB
patch
obsolete
># Copyright 1999-2009 Gentoo Foundation ># Distributed under the terms of the GNU General Public License v2 ># $Header: $ > >EAPI="2" > >inherit eutils multilib > >RESTRICT="strip installsources" > >DESCRIPTION="Coq is a proof assistant written in O'Caml" >HOMEPAGE="http://coq.inria.fr/" >SRC_URI="http://${PN}.inria.fr/V${PV/_/}/files/${P/_/}.tar.gz" > >LICENSE="LGPL-2.1" >SLOT="0" >KEYWORDS="~amd64 ~ppc ~sparc ~x86" >IUSE="norealanalysis gtk debug +ocamlopt doc" > >DEPEND=">=dev-lang/ocaml-3.10[ocamlopt?] > >=dev-ml/camlp5-5.09[ocamlopt?] > gtk? ( >=dev-ml/lablgtk-2.10.1[ocamlopt?] ) > doc? ( dev-tex/hevea )" > >S="${WORKDIR}/${P/_/}" > >src_configure() { > ocaml_lib=`ocamlc -where` > local myconf="--prefix /usr \ > --bindir /usr/bin \ > --libdir /usr/$(get_libdir)/coq \ > --mandir /usr/share/man \ > --emacslib /usr/share/emacs/site-lisp \ > --coqdocdir /usr/$(get_libdir)/coq/coqdoc > --camlp5dir ${ocaml_lib}/camlp5 > --lablgtkdir ${ocaml_lib}/lablgtk2" > > use debug && myconf="--debug $myconf" > use norealanalysis && myconf="$myconf --reals no" > use norealanalysis || myconf="$myconf --reals all" > > if use gtk; then > use ocamlopt && myconf="$myconf --coqide opt" > use ocamlopt || myconf="$myconf --coqide byte" > else > myconf="$myconf --coqide no" > fi > use ocamlopt || myconf="$myconf -byte-only" > > ./configure $myconf || die "configure failed" >} > >src_compile() { > emake -j1 || die "make failed" >} > >src_install() { > emake COQINSTALLPREFIX="${D}" install || die > dodoc README CREDITS CHANGES > > use gtk && domenu "${FILESDIR}/coqide.desktop" >}
You cannot view the attachment while viewing its details because your browser does not support IFRAMEs.
View the attachment on a separate page
.
View Attachment As Raw
Actions:
View
Attachments on
bug 257540
:
180859
|
182387
|
182419