On Mar 23, 2008, at 9:51 PM, John Ridgway wrote: > Friends - > Poly/ML is an implementation of the ML programming language. As such, > it has an interpreter which basically just loads the Poly/ML library > and runs it. It is possible to have a program that uses the Poly/ML > library but doesn't need the interpreter. > > The current version of Poly/ML is 5.1. Poly/ML 4.1.4 is still out > there, and may want to appear in Fink at some point. I would like to > create package polyml5 and have polyml5-shlibs as a split-off of it. > The problem is that libpolyml.dylib is at version 1.0.0 (or 2.0.0, I > forget which), not 5-something, and this seems to violate the Fink > packaging guidelines. Can anyone help me out of my conundrum? It > would seem very odd for package polyml5 at version 5.1 to have polyml- > shlibs at version 1.0.0 as a SplitOff. > > I would really like to get Poly/ML into Fink so I can get Isabelle > into Fink as well. > > Peace > - John > >
The name of the base package and the -shlibs don't actually have to agree. The -shlibs splitoff should be numbered by the compatibility version of the library. By policy, the -shlibs package for Poly/ML 5.1 would need to be "polyml1-shlibs" or "polyml2-shlibs", depending on what the version of the library actually is. You could, however, leave its shlibs splitoff as polyml-shlibs, since it's the first shared library package for a polyml* package. For that matter, if Poly/ML 5.1 is the first such package in Fink, you can just call it polyml. Then if Poly/ML 4.1.4 is added to Fink at some point, it can be called polyml4, and its shared library package would be polymlN-shlibs, where N corresponds to its compatibility version. One question, though: would the library packages ever be used by anything else, or just by polyml? If the latter, then you don't even have to have a splitoff. ------------------------------------------------------------------------- This SF.net email is sponsored by: Microsoft Defy all challenges. Microsoft(R) Visual Studio 2008. http://clk.atdmt.com/MRT/go/vse0120000070mrt/direct/01/ _______________________________________________ Fink-devel mailing list Fink-devel@lists.sourceforge.net http://news.gmane.org/gmane.os.apple.fink.devel