diff options
Diffstat (limited to 'pcr')
-rw-r--r-- | pcr/ocaml-result/PKGBUILD | 35 |
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" -} |