summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorOmar Vega Ramos <ovruni@gnu.org.pe>2016-11-28 20:22:43 -0500
committerOmar Vega Ramos <ovruni@gnu.org.pe>2016-11-28 20:22:43 -0500
commitd094b54400b2944a8904b706a26d2860700f4144 (patch)
treee9111a66a2572274b79a30a093cea53c073bbc13
parent17f6babdf3869bc0e94ea5222f6829e9a0559bf9 (diff)
Removing opam: This package is in [community] repo
-rw-r--r--pcr/opam/PKGBUILD27
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: