diff options
| author | Andreas Grapentin <andreas@grapentin.org> | 2019-02-12 10:19:23 +0100 |
|---|---|---|
| committer | Andreas Grapentin <andreas@grapentin.org> | 2019-02-12 10:19:23 +0100 |
| commit | a9f7f426257b56bc9045b156d9b89b254fcc7149 (patch) | |
| tree | 654a36132e9a5ce4c0873a72270c973d454c11ba /pcr | |
| parent | da846b92f63b5549441feb9781c0a91218004706 (diff) | |
| download | abslibre-a9f7f426257b56bc9045b156d9b89b254fcc7149.tar.gz abslibre-a9f7f426257b56bc9045b156d9b89b254fcc7149.tar.bz2 abslibre-a9f7f426257b56bc9045b156d9b89b254fcc7149.zip | |
pcr/ocaml-ppx_tools: removed
Diffstat (limited to 'pcr')
| -rw-r--r-- | pcr/ocaml-ppx_tools/PKGBUILD | 31 |
1 files changed, 0 insertions, 31 deletions
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" -} |