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"
+}
+
