summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAndreas Grapentin <andreas@grapentin.org>2019-02-12 10:19:23 +0100
committerAndreas Grapentin <andreas@grapentin.org>2019-02-12 10:19:23 +0100
commita9f7f426257b56bc9045b156d9b89b254fcc7149 (patch)
tree654a36132e9a5ce4c0873a72270c973d454c11ba
parentda846b92f63b5549441feb9781c0a91218004706 (diff)
pcr/ocaml-ppx_tools: removed
-rw-r--r--pcr/ocaml-ppx_tools/PKGBUILD31
1 files changed, 0 insertions, 31 deletions
diff --git a/pcr/ocaml-ppx_tools/PKGBUILD b/pcr/ocaml-ppx_tools/PKGBUILD
deleted file mode 100644
index 162f4ee71..000000000
--- a/pcr/ocaml-ppx_tools/PKGBUILD
+++ /dev/null
@@ -1,31 +0,0 @@
-# Maintainer (Arch): Jakob Gahde <j5lx@fmail.co.uk>
-# Maintainer: Omar Vega Ramos <ovruni@gnu.org.pe>
-
-_pkgname=ppx_tools
-pkgname=ocaml-${_pkgname}
-pkgver=4.02.3
-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/v${pkgver}.tar.gz")
-md5sums=('47b1fb5681b2bcfa9cdaee45a899dfe9')
-
-build() {
- cd "${srcdir}/${_pkgname}-${pkgver}"
-
- make
-}
-
-package() {
- cd "${srcdir}/${_pkgname}-${pkgver}"
-
- export OCAMLFIND_DESTDIR="${pkgdir}$(ocamlfind printconf destdir)"
- mkdir -p "${OCAMLFIND_DESTDIR}"
-
- make install
- install -Dm644 "LICENSE" "${pkgdir}/usr/share/licenses/${pkgname}/LICENSE"
-}