-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Alexander Hansen wrote: | 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. Following up after a look at the tracker item on this package: one way to check if this is a private library is if there are any header files. No headers generally implies that the library is private. -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.7 (MingW32) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org iD8DBQFH58vPB8UpO3rKjQ8RAgoNAJ0VR2nE4aMdKBBY2QN5fuKS3Npz2gCgjhNP +ACnJOLJ5NBu5GjC3b6FraI= =JsMn -----END PGP SIGNATURE-----
------------------------------------------------------------------------- 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
