Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0001023OCamlOCaml generalpublic2002-03-26 16:112002-04-24 13:19
Reporteradministrator 
Assigned To 
PrioritynormalSeverityminorReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0001023: [tim@fungible.com: Bug#139427: ocamlc.opt fails when linking if passed "-thread"]
DescriptionHello, ...

I have reproduced this problem, but have not really the time to look more into
it right now.

That said:

$ nm -D /usr/lib/ocaml/dllthreads.so | grep extern_sp
         U extern_sp

So the symbol does exist in the dllthreads.so file, and is a dyncamic symbol
(-D).

and linking foo.cmo in custom mode works well even with ocamlc.opt.

Sorry if i cannot provide more complete information on this on, if need be i
will look at it more next week.

Friendly,

Sven Luther

----- Forwarded message from Tim Freeman <tim@fungible.com> -----

Return-Path: <debbugs@master.debian.org>
Received: from isis.u-strasbg.fr (isis.u-strasbg.fr [130.79.200.1])
    by dpt-info.u-strasbg.fr (8.9.3/8.9.3) with ESMTP id FAA29111
    for <luther@dpt-info.u-strasbg.fr>; Fri, 22 Mar 2002 05:34:05 +0100
Received: from master.debian.org (master.debian.org [216.234.231.5])
          by isis.u-strasbg.fr (8.12.2/jtpda-5.4) with ESMTP id g2M4XJXx013352
          for <luther@dpt-info.u-strasbg.fr>; Fri, 22 Mar 2002 05:33:20 +0100 (CET)
Received: from debbugs by master.debian.org with local (Exim 3.12 1 (Debian))
    id 16oGjf-0007L9-00; Thu, 21 Mar 2002 22:33:03 -0600
X-Loop: owner@bugs.debian.org
Subject: Bug#139427: ocamlc.opt fails when linking if passed "-thread"
Reply-To: Tim Freeman <tim@fungible.com>, 139427@bugs.debian.org
Resent-From: Tim Freeman <tim@fungible.com>
Resent-To: debian-bugs-dist@lists.debian.org
Resent-CC: Sven Luther <luther@debian.org>, ocaml@packages.qa.debian.org
Resent-Date: Fri, 22 Mar 2002 04:33:01 GMT
Resent-Message-ID: <handler.139427.B.101677097925079@bugs.debian.org>
X-Debian-PR-Message: report 139427
X-Debian-PR-Package: ocaml
X-Debian-PR-Keywords:
Received: via spool by submit@bugs.debian.org id=B.101677097925079
          (code B ref -1); Fri, 22 Mar 2002 04:33:01 GMT
From: Tim Freeman <tim@fungible.com>
To: Debian Bug Tracking System <submit@bugs.debian.org>
X-Mailer: reportbug 1.48
Date: Thu, 21 Mar 2002 20:22:25 -0800
Message-Id: <20020322042225.AF54D8086@lobus.fungible.com>
Delivered-To: submit@bugs.debian.org
Resent-Sender: Debian BTS <debbugs@master.debian.org>
Status: RO
X-Status: A
Content-Length: 827
Lines: 26

Package: ocaml
Version: 3.04-9
Severity: normal

The subject line says it all. ocamlc without the ".opt" works fine,
so this is no big deal.

> cat foo.ml
print_string "Hi\n";
> ocamlc -thread -c foo.ml
> ocamlc -thread threads.cma foo.cmo -o foo
> ocamlc.opt -thread threads.cma foo.cmo -o foo
Error on dynamically loaded library: /usr/lib/ocaml/dllthreads.so: undefined symbol: extern_sp
>

-- System Information
Debian Release: 3.0
Architecture: i386
Kernel: Linux lobus 2.4.17 0000003 Mon Mar 4 19:04:26 PST 2002 i686
Locale: LANG=C, LC_CTYPE=C

Versions of packages ocaml depends on:
ii libc6 2.2.5-3 GNU C Library: Shared libraries an
ii libncurses5-dev 5.2.20020112a-5 Developer's libraries and docs for
ii ocaml-base 3.04-9 Runtime system for ocaml bytecode


----- End forwarded message -----

TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0000908)
administrator (administrator)
2002-04-24 13:19

Same bug as PR#643, fixed already.

- Issue History
Date Modified Username Field Change
2005-11-18 10:13 administrator New Issue


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker