Date: Thursday, May 18, 2023 @ 19:44:13 Author: juergen Revision: 1463100
archrelease: copy trunk to extra-x86_64 Added: camlp5/repos/extra-x86_64/ camlp5/repos/extra-x86_64/PKGBUILD (from rev 1463099, camlp5/trunk/PKGBUILD) ----------+ PKGBUILD | 43 +++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 43 insertions(+) Copied: camlp5/repos/extra-x86_64/PKGBUILD (from rev 1463099, camlp5/trunk/PKGBUILD) =================================================================== --- extra-x86_64/PKGBUILD (rev 0) +++ extra-x86_64/PKGBUILD 2023-05-18 19:44:13 UTC (rev 1463100) @@ -0,0 +1,43 @@ +# Maintainer: Baptiste Jonglez <baptiste--aur at jonglez dot org> +# Contributor: Matej Grabovsky <matej.grabovsky at gmail> +# Contributor: Kohei Suzuki <eagle...@gmail.com> +# Contributor: Thomas Dziedzic < gostrc at gmail > +# Contributor: Nathan Owe <ndowens.aur at gmail dot com> +# Contributor: George Giorgidze <giorgi...@gmail.com> +# Contributor: Massimiliano Brocchini <brocch...@netseven.it> +# Contributor: Tej Chajed <tchajed at mit dot edu> + +pkgname=camlp5 +pkgver=8.0 +_relname=rel8.00.04 +pkgrel=5 +arch=('x86_64') +pkgdesc='A preprocessor-pretty-printer of OCaml.' +url='https://camlp5.github.io/' +license=('BSD') +depends=('ocaml' 'camlp-streams') +makedepends=('ocaml-compiler-libs' 'ocaml-findlib') +source=("camlp5-${_relname}.tar.gz::https://github.com/camlp5/camlp5/archive/$_relname.tar.gz") +sha256sums=('bddbcb5c3c2d410c9a61c4dfb6e46e3bbe984d25ac68221a7a65c82a29956b1d') +options=('!strip' 'staticlibs') + +build() { + cd "${srcdir}/camlp5-${_relname}" + + ./configure \ + -prefix '/usr' \ + -mandir '/usr/share/man' \ + -strict + + make world.opt +} + +package() { + cd "${srcdir}/camlp5-${_relname}" + + make DESTDIR="${pkgdir}" install + + install -D -m644 etc/META "${pkgdir}/usr/lib/ocaml/camlp5" + install -D -m644 LICENSE "${pkgdir}/usr/share/licenses/camlp5/LICENSE" +} +