You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Original bug ID: 1023 Reporter: administrator Status: closed Resolution: fixed Priority: normal Severity: minor Category: ~DO NOT USE (was: OCaml general)
Bug description
Hello, ...
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.
-- System Information
Debian Release: 3.0
Architecture: i386
Kernel: Linux lobus 2.4.17 #3 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 -----
The text was updated successfully, but these errors were encountered:
Original bug ID: 1023
Reporter: administrator
Status: closed
Resolution: fixed
Priority: normal
Severity: minor
Category: ~DO NOT USE (was: OCaml general)
Bug description
Hello, ...
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.
-- System Information
Debian Release: 3.0
Architecture: i386
Kernel: Linux lobus 2.4.17 #3 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 -----
The text was updated successfully, but these errors were encountered: