diff options
| author | Omar Vega Ramos <ovruni@gnu.org.pe> | 2018-08-20 22:53:20 -0500 |
|---|---|---|
| committer | Omar Vega Ramos <ovruni@gnu.org.pe> | 2018-08-20 22:53:20 -0500 |
| commit | 226977ffdb27d585aac58cb7adf31c4d4f96c6e0 (patch) | |
| tree | bff09cb9dcef9f3858b613fc7d2e9633247a3a6c /pcr/ocaml-result/PKGBUILD | |
| parent | b4b9cf48a9ebef33d696428f788f9c46ce8e9568 (diff) | |
| download | abslibre-226977ffdb27d585aac58cb7adf31c4d4f96c6e0.tar.gz abslibre-226977ffdb27d585aac58cb7adf31c4d4f96c6e0.tar.bz2 abslibre-226977ffdb27d585aac58cb7adf31c4d4f96c6e0.zip | |
Removing ocaml-result: This package is in [extra] repo
Diffstat (limited to 'pcr/ocaml-result/PKGBUILD')
| -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" -} |