diff options
| author | Omar Vega Ramos <ovruni@gnu.org.pe> | 2016-11-28 20:22:43 -0500 |
|---|---|---|
| committer | Omar Vega Ramos <ovruni@gnu.org.pe> | 2016-11-28 20:22:43 -0500 |
| commit | d094b54400b2944a8904b706a26d2860700f4144 (patch) | |
| tree | e9111a66a2572274b79a30a093cea53c073bbc13 | |
| parent | 17f6babdf3869bc0e94ea5222f6829e9a0559bf9 (diff) | |
Removing opam: This package is in [community] repo
| -rw-r--r-- | pcr/opam/PKGBUILD | 27 |
1 files changed, 0 insertions, 27 deletions
diff --git a/pcr/opam/PKGBUILD b/pcr/opam/PKGBUILD deleted file mode 100644 index 4a7db9c54..000000000 --- a/pcr/opam/PKGBUILD +++ /dev/null @@ -1,27 +0,0 @@ -# Maintainer (Arch): Vincent B. <vb@luminar.eu.org> -# Maintainer: Omar Vega Ramos <ovruni@gnu.org.pe> - -pkgname=opam -pkgver=1.2.2 -pkgrel=1 -pkgdesc="OCaml Package Manager" -arch=('i686' 'x86_64' 'armv6h' 'armv7h') -url="http://opam.ocaml.org" -license=('GPL') -depends=('ocaml' 'aspcud') -source=( https://github.com/ocaml/opam/releases/download/${pkgver}/opam-full-${pkgver}.tar.gz) -sha1sums=('415ff0506378ab8dfa428fcd0aff3aa28337d93b') - -build() { - cd ${srcdir}/opam-full-${pkgver} - ./configure --prefix=/usr - make -j1 lib-ext - make -j1 -} - -package() { - cd ${srcdir}/opam-full-${pkgver} - make DESTDIR="$pkgdir/" install -} - -# vim:set ts=2 sw=2 et: |