Skip to content
This repository


Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
  • 392 commits
  • 141 files changed
  • 7 contributors
This comparison is big! We're only showing the most recent 250 commits
Dec 12, 2012
Thomas Gazagnaire Add opam {install,remove} 980bb48
Thomas Gazagnaire Refactoring some code, use global build options for install/reinstall…
Thomas Gazagnaire Really add the build options to 'opam upgrade' 6755580
Thomas Gazagnaire Add opam upload 3b603f5
Dec 13, 2012
Thomas Gazagnaire Add subcommand helpers and rewrite 'opam config' with this.
This looks much cleaner now!
Thomas Gazagnaire Add 'opam remote/repository' f9e498b
Thomas Gazagnaire Add 'opam switch' 0372da8
Thomas Gazagnaire Add the final 'opam pin' command! 889e116
Thomas Gazagnaire Fix subcommands handling 28509a2
Thomas Gazagnaire Add AUTHORS info on man pages 2c300ae
Thomas Gazagnaire Remove deprecated manual sources. The man pages will now be generated…
… by cmdliner.
Thomas Gazagnaire Add a Makefile to generate the man pages 987a306
Thomas Gazagnaire Forgot to add 'opam upload' to the list of possible commands 0bbb813
Thomas Gazagnaire Add the new man pages c16ffc0
Thomas Gazagnaire Update doc Makefile 2bbc318
Thomas Gazagnaire Fix 'opam config -env' 0cc523d
Thomas Gazagnaire Fix 'opam switch'. I added a new enum_with_default converter to handl…
…e enumeration with a default element. Could be useful for others I guess, so I'll try to push that upstream (later ...)
Dec 14, 2012
Thomas Gazagnaire cosmetic change 8d0b151
Thomas Gazagnaire Fix man pages db694c9
Thomas Gazagnaire Fix 'opam switch' documentation 485842a
Thomas Gazagnaire Partially fix the test cases
The last (I hope) issue is that cmdliner apparently does not like: opam --root X COMMAND
Thomas Gazagnaire opam upload takes a required repository as positional argument. 8a6929e
Thomas Gazagnaire Each global variable can be set-up using environment variables 2c7d855
Thomas Gazagnaire All the tests pass again! Yipee! 7c726be
Thomas Gazagnaire Download cmdliner 55bfacf
Thomas Gazagnaire Bump to 0.9.0 44e5181
Thomas Gazagnaire Update CHANGES 6dddc1d
Thomas Gazagnaire Update man pages 58416a0
Thomas Gazagnaire First round of changes after @dbuenzli useful remarks (see #157) 746b8b2
Dec 15, 2012
Anil Madhavapeddy Merge branch 'master' of 2288c8b
Anil Madhavapeddy Merge branch 'cmdliner' of git:// d6b0741
Anil Madhavapeddy various typos in cmdliner help 3aec588
Thomas Gazagnaire Merge pull request #327 from avsm/master
typos in help
Dec 17, 2012
Thomas Gazagnaire Fix 'opam pin' (#328) cf8d00d
Thomas Gazagnaire Be more explicit about environment variables. e799d16
Thomas Gazagnaire Improve 'opam switch' help 6524ea0
Thomas Gazagnaire Add Frederic in the author list and a FURTHER DOCUMENTATION section. f84b7b2
Thomas Gazagnaire Subcommands are now optional ...
When they are not provided, use a sensible default (e.g. 'list').
Thomas Gazagnaire Horrible hack to have 'opam config -env' working again. f070e8c
Thomas Gazagnaire Fix backward compatibility with rsync pinned packages 845b1ea
Thomas Gazagnaire Add the global variables to 'opam config list' 6f0d0f6
Thomas Gazagnaire Merge branch 'cmdliner' of into cmdliner 8f3099c
Thomas Gazagnaire Fix typo in 'opam config var' help 00b9859
Thomas Gazagnaire Display the implicit variables with 'opam config list' bf011f2
Thomas Gazagnaire Add the ability to filter the list of variables.
$ opam list conf-ocaml lwt

('conf-ocaml' or 'globals' for global variables)
Dec 18, 2012
Thomas Gazagnaire Fix jenkinks script 779a365
Thomas Gazagnaire Fix regression in 'opam update' when updating local pinned packages 096ca3b
Thomas Gazagnaire Really fix 'opam update' regression (continue 096ca3b) 6b2401d
Thomas Gazagnaire Improve 'opam info' output (and add the ability to see info about non…
…-available packages)
Thomas Gazagnaire It is now possible to disable some packages on some OS
os: [ !"darwin"]


os: ["linux" "bsd"]

This is quite had-hoc at the moment (ie. a typo will not be detected) but it is sufficient to close #260
Thomas Gazagnaire Improve 'opam switch'
* better 'opam switch list'
* better documentation (this should fix #299)
* add compiler description files (this should fix #305)
Anil Madhavapeddy update CHANGES to be pandoc friendly 1d8bf89
Thomas Gazagnaire Merge pull request #331 from avsm/patch-2
update CHANGES to be pandoc friendly
Thomas Gazagnaire Improve 'opam switch list' for system compilers ff2c512
Thomas Gazagnaire Update 33d1c10
Thomas Gazagnaire Update 7afae52
Thomas Gazagnaire Update 415544e
Thomas Gazagnaire Update 2ee2d70
Anil Madhavapeddy Update CHANGES to remove pandoc header 485bbeb
Thomas Gazagnaire Merge pull request #332 from avsm/patch-3
Update CHANGES to remove pandoc header
[new] Adding a darcs backend db84faa
[change] Updating OPAM modules to integrate the darcs backend 7493ba7
Merge branch 'master' of into darcs-…

Thomas Gazagnaire Merge branch 'master' of c3b8859
Thomas Gazagnaire Fix installation of packages when some main dependencies are optional…
… (ie. depends: [ ("lwt" | "sqlite3-ocaml") ])

This should fix ocaml/opam-repository#235
[fix] Fixing 'darcs fetch' and 'darcs apply' consistency 34852c8
Merge branch 'master' of into darcs-…
Thomas Gazagnaire Update CHANGES c812512
[refactoring] Factorizing a match case with darcs 24456f0
Thomas Gazagnaire Merge pull request #333 from venator/darcs-backend
Darcs backend
[new] Adding support for darcs URLs in OPAM files e031be6
Merge branch 'master' of into darcs-…
Thomas Gazagnaire Merge pull request #334 from venator/darcs-backend
Darcs URLs in OPAM files
Thomas Gazagnaire Update CHANGES 653f115
Thomas Gazagnaire It is now possible to use OPAM without any preinstalled compiler
Hence, this should work:

$ opam init -c 3.12.1
$ opam init -c 4.00.1+french
$ ...

This should fix #250
Thomas Gazagnaire Update the message after 'opam switch'.
'opam --root XXX config env' is not valid with cmdliner (because of ambiguities) need to use 'opam config env --root XXX'
Thomas Gazagnaire Update CHANGES d04e5fb
Thomas Gazagnaire Remove alternative commands.
It's less confusing to have only one way to name things.
Thomas Gazagnaire Fix #335
--yes was not working with the new command-line interface
Dec 19, 2012
Anil Madhavapeddy `opam config -list-vars` is now `opam config list` it appears 9c7cf9d
Thomas Gazagnaire Fix typo in '--verbose' documentation ca3f097
Thomas Gazagnaire desambiguate -r: -r=--root and -R=--rec 57b653c
Anil Madhavapeddy Fix typo for OPAMVERBOSE 577796c
Thomas Gazagnaire Merge pull request #338 from avsm/patch-4
Fix typo for OPAMVERBOSE
Anil Madhavapeddy more fixes to cmdliner jenkins 0f85da6
Thomas Gazagnaire Merge pull request #339 from avsm/master
jenkins update
Anil Madhavapeddy one more fix to jenkins for mirage 8521a7b
Thomas Gazagnaire Update the tutorials PDF 4e36b2a
Thomas Gazagnaire Merge branch 'master' of 3669605
Anil Madhavapeddy Merge branch 'master' of git:// 160e8d4
Thomas Gazagnaire Merge pull request #340 from avsm/master
more jenkins
Thomas Gazagnaire Improvements to 'opam pin' to not build and sync in the same folder 657e7fb
Thomas Gazagnaire WIP the usual pinning codepath is now much cleaner, and the checkout …
…of specific commits is broken
Thomas Gazagnaire Pinning to a specific git commit seems to work fine!
This would help fixing #267 (but not completely yet)
Thomas Gazagnaire Update CHANGES 8e9d46c
Thomas Gazagnaire [remove] if the remove command only use 'ocamlfind', then it is not n…
…ecessary to extract the archive again.
Thomas Gazagnaire Update CHANGES e99b7c3
Thomas Gazagnaire Add some documentation about git pinning to a given commit/tag/branch. c10af2d
Dec 20, 2012
Thomas Gazagnaire Update AUTHORS list 3d33157
Thomas Gazagnaire Fix tests e40c5b0
Thomas Gazagnaire OS filter are now valid formulas e7106b9
Thomas Gazagnaire Fix distclean target f601924
Thomas Gazagnaire Fix typos. 8e778e5
Thomas Gazagnaire Update API docs d7cc8a9
Thomas Gazagnaire Update man pages 4e91d69
Thomas Gazagnaire Rename roadmap -> spec 26e6b59
Thomas Gazagnaire Update CUDF adress c8e8e58
Thomas Gazagnaire The roadmap now almost look similar to a dev manual. It's not totally…
… polished yet, but I guess it's ok for now on.
Thomas Gazagnaire Update 0a4a546
Thomas Gazagnaire Update README ac523f2
Thomas Gazagnaire Fix typo in README fa47fcd
Dec 21, 2012
update the mail to a working one before 2013 89d81e9
update the mail to a working one after 2013 eef3150
Thomas Gazagnaire Merge pull request #345 from tuong/master
update the mail to a working one after 2013
Thomas Gazagnaire Fix src_ext Makefile c76d28d
Thomas Gazagnaire Create log files in ~/.opam/log when doing `which <cmd>` to check if …
…<cmd> exists.

This should fix #342
Thomas Gazagnaire Merge branch 'master' of 961bbeb
Thomas Gazagnaire Allow to add homepage, doc (page), authors list, and license metadata…
… in OPAM files.

'opam info <package>' will display them.

Also: 'opam info <package> -f doc' will display the documentation page, so it's possible to do: firefox `opam info xmlxm -f doc` if needed (and users can create an opam-doc alias if they want).

This will help fixing #249. One thing is still missing, the build-doc field which will come in a later patch.
Thomas Gazagnaire Add a way to execute tests and build documentation.
* OPAMBUILDTEST=1 or --build-test
* OPAMBUILDOC=1 or --build-doc

OPAM will run:
1/ the commands in build
2/ the commands in test (if the right flag is enabled)
3/ the commands in doc (if the right flag is enabled)
4/ will copy the files specified in <package>.install in the right place

So this means that the doc command need to either install the pages itself, or the .install file should be correct.

This should fix #249
Thomas Gazagnaire Update CHANGES 72e2d9d
Dec 31, 2012
Anil Madhavapeddy fix typo in locking error 62cc33b
Anil Madhavapeddy add fuse-dev for jenkins 27b1ff2
Jan 01, 2013
Anil Madhavapeddy jenkins: add some pkg dependencies 5099b72
Thomas Gazagnaire Merge pull request #355 from avsm/master
jenkins and minor typo fix
Jan 03, 2013
Thomas Gazagnaire Update README
This should fix #352
Thomas Gazagnaire Fix typo e465a0b
Thomas Gazagnaire Fix #350
Need to call real-path in case the repository address is local.
Thomas Gazagnaire Fix the creation of a big archive
This should help fixing #347
Thomas Gazagnaire Fix previous commit (this should help fixing #347) 6d62355
Thomas Gazagnaire Improve opam-mk-repo:
opam-mk-repo package.version now works
Thomas Gazagnaire Do not install the library files by default. bfcf58b
Thomas Gazagnaire Improve uninstall messages.
This should help fixing #348
Thomas Gazagnaire Load the right environment variables when uninstalling.
This hopefully should fix #348
Thomas Gazagnaire Fix generation of opam.1 fd8a2f7
Thomas Gazagnaire Update man pages 3ead08a
Thomas Gazagnaire Update to the dev manual about .install 99da714
Thomas Gazagnaire Fix duplicate entries in `opam config list`
This should fix #359
Jan 04, 2013
Thomas Gazagnaire Generate and upload a full archive for a given version.
This will help fixing #347 breakage in the future and it will also please BSD packagers which don't want a package to get network access while building a package.
[tests] provide more checking ae17b34
Thomas Gazagnaire Refactor src_ext Makefile to ease dependency updates 39fc962
Thomas Gazagnaire Use cmdliner 0.9.3 ff1c080
Jan 06, 2013
Thomas Gazagnaire Really fix the weird uninstall problem
I've finally nailed down issue #348 (and #362). The issue was indeed caused by da0d7de:
* This commit is implementing an useful optimization: in case the remove command is 'ocamlfind remove XXX' only, then OPAM don't create ~/.opam/<switch>/build/<pkg> anymore. Which means increased uninstall time.
* However, the uninstall command was still run in ~/.opam/<switch>/build/<pkg>. If that directory does not exists, the command was just dropped silently.
* OPAM automatically removes ~/.opam/<switch>/lib/<pkg>, so when the package was not using C bindings (with stub files in ~/.opam/<switch>/lib/stublibs) the bug was hidden
* Using OPAM with OPAMKEEPBUILDIR=1 (which means that the build dir wasn't removed during upgrades) hides the bug

So now I've fixed the bug:
* when we do an exec in a given dir, OPAM fails if the dir doesn't exist
* on uninstall, if the build dir is not there run the uninstall command at the OPAM root

This should fix #362
Jan 07, 2013
Thomas Gazagnaire Merge pull request #361 from tuong/master
[tests] provide more checking
Thomas Gazagnaire Fix #361
%{package.section:variable}% is confusing but '.' is the only non-ambiguous package name separator in OPAM currently. So instead, warm the user when he tries to use that syntax incorrectly.
Thomas Gazagnaire Revert "[tests] provide more checking"
This reverts commit ae17b34 because 01754cf correctly warms the user about his mistakes now.
Thomas Gazagnaire Change --cores to --jobs to be more consistent 078f652
Thomas Gazagnaire Change cores to jobs in the code as well 9271600
Thomas Gazagnaire Do not display "ocamlc: command not found" when initializing OPAM whe…
…n no compiler is available
Thomas Gazagnaire Remove the "-c" short-cut to "--comp" because "-comp" is then underst…
…ood to "-c omp" which is quite ambiguous
Thomas Gazagnaire Improve error reporting on 'opam init'.
* better error message in case the repository address is invalid
* better error message in case the compiler name is invalide

This should improve #357
Thomas Gazagnaire Clean-up some tests, add an option to be a bit less verbose a6d6d28
Thomas Gazagnaire Raise internal_error in this means the error will be r…
…eported nicely by OPAM when the error happens in a child process (ie. while building)
Thomas Gazagnaire Use a pipe instead of a temp file to marshall back errors from child …
…processes to parent.

This should fix #349
[opam-repo-check] add an option to normalize the files (read only by …
[opam-repo-check] we continue 5a1b838 6f6e0a5
Thomas Gazagnaire Improve the message displayed to the user when we reinstall packages.
Now OPAM display either:
* the root causes of the reinstall (ie. the package which caused the reinstallation)
* or the fact that the package has been modified upstream
Thomas Gazagnaire Fix a bad bug with wrong environment setting.
Sometime, it 'opam config env' hadn't been called in the current shell, some package build was failing miserably. This commit clean-up a lot of small things in the management of environements, so now 'opam install XXX' should always work even if the user has a wrong environment set-upt.
[opam-repo-check] add an option to repair most of warnings found when…
… analyzing files
Thomas Gazagnaire Fix Makefile oldity 0e2c647
Thomas Gazagnaire 'opam export' and 'opam import' now takes -f to specify the filename.…
… In case no filename is given, import reads stdin and export uses stdout.
Thomas Gazagnaire Update CHANGES ae636d1
Jan 08, 2013
Merge branch 'master' of f1df108
Fix the number of jobs by default, see 419f416 . 45a3533
Thomas Gazagnaire Merge pull request #363 from tuong/master
Fix the number of jobs by default, see 419f416 .
Thomas Gazagnaire Improve debugging of solver inputs.
Now, we can use --dry-run to not install anything (ie. we just ask the solver) and --cudf=foo to generate foo-<n>.cudf containing the request for the n-th call to the (internal or external) solver.

This should fix #364
Thomas Gazagnaire Merge branch 'master' of 8b6f549
Thomas Gazagnaire Fix 'opam config env'
This is a regression introduced in e65ff1b which causes to display the full environment when doing 'opam config env' instead of just the bits modified by OPAM.

This should fix #365
Thomas Gazagnaire Fix CUDF preamble
This should fix #366
Thomas Gazagnaire Continue 7534903 (issue #365).
The unit-tests are passing again.
Thomas Gazagnaire Continue 396f0b5
Now we display the root cause for every action proposed by the solver. This should improve the user experience quite a bit ...
Jan 09, 2013
Thomas Gazagnaire Update CHANGES 701ebe7
Thomas Gazagnaire Clean-ups in the tests Makefile 7c9a86c
Thomas Gazagnaire Distinguish between packages explicitely installed by the user and th…
…e rest.

This let us uninstall unecessary packages when one root package is uninstalled.

Also, try to give some explanations when deleting packages as well.
Thomas Gazagnaire Improve the root cause analysis of OPAM actions. 1ca631f
Thomas Gazagnaire Clean-ups: OPAM now compiles with -warning-error A -w +A-4-9 19de888
Thomas Gazagnaire Init ~/.opam/<switch>/installed.user with the initial packages (it wa…
…s working before, because is that file is empty, then OPAM copies the content of ~/.opam/<switch>/installed).
Thomas Gazagnaire Initialize installed.user when switching and importing packages ff8a568
Thomas Gazagnaire Code refactoring: change installed.user -> installed.roots
No semantic changes
Thomas Gazagnaire Update CHANGES 007df0a
Thomas Gazagnaire Add --installed and --short options to 'opam switch list'
The --installed option only display the currently installed compiler switches.
The --short option make OPAM display the list of available 'opam switch' target (ie. available compiler + installed switches) on one line, separated by spaces.

This should fix #371
Thomas Gazagnaire Fix the documentation for --short (as it can be used with 'opam switc…
…h list' as well now)
Fix the non-termination of OPAM when sometimes we install an arbitrar…
…y package, see 006293e .
Thomas Gazagnaire Merge pull request #372 from tuong/master
Fix the non-termination of OPAM when sometimes we install an arbitrary package, see 006293e .
Thomas Gazagnaire Improvement to the solver heuristics:
* Reduce the size of the state space explored by the brute-force heuristics.
* Minimize the actions perfomed by OPAM to only the one explicitely required by the user.

This should fix #323 (or at least greatly improve similar situations).
Thomas Gazagnaire Merge branch 'master' of 8b7e627
Thomas Gazagnaire Update CHANGES 6e81524
Jan 10, 2013
we continue 7fcfe9c 92c8d85
Thomas Gazagnaire Merge pull request #374 from tuong/master
we continue 7fcfe9c
Thomas Gazagnaire Clean-ups in the tests:
* the build scripts now fail properly on build error
* the final test to check wgether compiler env variables works is more robust
Thomas Gazagnaire Really fix #349 and #262
We really need to use files here, as the parent will not consider running childs and will only look for their termination before eventually reading the marshaled error. If we use a normal pipe, this could easily to lead to dead-locks, as pointed out by @tuong.

This fix re-add the initial temporary file (but this time, they are simply in ~/.opam/logs and really unique).

So this commit partially revert 92c8d85, 7fcfe9c and 006293e. Partially because it keeps the good idea of truncating the output in case either stderr or stdout are too long.

So this commit greatly improve the user experience when there is a compilatin error. The location of full logs is showed in case the truncated lines are not enough to solve the problem.
Thomas Gazagnaire Add a --fake option.
Using this mode, OPAM will work in a simulation mode where all the build/install will be simulated.  This will *greatly* help debugging weird solver behavior (if any).

BEWARE: do not mix --fake commands with normal commands within the same compiler switch: this will definitely corrupt the state of OPAM. So use this wonderful option with care :-)
Thomas Gazagnaire Update CHANGES c52d652
Jan 11, 2013
Update completion script for zsh 8321696
Merge branch 'master' of dfe666b
Update the way to get the list of sub-commands 4a23fbf
Thomas Gazagnaire Merge pull request #379 from cago/master
Update completion script for zsh
Thomas Gazagnaire Register all the printers in one place (eg. in OpamSystem) effa6cc
Thomas Gazagnaire Improve the output of opam-mk-error on error.
This should help debugging #378
Thomas Gazagnaire Do not use spawn a shell to do redirect when creating index.tar.gz. A…
…pparently it can fail on some system and tar simply accepts an output file as argument.

This should fix #378
Thomas Gazagnaire Merge branch 'master' of 8784502
Thomas Gazagnaire Fix typo. This should really fix #378 7b1936b
Thomas Gazagnaire Improvements to opam-mk-repo.
* Warn when skipping non-existant packages.
* Do nothing if the user has provided no valid packages.
* Be more robust when trying to create index.tar.gz or urls.txt in empty repositories (ie. do nothing in this case).
Thomas Gazagnaire Add the build flags to 'opam import' a83b7a7
Thomas Gazagnaire Import/export the root packages as well. 0691322
Thomas Gazagnaire 'opam remove' should behave nicely when using with --fake ac97eaa
Thomas Gazagnaire Installed packages are always available.
This means that you can remove a repository and continue to use the packages normally as long as they are installed. Once uninstalled (because of upgrade/remove), then they will disapear.

This should fix #309
Thomas Gazagnaire Refactoring, no semantic changes 0d418eb
Thomas Gazagnaire Fix 'opam remove' solver request.
* Manually the packages depending on the ones we want to remove
* keep the same version for the transitve closure of soft-dependencies of installed roots
* and call the solver which will delete all the remaining non-root packages
Thomas Gazagnaire 'opam init' now accepts --fake (ie. to fake the installation of base …
Thomas Gazagnaire When using the external solver, also display the command used to call…
… the solver at the first line of the generated CUDF file (if using --cudf option)
Thomas Gazagnaire Display a line on the CUDF file to say when we use the internal solver 4884e5e
Thomas Gazagnaire Display a message when using --dry-run 6fe8698
Thomas Gazagnaire By default, use the 'paranoid' strategy when an external solver is av…

If you want to tweak the stategy used, change OPAMCRITERIA (for instance OPAMCRITERIA=-new,-remove), see /usr/bin/aspcud for available options (the package is available under debian in apt-cudf.
Thomas Gazagnaire Test. Do not pollute OPAM root with the export file. c40b9fb
Thomas Gazagnaire Add a success message when the test is successful (sorry @altgr no co…
Thomas Gazagnaire Clean up log files when the command is a success, and do not polute t…
…he root of OPAM (ie. everything goes into ~/.opam/log or ~/.opam/<switch>/build/<package>/)
Thomas Gazagnaire Improve error messages in OpamSystem 52ff3b5
Thomas Gazagnaire On upgrade, if we recompile packages because of upstream changes (whi…
…ch is typically the case when we use dev packages), remember which packages successfuly build and install to not have to handle them again on the next upgdrade.

This was working well when we were upgrading because of new packages, so now the behavior is much more consistent.
Thomas Gazagnaire Always create a new archive from 'git -tar' when using dev packages, …
…this is much more robust (and it not much slower anyway).
Thomas Gazagnaire Add consistency checks when using 'opam pin'.
This will make the semantics easier to understand (but one could still use --force to bypass the checks).

This should fix #384
Thomas Gazagnaire On startup check that repository state are consistent and try to fix …
…eventual issues.

This could be extended later by adding more consistency checks.
Thomas Gazagnaire Improve again the output in case of errors. f2f01f2
Thomas Gazagnaire Improve output of 'opam info' when the description is short (ie. only…
… one line).
Thomas Gazagnaire Improve the pin consistency checks, and consider that the pinned pack…
…age is the one with max-version. I guess it would be better to give the option to the user to choose which is the corresponding version but no hurry.
Thomas Gazagnaire Fix-up 'up-to-date' messages on 'opam update'. 6ed456a
Jan 12, 2013
Thomas Gazagnaire Better message when the version of OPAM is not up-to-date.
It's maybe a bit harsh to beg the user to upgrade on every opam invocation, but I guess we could improve that with 1.0.0.

This should fix #382
Thomas Gazagnaire Register some global statistics. Use OPAMSTATS=1 to activate. e374647
Thomas Gazagnaire Fix 'opam pin --force' 5580784
Thomas Gazagnaire Improve opam-mk-repo message when it fixes a checksum 2bd42db
Thomas Gazagnaire Filename.get_temp_dir_name does not exists in OCaml 3.12.1
This should fix #386
Jan 13, 2013
Pcre was renamed into Re_pcre 544a04f
Thomas Gazagnaire Add a patch to make dose use the new re.pcre API instead of pcre-ocaml.
This is not activated yet as need to wait for upstream changes and #387.
we continue 995cea3
The fix-point is really really 1 step now.
Thomas Gazagnaire Merge pull request #388 from tuong/master
we continue 995cea3
Jan 14, 2013
Thomas Gazagnaire Display a warning if one of the base package is not installed 97aa1f2
Thomas Gazagnaire More stats 72547f1
Pierre Chambart When an external solver is available, make a correct request for it. 45479fd
Thomas Gazagnaire Fix update of compiler description on 'opam update'. 4d9415d
Thomas Gazagnaire Merge branch 'master' of 9e45f6a
Thomas Gazagnaire Merge pull request #389 from chambart/master
Format the install request build in opamClient so that an external cudf solver can solve it correctly
Thomas Gazagnaire Fix initialization.
Check the consistency of base-package only when we switch.

This should fix #390
Thomas Gazagnaire Merge branch 'master' of 8d306e1
Jan 15, 2013
Thomas Gazagnaire Update to ocaml-re 1.2.0
This is related to #387
Thomas Gazagnaire Merge pull request #387 from mehdid/master
Pcre was renamed into Re_pcre
Thomas Gazagnaire Merge branch 'master' of 20abd32
Thomas Gazagnaire Fix end-of-line warning with OpamVersion 8cd4718
Thomas Gazagnaire Fix to make the new ocaml-re compile 366a87c
Thomas Gazagnaire Update dose patch for the new ocaml-re c1c6c03
Thomas Gazagnaire Update CHANGES 972415e
Thomas Gazagnaire Bump version number b644f1f