Date: Wednesday, October 18, 2017 @ 10:04:48 Author: zorun Revision: 263228
archrelease: copy trunk to community-i686, community-x86_64 Added: coq/repos/community-i686/PKGBUILD (from rev 263227, coq/trunk/PKGBUILD) coq/repos/community-x86_64/PKGBUILD (from rev 263227, coq/trunk/PKGBUILD) Deleted: coq/repos/community-i686/PKGBUILD coq/repos/community-x86_64/PKGBUILD ---------------------------+ /PKGBUILD | 176 ++++++++++++++++++++++++++++++++++++++++++++ community-i686/PKGBUILD | 87 --------------------- community-x86_64/PKGBUILD | 87 --------------------- 3 files changed, 176 insertions(+), 174 deletions(-) Deleted: community-i686/PKGBUILD =================================================================== --- community-i686/PKGBUILD 2017-10-18 10:04:23 UTC (rev 263227) +++ community-i686/PKGBUILD 2017-10-18 10:04:48 UTC (rev 263228) @@ -1,87 +0,0 @@ -# Maintainer: Baptiste Jonglez <baptiste--aur at jonglez dot org> -# Contributor: acieroid -# Contributor: spider-mario <spiderma...@free.fr> -# Contributor: Thomas Dziedzic < gostrc at gmail > -# Contributor: George Giorgidze <giorgi...@gmail.com> -# Contributor: William J. Bowman <bluephoeni...@gmail.com> - -pkgname=('coq' 'coqide' 'coq-doc') -pkgver=8.6.1 -pkgrel=1 -pkgdesc='Formal proof management system' -arch=('i686' 'x86_64') -url='https://coq.inria.fr/' -license=('GPL') -groups=('coq') -options=('!emptydirs') -depends=('ocaml' 'camlp4' 'gtk2' 'gtksourceview2') -makedepends=('ocaml-findlib' - 'lablgtk2' 'gendesk' # coqide - 'texlive-bin' 'texlive-latexextra' 'texlive-pictures' # coq-doc - 'texlive-fontsextra' 'texlive-science' - 'fig2dev' 'imagemagick' 'hevea' 'ghostscript') -source=("https://coq.inria.fr/distrib/V$pkgver/files/coq-$pkgver.tar.gz") -sha1sums=('5dbaf1230c297d7c11c8715c012300a51ad80f9a') - -prepare() { - gendesk -f -n --pkgname "coqide" \ - --name "CoqIDE Proof Assistant" \ - --pkgdesc "Graphical interface for the Coq proof assistant" \ - --categories "Development;Science;Math;IDE;GTK" -} - -build() { - cd "$srcdir/coq-$pkgver" - - ./configure \ - -prefix '/usr' \ - -mandir '/usr/share/man' \ - -configdir '/etc/xdg/coq/' \ - -coqide opt \ - -with-doc yes \ - -usecamlp4 - - make world -} - -package_coq() { - depends=('ocaml' 'camlp4') - optdepends=('coqide: graphical Coq IDE' - 'coq-doc: offline documentation') - # coq-nox was the old name for coq without coqide - replaces=('coq-nox') - conflicts=('coq-nox') - - cd "$srcdir/coq-$pkgver" - - # The second target is needed to install coqidetop.cmxs (needed for some - # frontend other than coqide, for instance coquille) - make COQINSTALLPREFIX="$pkgdir" install-coq install-ide-toploop - rm -f "${pkgdir}/usr/share/man/man1/coqide.1" -} - -package_coqide() { - pkgdesc="GTK-based graphical interface for the Coq proof assistant" - depends=('coq' 'ocaml' 'camlp4' 'gtk2' 'gtksourceview2') - - cd "$srcdir/coq-$pkgver" - - make COQINSTALLPREFIX="$pkgdir" install-coqide - install -D -m 644 -t "${pkgdir}/usr/share/man/man1/" man/coqide.1 - - # Remove toploop files installed by "install-ide-toploop" in the main package - rm -f "${pkgdir}/usr/lib/coq/toploop"/coqidetop.{cma,cmxs} - - # Desktop file generated by gendesk - install -D -m 644 "${srcdir}/${pkgname}.desktop" "${pkgdir}/usr/share/applications/${pkgname}.desktop" - install -D -m 644 ide/coq.png "${pkgdir}/usr/share/pixmaps/${pkgname}.png" -} - -package_coq-doc() { - pkgdesc="HTML and PDF documentation for the Coq proof assistant" - depends=() - - cd "$srcdir/coq-$pkgver" - - make COQINSTALLPREFIX="$pkgdir" install-doc -} Copied: coq/repos/community-i686/PKGBUILD (from rev 263227, coq/trunk/PKGBUILD) =================================================================== --- community-i686/PKGBUILD (rev 0) +++ community-i686/PKGBUILD 2017-10-18 10:04:48 UTC (rev 263228) @@ -0,0 +1,88 @@ +# Maintainer: Baptiste Jonglez <baptiste--aur at jonglez dot org> +# Contributor: acieroid +# Contributor: spider-mario <spiderma...@free.fr> +# Contributor: Thomas Dziedzic < gostrc at gmail > +# Contributor: George Giorgidze <giorgi...@gmail.com> +# Contributor: William J. Bowman <bluephoeni...@gmail.com> + +pkgname=('coq' 'coqide' 'coq-doc') +pkgver=8.7.0 +pkgrel=1 +pkgdesc='Formal proof management system' +arch=('i686' 'x86_64') +url='https://coq.inria.fr/' +license=('GPL') +groups=('coq') +options=('!emptydirs') +depends=('ocaml' 'camlp5' 'gtk2' 'gtksourceview2') +makedepends=('ocaml-findlib' + 'lablgtk2' 'gendesk' # coqide + 'texlive-bin' 'texlive-latexextra' 'texlive-pictures' # coq-doc + 'texlive-fontsextra' 'texlive-science' + 'fig2dev' 'imagemagick' 'hevea' 'ghostscript') +source=("https://github.com/coq/coq/archive/V${pkgver}.tar.gz") +sha512sums=('c806881d1ab823d9c2d748aa2d7fd3faaa0f6395536942ad214c68658b2688e6c57941947a440ddb69bf1436249067eefd866ecb1d9e4c5e774e3218c80a6fc2') + +prepare() { + gendesk -f -n --pkgname "coqide" \ + --name "CoqIDE Proof Assistant" \ + --pkgdesc "Graphical interface for the Coq proof assistant" \ + --categories "Development;Science;Math;IDE;GTK" +} + +build() { + cd "$srcdir/coq-$pkgver" + + ./configure \ + -prefix '/usr' \ + -mandir '/usr/share/man' \ + -configdir '/etc/xdg/coq/' \ + -coqide opt \ + -with-doc yes + + make world +} + +package_coq() { + depends=('ocaml' 'camlp5') + optdepends=('coqide: graphical Coq IDE' + 'coq-doc: offline documentation') + # coq-nox was the old name for coq without coqide + replaces=('coq-nox') + conflicts=('coq-nox') + + cd "$srcdir/coq-$pkgver" + + # The second target is needed to install coqidetop.cmxs (needed for some + # frontend other than coqide, for instance coquille) + make COQINSTALLPREFIX="$pkgdir" install-coq install-ide-toploop + rm -f "${pkgdir}/usr/share/man/man1/coqide.1" +} + +package_coqide() { + pkgdesc="GTK-based graphical interface for the Coq proof assistant" + depends=('coq' 'ocaml' 'camlp5' 'gtk2' 'gtksourceview2') + + cd "$srcdir/coq-$pkgver" + + make COQINSTALLPREFIX="$pkgdir" install-coqide + install -D -m 644 -t "${pkgdir}/usr/share/man/man1/" man/coqide.1 + + # Remove toploop files installed by "install-ide-toploop" in the main package + rm -f "${pkgdir}/usr/lib/coq/toploop"/coqidetop.{cma,cmxs} + # In coq 8.7 this file is installed both by install-coq and install-coqide, remove the duplicate. + rm -f "${pkgdir}/usr/lib/coq/vernac/topfmt.cmi" + + # Desktop file generated by gendesk + install -D -m 644 "${srcdir}/${pkgname}.desktop" "${pkgdir}/usr/share/applications/${pkgname}.desktop" + install -D -m 644 ide/coq.png "${pkgdir}/usr/share/pixmaps/${pkgname}.png" +} + +package_coq-doc() { + pkgdesc="HTML and PDF documentation for the Coq proof assistant" + depends=() + + cd "$srcdir/coq-$pkgver" + + make COQINSTALLPREFIX="$pkgdir" install-doc +} Deleted: community-x86_64/PKGBUILD =================================================================== --- community-x86_64/PKGBUILD 2017-10-18 10:04:23 UTC (rev 263227) +++ community-x86_64/PKGBUILD 2017-10-18 10:04:48 UTC (rev 263228) @@ -1,87 +0,0 @@ -# Maintainer: Baptiste Jonglez <baptiste--aur at jonglez dot org> -# Contributor: acieroid -# Contributor: spider-mario <spiderma...@free.fr> -# Contributor: Thomas Dziedzic < gostrc at gmail > -# Contributor: George Giorgidze <giorgi...@gmail.com> -# Contributor: William J. Bowman <bluephoeni...@gmail.com> - -pkgname=('coq' 'coqide' 'coq-doc') -pkgver=8.6.1 -pkgrel=1 -pkgdesc='Formal proof management system' -arch=('i686' 'x86_64') -url='https://coq.inria.fr/' -license=('GPL') -groups=('coq') -options=('!emptydirs') -depends=('ocaml' 'camlp4' 'gtk2' 'gtksourceview2') -makedepends=('ocaml-findlib' - 'lablgtk2' 'gendesk' # coqide - 'texlive-bin' 'texlive-latexextra' 'texlive-pictures' # coq-doc - 'texlive-fontsextra' 'texlive-science' - 'fig2dev' 'imagemagick' 'hevea' 'ghostscript') -source=("https://coq.inria.fr/distrib/V$pkgver/files/coq-$pkgver.tar.gz") -sha1sums=('5dbaf1230c297d7c11c8715c012300a51ad80f9a') - -prepare() { - gendesk -f -n --pkgname "coqide" \ - --name "CoqIDE Proof Assistant" \ - --pkgdesc "Graphical interface for the Coq proof assistant" \ - --categories "Development;Science;Math;IDE;GTK" -} - -build() { - cd "$srcdir/coq-$pkgver" - - ./configure \ - -prefix '/usr' \ - -mandir '/usr/share/man' \ - -configdir '/etc/xdg/coq/' \ - -coqide opt \ - -with-doc yes \ - -usecamlp4 - - make world -} - -package_coq() { - depends=('ocaml' 'camlp4') - optdepends=('coqide: graphical Coq IDE' - 'coq-doc: offline documentation') - # coq-nox was the old name for coq without coqide - replaces=('coq-nox') - conflicts=('coq-nox') - - cd "$srcdir/coq-$pkgver" - - # The second target is needed to install coqidetop.cmxs (needed for some - # frontend other than coqide, for instance coquille) - make COQINSTALLPREFIX="$pkgdir" install-coq install-ide-toploop - rm -f "${pkgdir}/usr/share/man/man1/coqide.1" -} - -package_coqide() { - pkgdesc="GTK-based graphical interface for the Coq proof assistant" - depends=('coq' 'ocaml' 'camlp4' 'gtk2' 'gtksourceview2') - - cd "$srcdir/coq-$pkgver" - - make COQINSTALLPREFIX="$pkgdir" install-coqide - install -D -m 644 -t "${pkgdir}/usr/share/man/man1/" man/coqide.1 - - # Remove toploop files installed by "install-ide-toploop" in the main package - rm -f "${pkgdir}/usr/lib/coq/toploop"/coqidetop.{cma,cmxs} - - # Desktop file generated by gendesk - install -D -m 644 "${srcdir}/${pkgname}.desktop" "${pkgdir}/usr/share/applications/${pkgname}.desktop" - install -D -m 644 ide/coq.png "${pkgdir}/usr/share/pixmaps/${pkgname}.png" -} - -package_coq-doc() { - pkgdesc="HTML and PDF documentation for the Coq proof assistant" - depends=() - - cd "$srcdir/coq-$pkgver" - - make COQINSTALLPREFIX="$pkgdir" install-doc -} Copied: coq/repos/community-x86_64/PKGBUILD (from rev 263227, coq/trunk/PKGBUILD) =================================================================== --- community-x86_64/PKGBUILD (rev 0) +++ community-x86_64/PKGBUILD 2017-10-18 10:04:48 UTC (rev 263228) @@ -0,0 +1,88 @@ +# Maintainer: Baptiste Jonglez <baptiste--aur at jonglez dot org> +# Contributor: acieroid +# Contributor: spider-mario <spiderma...@free.fr> +# Contributor: Thomas Dziedzic < gostrc at gmail > +# Contributor: George Giorgidze <giorgi...@gmail.com> +# Contributor: William J. Bowman <bluephoeni...@gmail.com> + +pkgname=('coq' 'coqide' 'coq-doc') +pkgver=8.7.0 +pkgrel=1 +pkgdesc='Formal proof management system' +arch=('i686' 'x86_64') +url='https://coq.inria.fr/' +license=('GPL') +groups=('coq') +options=('!emptydirs') +depends=('ocaml' 'camlp5' 'gtk2' 'gtksourceview2') +makedepends=('ocaml-findlib' + 'lablgtk2' 'gendesk' # coqide + 'texlive-bin' 'texlive-latexextra' 'texlive-pictures' # coq-doc + 'texlive-fontsextra' 'texlive-science' + 'fig2dev' 'imagemagick' 'hevea' 'ghostscript') +source=("https://github.com/coq/coq/archive/V${pkgver}.tar.gz") +sha512sums=('c806881d1ab823d9c2d748aa2d7fd3faaa0f6395536942ad214c68658b2688e6c57941947a440ddb69bf1436249067eefd866ecb1d9e4c5e774e3218c80a6fc2') + +prepare() { + gendesk -f -n --pkgname "coqide" \ + --name "CoqIDE Proof Assistant" \ + --pkgdesc "Graphical interface for the Coq proof assistant" \ + --categories "Development;Science;Math;IDE;GTK" +} + +build() { + cd "$srcdir/coq-$pkgver" + + ./configure \ + -prefix '/usr' \ + -mandir '/usr/share/man' \ + -configdir '/etc/xdg/coq/' \ + -coqide opt \ + -with-doc yes + + make world +} + +package_coq() { + depends=('ocaml' 'camlp5') + optdepends=('coqide: graphical Coq IDE' + 'coq-doc: offline documentation') + # coq-nox was the old name for coq without coqide + replaces=('coq-nox') + conflicts=('coq-nox') + + cd "$srcdir/coq-$pkgver" + + # The second target is needed to install coqidetop.cmxs (needed for some + # frontend other than coqide, for instance coquille) + make COQINSTALLPREFIX="$pkgdir" install-coq install-ide-toploop + rm -f "${pkgdir}/usr/share/man/man1/coqide.1" +} + +package_coqide() { + pkgdesc="GTK-based graphical interface for the Coq proof assistant" + depends=('coq' 'ocaml' 'camlp5' 'gtk2' 'gtksourceview2') + + cd "$srcdir/coq-$pkgver" + + make COQINSTALLPREFIX="$pkgdir" install-coqide + install -D -m 644 -t "${pkgdir}/usr/share/man/man1/" man/coqide.1 + + # Remove toploop files installed by "install-ide-toploop" in the main package + rm -f "${pkgdir}/usr/lib/coq/toploop"/coqidetop.{cma,cmxs} + # In coq 8.7 this file is installed both by install-coq and install-coqide, remove the duplicate. + rm -f "${pkgdir}/usr/lib/coq/vernac/topfmt.cmi" + + # Desktop file generated by gendesk + install -D -m 644 "${srcdir}/${pkgname}.desktop" "${pkgdir}/usr/share/applications/${pkgname}.desktop" + install -D -m 644 ide/coq.png "${pkgdir}/usr/share/pixmaps/${pkgname}.png" +} + +package_coq-doc() { + pkgdesc="HTML and PDF documentation for the Coq proof assistant" + depends=() + + cd "$srcdir/coq-$pkgver" + + make COQINSTALLPREFIX="$pkgdir" install-doc +}