Libraries linked with Jed

[Jörg Sommer <joerg@xxxxxxxxxxxx>]

Hallo John,

"John E. Davis" <davis@xxxxxxxxxxxxx> wrote:
> Jörg Sommer <joerg@xxxxxxxxxxxx> wrote:
>> I've some patches I would like to see included in your source tree.
>
> I added the patches

Thanks.

> except for the dynamic linking one:
>
>> http://git.debian.org/?p=pkg-jed/jed.git;a=commitdiff;h=d1558cb5d7b7e1cd4d8519976efb85453d6c1fc3
>>
>>     Remove dynamic linking checks and options
>>
>>     The dynamic linking stuff isn't used by Jed directly. The SLang library
>>     does the work. The bad side of these dynamic linking stuff is that it
>>     introduces an unnecessary dependency on libdl. It doesn't use anything
>>     from libdl, but by linking to it it adds a dependency to the ELF header.
>
> The problem is that the patch removes the --export-dynamic flag that
> some modules require if they use functions provided by jed.  As I
> recall, Paul has some modules that do this.  Is there any particular
> reason why the patch removed this?

I didn't see that impact. My main intention was to remove the dependency
to libdl, because jed doesn't use it. A while ago, Debian started to
evaluate dependencies on binary level, i.e. they look at the ELF header
and generate the list of needed libraries (and packages) from this. Jed
is linked with libdl and libm, but it doesn't use anything from these
libs.

So, I've looked where this dependency on libdl comes from and found the
check in aclocal.m4. I've thought the intent of this check is to guess if
S‐Lang was compiled with dynamic linking, i.e. if it supports import().

I think the best thing is to add a check that verifies that S‐Lang is
built with import and than set JED_HAS_IMPORT according to the result.
Should I write such a check?

BTW: Why do you link with libm? At least, the Debian check tells me it's
  not needed.

Bye, Jörg.
-- 
Life can only be understood backwards, but it must be lived forwards.
                                             (Soren Kierkegaard)

--------------------------
To unsubscribe send email to <jed-users-request@xxxxxxxxxxx> with
the word "unsubscribe" in the message body.
Need help? Email <jed-users-owner@xxxxxxxxxxx>.