Skip to content

Pin packages without repo#1335

Merged
AltGr merged 5 commits intoocaml:masterfrom
OCamlPro:pin-without-repo
Apr 22, 2014
Merged

Pin packages without repo#1335
AltGr merged 5 commits intoocaml:masterfrom
OCamlPro:pin-without-repo

Conversation

@AltGr
Copy link
Copy Markdown
Member

@AltGr AltGr commented Apr 15, 2014

This enables creating a package by pinning a source containing
opam metadata. The name must be specified on the command-line.

@samoht
Copy link
Copy Markdown
Member

samoht commented Apr 15, 2014

sweet!

@avsm
Copy link
Copy Markdown
Member

avsm commented Apr 15, 2014

real nice!

On 15 Apr 2014, at 11:03, Louis Gesbert notifications@github.com wrote:

This enables creating a package by pinning a source containing
opam metadata. The name must be specified on the command-line.

You can merge this Pull Request by running

git pull https://github.com/OCamlPro/opam pin-without-repo
Or view, comment on, or merge it at:

#1335

Commit Summary

More info at unpinning
Enable -short-paths
Allow pinning dev-packages without a repo
Allow installing absent package on "opam reinstall"
Fix 'metadata changed' on new pins
Better error message when .install fails
File Changes

M src/client/opamAction.ml (9)
M src/client/opamArg.ml (6)
M src/client/opamClient.ml (12)
M src/client/opamPinCommand.ml (70)
M src/client/opamState.ml (101)
M src/core/opamFile.ml (5)
M src/core/opamMisc.ml (4)
M src/core/opamMisc.mli (2)
M src/core/opamParallel.ml (2)
M src/opam.ocp (2)
Patch Links:

https://github.com/ocaml/opam/pull/1335.patch
https://github.com/ocaml/opam/pull/1335.diff

Reply to this email directly or view it on GitHub.

AltGr added 5 commits April 16, 2014 10:44
Closes ocaml#941

Would be good to make specification of package name/version from the metadata
work directly (name conflict will fail with a message at the moment)
AltGr added a commit that referenced this pull request Apr 22, 2014
@AltGr AltGr merged commit c8bbf3d into ocaml:master Apr 22, 2014
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants