Date: Tuesday, August 9, 2022 @ 20:22:20 Author: juergen Revision: 452487
archrelease: copy trunk to extra-x86_64 Added: facile/repos/extra-x86_64/PKGBUILD (from rev 452486, facile/trunk/PKGBUILD) Deleted: facile/repos/extra-x86_64/PKGBUILD ----------+ PKGBUILD | 46 +++++++++++++++++++++++----------------------- 1 file changed, 23 insertions(+), 23 deletions(-) Deleted: PKGBUILD =================================================================== --- PKGBUILD 2022-08-09 20:21:10 UTC (rev 452486) +++ PKGBUILD 2022-08-09 20:22:20 UTC (rev 452487) @@ -1,23 +0,0 @@ -# Maintainer: Tobias Powalowski <tp...@archlinux.org> - -pkgname=facile -pkgver=1.1.4 -pkgrel=1 -pkgdesc="A Functional Constraint Library" -arch=(x86_64) -url="http://www.recherche.enac.fr/opti/facile/" -license=("LGPL") -makedepends=('ocaml-compiler-libs') -depends=() -source=(https://github.com/Emmanuel-PLF/facile/archive/$pkgver/$pkgname-$pkgver.tar.gz) -md5sums=('f68b81b7eeb0105ffa82f53b5d8ef025') - -build() { - cd $pkgname-$pkgver/lib - make -} - -package() { - cd $pkgname-$pkgver/lib - install -Dm644 facile.cmxa facile.cmi facile.cma facile.a -t "$pkgdir/usr/lib/ocaml/facile" -} Copied: facile/repos/extra-x86_64/PKGBUILD (from rev 452486, facile/trunk/PKGBUILD) =================================================================== --- PKGBUILD (rev 0) +++ PKGBUILD 2022-08-09 20:22:20 UTC (rev 452487) @@ -0,0 +1,23 @@ +# Maintainer: Tobias Powalowski <tp...@archlinux.org> + +pkgname=facile +pkgver=1.1.4 +pkgrel=2 +pkgdesc="A Functional Constraint Library" +arch=(x86_64) +url="http://www.recherche.enac.fr/opti/facile/" +license=("LGPL") +makedepends=('ocaml>=4.14.0' 'ocaml-compiler-libs') +depends=() +source=(https://github.com/Emmanuel-PLF/facile/archive/$pkgver/$pkgname-$pkgver.tar.gz) +md5sums=('f68b81b7eeb0105ffa82f53b5d8ef025') + +build() { + cd $pkgname-$pkgver/lib + make +} + +package() { + cd $pkgname-$pkgver/lib + install -Dm644 facile.cmxa facile.cmi facile.cma facile.a -t "$pkgdir/usr/lib/ocaml/facile" +}