Go to:
Gentoo Home
Documentation
Forums
Lists
Bugs
Planet
Store
Wiki
Get Gentoo!
Gentoo's Bugzilla – Attachment 298313 Details for
Bug 397995
isabelle proof assistant
Home
|
New
–
[Ex]
|
Browse
|
Search
|
Privacy Policy
|
[?]
|
Reports
|
Requests
|
Help
|
New Account
|
Log In
[x]
|
Forgot Password
Login:
[x]
isabelle 2011-1 ebuild
isabelle-2011.1.ebuild (text/plain), 3.88 KB, created by
Mark Wright
on 2012-01-08 12:32:28 UTC
(
hide
)
Description:
isabelle 2011-1 ebuild
Filename:
MIME Type:
Creator:
Mark Wright
Created:
2012-01-08 12:32:28 UTC
Size:
3.88 KB
patch
obsolete
># Copyright 1999-2012 Gentoo Foundation ># Distributed under the terms of the GNU General Public License v2 ># $Header: $ > >EAPI="4" > >JAVA_PKG_OPT_USE="graphbrowsing" >inherit eutils java-pkg-opt-2 multilib versionator > >MY_PN="Isabelle" >typeset -u MY_PV >MY_PV=$(replace_all_version_separators '-') >MY_P="${MY_PN}${MY_PV}" > >DESCRIPTION="Isabelle is a generic proof assistant" >HOMEPAGE="http://www.cl.cam.ac.uk/research/hvg/isabelle/index.html" >SRC_URI="http://www.cl.cam.ac.uk/research/hvg/isabelle/dist/${MY_P}.tar.gz" > >LICENSE="BSD" >SLOT="0" >KEYWORDS="~x86 ~amd64" >ALL_LOGICS="Pure FOL +HOL ZF CCL CTT Cube FOLP LCF Sequents" >IUSE="${ALL_LOGICS} doc graphbrowsing +pdf +proofgeneral" > >#upstream says >#bash 2.x/3.x, Poly/ML 5.x, Perl 5.x, >#for document preparation: complete LaTeX >DEPEND=">=app-shells/bash-3.0 > >=dev-lang/polyml-5.4.1 > >=dev-lang/perl-5.8.8-r2" > >RDEPEND="doc? ( > virtual/latex-base > dev-tex/rail > ) > pdf? ( || ( app-text/xpdf > app-text/gv > app-text/gsview > app-text/epdfview > app-text/acroread > app-text/zathura ) > ) > proofgeneral? ( > app-emacs/proofgeneral > ) > ${DEPEND}" > >S="${WORKDIR}"/Isabelle${MY_PV} >TARGETDIR="/usr/share/Isabelle"${MY_PV} >LIBDIR="/usr/"$(get_libdir)"/Isabelle"${MY_PV} > >pkg_setup() { > java-pkg-opt-2_pkg_setup > if ! use proofgeneral > then > ewarn "You have deselected the Proof General interface." > ewarn "Only a text terminal will be installed." > ewarn "Emerge Isabelle with the proofgeneral USE flag enabled" > ewarn "to get the common interface, that most people want." > fi >} > >src_prepare() { > java-pkg-opt-2_src_prepare > if use proofgeneral; then > epatch "${FILESDIR}/${PN}-2011.1-proofgeneral-gentoo-path.patch" > polymlver=$(poly -v | cut -d' ' -f2) > polymlarch=$(poly -v | cut -d' ' -f9 | cut -d'-' -f1) > sed -e "s@5.4.0@${polymlver}@g" \ > -i "${S}/etc/settings" || die "Could not configure polyml version in etc/settings" > sed -e "s@x86_64@${polymlarch}@g" \ > -i "${S}/etc/settings" || die "Could not configure polyml arch in etc/settings" > fi > if use graphbrowsing; then > epatch "${FILESDIR}/${PN}-2011.1-graphbrowser.patch" > fi >} > >src_compile() { > LOGICS="" > for l in "${ALL_LOGICS}"; do > if has "${l/+/}"; then > LOGICS="${LOGICS} ${l/+/}" > fi > done > einfo "Building Isabelle logics ${LOGICS}. This may take some time." > ./build -b -i "${LOGICS}" || die "building logics failed" > ./bin/isabelle makeall || die "isabelle makeall failed" > if use graphbrowsing > then > rm -f "${S}/lib/browser/GraphBrowser.jar" || die "failed cleaning graph browser directory" > cd "${S}/lib/browser" > ./build || die "failed building the graph browser" > cd "${S}" > fi >} > >src_test() { > einfo "Running tests. A test run can take up to several hours!" > ./build -b -t >} > >src_install() { > exeinto ${TARGETDIR}/bin > doexe bin/isabelle-process bin/isabelle > > exeinto ${TARGETDIR} > doexe build > > insinto ${TARGETDIR} > doins -r src > dodoc -r doc > > dodir /etc/isabelle > insinto /etc/isabelle > doins -r etc > > dosym /etc/isabelle "${TARGETDIR}/etc" > dosym "${LIBDIR}/heaps" "${TARGETDIR}/heaps" > > insinto ${LIBDIR} > doins -r heaps > > # use cp to keep file attributes > cp -R lib "${ED}${TARGETDIR}" || die "install lib failed" > > bin/isabelle install -d ${TARGETDIR} -p "${ED}usr/bin" \ > || die "isabelle install failed" > newicon lib/icons/isabelle.xpm "${PN}.xpm" > dodoc ANNOUNCE CONTRIBUTORS COPYRIGHT NEWS README > > java-pkg_regjar \ > "${ED}${TARGETDIR}/lib/browser/GraphBrowser.jar" \ > "${ED}${TARGETDIR}/lib/classes/ext/Pure.jar" \ > "${ED}${TARGETDIR}/lib/classes/ext/scala-library.jar" \ > "${ED}${TARGETDIR}/lib/classes/ext/scala-swing.jar" \ > "${ED}${TARGETDIR}/lib/classes/java_ext_dirs.jar" >} > >pkg_postinst() { > elog "You will need to re-emerge Isabelle after emerging polyml." > if use pdf; then > einfo "Please configure your preferred pdf viewer by editing" > einfo "the PDF_VIEWER variable in the system settings file" > einfo "/etc/conf/isabelle and/or the user settings file" > einfo "\$HOME/.isabelle/${MY_P}" > fi >}
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 397995
: 298313 |
298315
|
298317
|
298319