Add coinst tool suite.

Thanks Anil for spotting this typo.
Notice though that there are quite a few "make" around in the repo. I'll
fix coinst and cudf, and it would be nice to fix the others too.

$ grep '"make"' */*/opam
coinst/coinst.1.9.1/opam: ["make" "depend"]
coinst/coinst.1.9.1/opam: ["make"]
cudf/cudf.0.7/opam: ["make" "all" "opt"]
cudf/cudf.0.7/opam: ["make" "install" "DESTDIR=%{prefix}%"
"OCAMLLIBDIR=lib" "BINDIR=bin" "LIBDIR=lib" "INCDIR=include"]
cudf/cudf.0.7/opam: ["make" "uninstall" "DESTDIR=%{prefix}%"
"OCAMLLIBDIR=lib" "BINDIR=bin" "LIBDIR=lib" "INCDIR=include"]
hamt/hamt.0.1/opam:build-doc: [["make" "doc"]]
iocaml/iocaml.0.4.2/opam:  ["make" "all"]
iocaml/iocaml.0.4.3/opam:  ["make" "all"]
lablqt/lablqt.0.2/opam:  ["make" "generator"]
mirage-www/mirage-www.1.0.0/opam:  ["make" "OS=unix" "CFLAGS=--no-opam"]
mirage-www/mirage-www.1.1.0/opam:  ["make" "MODE=unix" "CFLAGS=--no-opam"]
mustache/mustache.0.0.1/opam:  ["make" "configure"]
mustache/mustache.0.0.1/opam:  ["make" "build"]
mustache/mustache.0.0.1/opam:  ["make" "install"]
mustache/mustache.0.0.1/opam:build-doc: [ "make" "doc" ]
mustache/mustache.0.0.2/opam:build-doc: [ "make" "doc" ]
obeanstalk/obeanstalk.0.1/opam:build: [["make" "opam-install"]]
ocurl/ocurl.0.7.0/opam:build-doc: [["make" "doc"]]
ocurl/ocurl.0.7.1/opam:build-doc: [["make" "doc"]]
opium/opium.0.3.2/opam:  ["make" "configure-no-tests"]
opium/opium.0.3.2/opam:  ["make" "build"]
opium/opium.0.3.2/opam:  ["make" "install"]
opium/opium.0.4.0/opam:  ["make" "configure-no-tests"]
opium/opium.0.4.0/opam:  ["make" "build"]
opium/opium.0.4.0/opam:  ["make" "install"]
opium/opium.0.5.0/opam:  ["make" "configure-no-tests"]
opium/opium.0.5.0/opam:  ["make" "build"]
opium/opium.0.5.0/opam:  ["make" "install"]
opium/opium.0.6.0/opam:  ["make" "configure-no-tests"]
opium/opium.0.6.0/opam:  ["make" "build"]
opium/opium.0.6.0/opam:  ["make" "install"]
opium/opium.0.6.1/opam:  ["make" "configure-no-tests"]
opium/opium.0.6.1/opam:  ["make" "build"]
opium/opium.0.6.1/opam:  ["make" "install"]
pfff/pfff.0.25.1/opam:remove: [["make" "uninstall-findlib"]]
vhd-format/vhd-format.0.0.2/opam:  ["make"]
vhd-format/vhd-format.0.0.2/opam:  ["make" "install" "BINDIR=%{bin}%"]
vhd-format/vhd-format.0.0.2/opam:remove: [["make" "uninstall"
"BINDIR=%{bin}%"]]
xen-disk/xen-disk.1.0.2/opam:  ["make"]
xen-disk/xen-disk.1.0.2/opam:  ["make" "install" "BINDIR=%{bin}%"]
xen-disk/xen-disk.1.0.2/opam:remove: [["make" "uninstall" "BINDIR=%{bin}%"]]
xen-disk/xen-disk.1.0.3/opam:  ["make"]
xen-disk/xen-disk.1.0.3/opam:  ["make" "install" "BINDIR=%{bin}%"]
xen-disk/xen-disk.1.0.3/opam:remove: [["make" "uninstall" "BINDIR=%{bin}%"]]
xen-disk/xen-disk.1.2.1/opam:  ["make"]
xen-disk/xen-disk.1.2.1/opam:  ["make" "install" "BINDIR=%{bin}%"]
xen-disk/xen-disk.1.2.1/opam:remove: [["make" "uninstall" "BINDIR=%{bin}%"]]
xenstore_transport/xenstore_transport.0.9.0/opam:  ["make" "all"]
xenstore_transport/xenstore_transport.0.9.0/opam:  ["make" "install"]
xenstore_transport/xenstore_transport.0.9.1/opam:  ["make" "all"]
xenstore_transport/xenstore_transport.0.9.1/opam:  ["make" "install"]
xenstore_transport/xenstore_transport.0.9.2/opam:  ["make" "all"]
xenstore_transport/xenstore_transport.0.9.2/opam:  ["make" "install"]
xenstore_transport/xenstore_transport.0.9.4/opam:  ["make" "all"]
xenstore_transport/xenstore_transport.0.9.4/opam:  ["make" "install"]



2014-06-19 11:29 GMT+02:00 Anil Madhavapeddy <notifications@github.com>:

> In packages/coinst/coinst.1.9.1/opam:
>
> > @@ -0,0 +1,15 @@
> > +opam-version: "1"
> > +maintainer: "roberto@dicosmo.org"
> > +build: [
> > + ["make" "depend"]
>
> this needs to be make without the quotes so that it'll work on BSD (where
> GNU make is installed as gmake)
>
> —
> Reply to this email directly or view it on GitHub
> <https://github.com/ocaml/opam-repository/pull/2263/files#r13959567>.
>



-- 
Roberto Di Cosmo

------------------------------------------------------------------
Professeur               En delegation a l'INRIA
PPS                      E-mail: roberto@dicosmo.org
Universite Paris Diderot WWW  : http://www.dicosmo.org
Case 7014                Tel  : ++33-(0)1-57 27 92 20
5, Rue Thomas Mann
F-75205 Paris Cedex 13   Identica: http://identi.ca/rdicosmo
FRANCE.                  Twitter: http://twitter.com/rdicosmo
------------------------------------------------------------------
Attachments:
MIME accepted, Word deprecated
      http://www.gnu.org/philosophy/no-word-attachments.html
------------------------------------------------------------------
Office location:

Bureau 320 (3rd floor)
Batiment Sophie Germain
Avenue de France
Metro Bibliotheque Francois Mitterrand, ligne 14/RER C
-----------------------------------------------------------------
GPG fingerprint 2931 20CE 3A5A 5390 98EC 8BFC FCCA C3BE 39CB 12D3