OpenCASCADE upgrade trouble

[Andrea Venturoli]

On 12/01/14 22:46, David Wolfskill wrote:

> Please read ports/UPDATING entry 20141127; its advice may well be
> relevant.

Thanks for your answer, but this is not related.
BTW I checked my port tree and have no such problem.

Anyhow, I remember having this problem in the past; it was packing list 
related and choosing some set of options solved it; unfortunately those 
options are gone.

  bye & Thanks
	av.