From d094b54400b2944a8904b706a26d2860700f4144 Mon Sep 17 00:00:00 2001 From: Omar Vega Ramos Date: Mon, 28 Nov 2016 20:22:43 -0500 Subject: Removing opam: This package is in [community] repo --- pcr/opam/PKGBUILD | 27 --------------------------- 1 file changed, 27 deletions(-) delete mode 100644 pcr/opam/PKGBUILD (limited to 'pcr') 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. -# Maintainer: Omar Vega Ramos - -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: -- cgit v1.2.3