This is the mail archive of the cygwin-apps@cygwin.com mailing list for the Cygwin project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: [PATCH] Postinstall script ordering in setup - take 3


On Mon, 2003-03-17 at 07:26, Robert Collins wrote:

> > Transitivity
> > x < y and y < z implies x < z [3]
> 
> y:= foo: gam
> x:= gam
> z:= bar: foo
> 
> both our operators give
> x < y && y < z && !x < z
> (dep)    (dep)    (alpha)

and !x < z for the dependency only < operator too.

> which isn't transitive.

Rob
-- 
GPG key available at: <http://users.bigpond.net.au/robertc/keys.txt>.

Attachment: signature.asc
Description: This is a digitally signed message part


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]