Hi Alessandro, Alessandro DE LAURENZIS writes: > All tests are PASS, provided that we use gdiff(1) instead of diff(1) for > the dddmp set.
Careful... -# Store corresponding CNF in different format: +# Store corresponding CNF in gdifferent format: # NodeByNode method -> file 4.node1.tmp # MaxtermByMaxterm -> file 4.max1.tmp -# Best with different options: +# Best with gdifferent options: > HOMEPAGE = https://sourceforge.net/projects/cudd-mirror/ I think https://www.davidkebo.com/cudd is a better homepage. I would use both SourceForge and https://www.davidkebo.com/source/cudd_versions/ in MASTER_SITES. > One thing I'm not able to do is to force the name of the .so file to be > libcudd.so.0.0, instead of libcudd-3.0.0.so.0.0. Could someone point me > in the right direction? Well, it seems to create both. I suppose you could @comment out the redundant library in PLIST, but personally I wouldn't bother; in ports like textproc/apertium I just leave it be. Which one does OpenSTA pick up? -- Anthony J. Bentley
