Thanks Anil, just clarified that command-line option takes precedence,
which is indeed the most sensible thing to do.

On Sat, Mar 01, 2014 at 03:43:40PM -0800, Anil Madhavapeddy wrote:
> In src/client/opamArg.ml:
> 
> > @@ -402,8 +399,11 @@ let global_options =
> >        "Do not use the external aspcud solver, even if available." in
> >    let solver_preferences =
> >      mk_opt ["criteria"] "CRITERIA"
> > -      "Specify preferences for the external solver. \
> > -       This is equivalent to setting $(b,\\$OPAMCRITERIA)."
> > +      ("Specify user $(i,preferences) for dependency solving. \
> > +        This is equivalent to setting $(b,\\$OPAMCRITERIA). \
> 
> Minor note: we don't specify if the command-line or environment variable takes
> precedence if both are specified.
> 
> —
> Reply to this email directly or view it on GitHub.*
> 

-- 
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 3020 (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