summaryrefslogtreecommitdiff
path: root/pcr
diff options
context:
space:
mode:
Diffstat (limited to 'pcr')
-rw-r--r--pcr/ocaml-result/PKGBUILD35
1 files changed, 0 insertions, 35 deletions
diff --git a/pcr/ocaml-result/PKGBUILD b/pcr/ocaml-result/PKGBUILD
deleted file mode 100644
index ad55bd75f..000000000
--- a/pcr/ocaml-result/PKGBUILD
+++ /dev/null
@@ -1,35 +0,0 @@
-# Maintainer (AUR): Jakob Gahde <j5lx@fmail.co.uk>
-
-# parabola changes and rationale:
-# no changes.
-
-_pkgname=result
-pkgname=ocaml-${_pkgname}
-pkgver=1.2
-pkgrel=3
-pkgdesc="Compatibility Result module"
-arch=('i686' 'x86_64' 'armv7h')
-url="https://github.com/janestreet/result"
-license=('BSD')
-depends=('ocaml')
-makedepends=('ocaml-findlib')
-options=('!strip')
-source=("https://github.com/janestreet/result/archive/${pkgver}.tar.gz")
-sha256sums=('7cf7909f902994dc885ceae1983e4cda3665914c774f774604d076b89f76f7dd')
-
-build() {
- cd "${srcdir}/${_pkgname}-${pkgver}"
-
- make -j1
-}
-
-
-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"
-}