From a9f7f426257b56bc9045b156d9b89b254fcc7149 Mon Sep 17 00:00:00 2001
From: Andreas Grapentin <andreas@grapentin.org>
Date: Tue, 12 Feb 2019 10:19:23 +0100
Subject: pcr/ocaml-ppx_tools: removed

---
 pcr/ocaml-ppx_tools/PKGBUILD | 31 -------------------------------
 1 file changed, 31 deletions(-)
 delete mode 100644 pcr/ocaml-ppx_tools/PKGBUILD

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"
-}
-- 
cgit v1.2.2