Date: Tuesday, December 1, 2020 @ 03:55:11 Author: foutrelis Revision: 402444
archrelease: copy trunk to extra-x86_64 Added: ocamlbuild/repos/extra-x86_64/PKGBUILD (from rev 402443, ocamlbuild/trunk/PKGBUILD) Deleted: ocamlbuild/repos/extra-x86_64/PKGBUILD ----------+ PKGBUILD | 48 ++++++++++++++++++++++++------------------------ 1 file changed, 24 insertions(+), 24 deletions(-) Deleted: PKGBUILD =================================================================== --- PKGBUILD 2020-12-01 03:55:07 UTC (rev 402443) +++ PKGBUILD 2020-12-01 03:55:11 UTC (rev 402444) @@ -1,24 +0,0 @@ -# Maintainer: Jürgen Hötzel <juer...@hoetzel.info> - -pkgname=ocamlbuild -pkgver=0.14.0 -pkgrel=8 -pkgdesc='Build tool, that has built-in rules for building OCaml library and programs' -arch=('x86_64') -license=('GPL2') -url='https://github.com/ocaml/ocamlbuild/releases' -depends=('ocaml>=4.11.0') -options=('!makeflags') -source=($pkgname-$pkgver.tar.gz::"https://github.com/ocaml/${pkgname}/archive/$pkgver.tar.gz") -sha256sums=('87b29ce96958096c0a1a8eeafeb6268077b2d11e1bf2b3de0f5ebc9cf8d42e78') - -build() { - cd $pkgname-$pkgver - make configure PREFIX="/usr" MANDIR="/usr/share/man" - make -} - -package() { - cd $pkgname-$pkgver - make DESTDIR="$pkgdir" install -} Copied: ocamlbuild/repos/extra-x86_64/PKGBUILD (from rev 402443, ocamlbuild/trunk/PKGBUILD) =================================================================== --- PKGBUILD (rev 0) +++ PKGBUILD 2020-12-01 03:55:11 UTC (rev 402444) @@ -0,0 +1,24 @@ +# Maintainer: Jürgen Hötzel <juer...@hoetzel.info> + +pkgname=ocamlbuild +pkgver=0.14.0 +pkgrel=9 +pkgdesc='Build tool, that has built-in rules for building OCaml library and programs' +arch=('x86_64') +license=('GPL2') +url='https://github.com/ocaml/ocamlbuild/releases' +depends=('ocaml>=4.11.1') +options=('!makeflags') +source=($pkgname-$pkgver.tar.gz::"https://github.com/ocaml/${pkgname}/archive/$pkgver.tar.gz") +sha256sums=('87b29ce96958096c0a1a8eeafeb6268077b2d11e1bf2b3de0f5ebc9cf8d42e78') + +build() { + cd $pkgname-$pkgver + make configure PREFIX="/usr" MANDIR="/usr/share/man" + make +} + +package() { + cd $pkgname-$pkgver + make DESTDIR="$pkgdir" install +}