Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Commits on Feb 17, 2014
  1. @AltGr

    Merge pull request #1178 from avsm/clarify-manpage

    AltGr authored
    clarify the `opam-admin make --help` with for recursive downloads
Commits on Feb 15, 2014
  1. @avsm
Commits on Feb 11, 2014
  1. @AltGr

    Much better algorithm to print the causes of actions

    AltGr authored
    It is passed the user-specified packages, and tries to deduce the reason
    for all actions from there by propagating in the action graph
Commits on Jan 30, 2014
  1. @AltGr

    Cleanup warnings

    AltGr authored
  2. @AltGr

    Cleanup exception catching

    AltGr authored
    No more `try with _ ->`. Should make sure C-c is correctly handled everywhere,
    and we don't catch other unexpected errors.
    New guideline on `try with`:
    - either catch specific exceptions -- always the best
    - or re-raise the same exception, for finalisers
    - or call `OpamMisc.fatal e` on the exception before continuing
Commits on Jan 28, 2014
  1. @AltGr

    Added a share_root installation destination

    AltGr authored
    Needed for installing eg. editor modes in PFX/emacs/site-lisp ; hacks using '../' wheren't pretty
  2. @AltGr
Commits on Jan 2, 2014
  1. @AltGr

    opam-installer: bug-fixes

    AltGr authored
Commits on Dec 24, 2013
  1. @AltGr

    opam-installer: replace commands by args

    AltGr authored
    this is more obvious than `opam-installer install x.install`: install by default and add a --uninstall
    Closes #1029
  2. @AltGr
Commits on Dec 12, 2013
  1. @AltGr

    Defined empty_universe

    AltGr authored
    This may enable users of opam_lib not to break if we add fields
Commits on Dec 11, 2013
  1. @AltGr

    opam-admin: add a '--resolve' option that builds just the archives yo…

    AltGr authored
    …u need for a specific installation
Commits on Dec 10, 2013
  1. @AltGr

    Merge pull request #1028 from AltGr/fix-stats

    AltGr authored
    Fixed opam-admin stats for packages in sub-dirs
  2. @AltGr
  3. @AltGr
Commits on Nov 7, 2013
  1. @gildor478
  2. @gildor478
Commits on Nov 6, 2013
  1. @gildor478
Commits on Nov 4, 2013
  1. @gildor478
Commits on Oct 7, 2013
  1. @AltGr
Commits on Oct 1, 2013
  1. @samoht
Commits on Sep 30, 2013
  1. @samoht

    Tentative compat mode

    samoht authored
  2. @samoht

    Remove warnings

    samoht authored
  3. @samoht
Commits on Sep 26, 2013
  1. @AltGr
  2. @AltGr

    Merge pull request #886 from avsm/opam-admin-depexts

    AltGr authored
    Add `opam-admin depexts`
Commits on Sep 25, 2013
  1. @avsm
Commits on Sep 24, 2013
  1. @AltGr

    Fixed opam-admin make to consistently rebuild the archives

    AltGr authored
    +opam archives should be built if any file in the package has been changed, added or removed
    (we could exclude changes to the opam and descr files, but do we care ?)
    Closes #868, #874, #879 (together with the revert of the temporary fix)
Commits on Sep 17, 2013
  1. @samoht

    Tweaks to 'opam-admin stats'

    samoht authored
  2. @samoht

    Add 'opam-admin stats'

    samoht authored
Commits on Sep 16, 2013
  1. @samoht

    Fix #818

    samoht authored
Commits on Sep 3, 2013
  1. @AltGr
Commits on Aug 9, 2013
  1. @AltGr
Commits on Aug 8, 2013
  1. @AltGr

    Bundled opam-mk-repo and opam-repo-check in opam-admin

    AltGr authored
    with more consistent cli
Commits on Aug 5, 2013
  1. @samoht

    Fix compilation of scripts

    samoht authored
Something went wrong with that request. Please try again.