diff options
| author | Omar Vega Ramos <ovruni@gnu.org.pe> | 2015-07-21 04:14:43 -0500 |
|---|---|---|
| committer | Omar Vega Ramos <ovruni@gnu.org.pe> | 2015-07-21 04:14:43 -0500 |
| commit | 4ae640be3abac08fcfcf74cc5222bad8ead09dc0 (patch) | |
| tree | 2a9966ee2db87f0e2de80aef706204b3a1362e02 /pcr/ocaml-ppx_tools/PKGBUILD | |
| parent | 2cc050ec56328b77b2dd50781aeecf348c301f93 (diff) | |
| download | abslibre-4ae640be3abac08fcfcf74cc5222bad8ead09dc0.tar.gz abslibre-4ae640be3abac08fcfcf74cc5222bad8ead09dc0.tar.bz2 abslibre-4ae640be3abac08fcfcf74cc5222bad8ead09dc0.zip | |
ocaml-ppx_tools: add new package to [pcr]
Diffstat (limited to 'pcr/ocaml-ppx_tools/PKGBUILD')
| -rw-r--r-- | pcr/ocaml-ppx_tools/PKGBUILD | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/pcr/ocaml-ppx_tools/PKGBUILD b/pcr/ocaml-ppx_tools/PKGBUILD new file mode 100644 index 000000000..1d57e001a --- /dev/null +++ b/pcr/ocaml-ppx_tools/PKGBUILD @@ -0,0 +1,31 @@ +# Maintainer (Arch): Jakob Gahde <j5lx@fmail.co.uk> +# Maintainer: Omar Vega Ramos <ovruni@gnu.org.pe> + +_pkgname=ppx_tools +pkgname=ocaml-${_pkgname} +pkgver=0.99.2 +pkgrel=1 +pkgdesc="Tools for authors of ppx rewriters and other syntactic tools" +arch=('i686' 'x86_64') +url="https://github.com/alainfrisch/ppx_tools" +license=('MIT') +depends=('ocaml') +makedepends=('ocaml-findlib') +source=("https://github.com/alainfrisch/${_pkgname}/archive/${_pkgname}_${pkgver}.tar.gz") +md5sums=('94926dda74fa4720d4d3edac57ba5fee') + +build() { + cd "${srcdir}/${_pkgname}-${_pkgname}_${pkgver}" + + make +} + +package() { + cd "${srcdir}/${_pkgname}-${_pkgname}_${pkgver}" + + export OCAMLFIND_DESTDIR="${pkgdir}$(ocamlfind printconf destdir)" + mkdir -p "${OCAMLFIND_DESTDIR}" + + make install + install -Dm644 "LICENSE" "${pkgdir}/usr/share/licenses/${pkgname}/LICENSE" +} |