diff options
| author | Andreas Grapentin <andreas@grapentin.org> | 2018-01-22 17:13:12 +0100 |
|---|---|---|
| committer | Andreas Grapentin <andreas@grapentin.org> | 2018-01-22 17:13:12 +0100 |
| commit | 05a95be53c18fbae03598eeb25219501f37094c8 (patch) | |
| tree | 9943353f516244c0d8043b5dce3fc8eba40c12fa /pcr/ocaml-result/PKGBUILD | |
| parent | b2719f4f0455768fdd41a3f7e58b14a2e324f8e5 (diff) | |
| download | abslibre-05a95be53c18fbae03598eeb25219501f37094c8.tar.gz abslibre-05a95be53c18fbae03598eeb25219501f37094c8.tar.bz2 abslibre-05a95be53c18fbae03598eeb25219501f37094c8.zip | |
pcr/ocaml-result: added
Diffstat (limited to 'pcr/ocaml-result/PKGBUILD')
| -rw-r--r-- | pcr/ocaml-result/PKGBUILD | 35 |
1 files changed, 35 insertions, 0 deletions
diff --git a/pcr/ocaml-result/PKGBUILD b/pcr/ocaml-result/PKGBUILD new file mode 100644 index 000000000..5c5869902 --- /dev/null +++ b/pcr/ocaml-result/PKGBUILD @@ -0,0 +1,35 @@ +# Maintainer (AUR): Jakob Gahde <j5lx@fmail.co.uk> + +# parabola changes and rationale: +# no changes. + +_pkgname=result +pkgname=ocaml-${_pkgname} +pkgver=1.2 +pkgrel=2 +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" +} |