On 29/09/2013 13:49, Phil Clayton wrote:
Thanks for the update. The polyml.pc file appears to be generated as
expected. Using one set of linking flags for shared and static
libraries does not appear to matter actually: although unnecessary
linker flags can create unnecessary library dependencie
David,
26/09/13 18:31, David Matthews wrote:
I've just committed support for pkg-config with Poly/ML. Would you like
to have a look at it and see if it works as you expect? Let me know if
there are any changes needed. You had separate versions for the shared
and static libraries. I can see w
Phil,
I've just committed support for pkg-config with Poly/ML. Would you like
to have a look at it and see if it works as you expect? Let me know if
there are any changes needed. You had separate versions for the shared
and static libraries. I can see why you did that but it looks like it
Overall, my feeling is that it would be a good idea to create the PC
file as part of the build process but it's not going to be a substitute
for "polyc". "polyc" was originally intended as a convenient way to
compile and link programs written in ML for users who are more familiar
with the comp
19/09/13 16:05, Ramūnas Gutkovas wrote:
On 9/19/13 4:47 PM, Alex Merry wrote:
On 19/09/13 15:14, David Matthews wrote:
I don't know how useful it will be in general, though. I've done a
quick look and pkg-config doesn't seem to be installed on several
set-ups I looked at including Mac OS X and
On 9/19/13 4:47 PM, Alex Merry wrote:
> On 19/09/13 15:14, David Matthews wrote:
>> I don't know how useful it will be in general, though. I've done a
>> quick look and pkg-config doesn't seem to be installed on several
>> set-ups I looked at including Mac OS X and Solaris. The other problem
>> i
On 19/09/2013 07:44, Phil Clayton wrote:
18/09/13 12:51, David Matthews wrote:
The complication is that exactly which libraries have to be included
depend on how libpolyml was built. The configure script detects the
libraries that are needed to build "poly" and builds a linker command
line from
On 19/09/13 15:14, David Matthews wrote:
> I don't know how useful it will be in general, though. I've done a
> quick look and pkg-config doesn't seem to be installed on several
> set-ups I looked at including Mac OS X and Solaris. The other problem
> is that it is going to require the PC files t
18/09/13 12:51, David Matthews wrote:
The complication is that exactly which libraries have to be included
depend on how libpolyml was built. The configure script detects the
libraries that are needed to build "poly" and builds a linker command
line from that. In particular, -lgmp is included o