summaryrefslogtreecommitdiff
path: root/pcr/opam/PKGBUILD
diff options
context:
space:
mode:
Diffstat (limited to 'pcr/opam/PKGBUILD')
-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: