caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
* [Caml-list] Dynamically loaded library problems (ocaml-3.05)
@ 2002-07-30  9:45 Hans Ole Rafaelsen
  2002-07-30  9:56 ` Xavier Leroy
  0 siblings, 1 reply; 6+ messages in thread
From: Hans Ole Rafaelsen @ 2002-07-30  9:45 UTC (permalink / raw)
  To: caml-list

Hi,

I just installed ocaml-3.05.  Compiling and installation worked
without any complains.  However, I am having problems linking with
dynamic libraries.

hansr [4] [11:29] [~] ocamlmktop -o mytop nums.cma
Error on dynamically loaded library: /usr/local/lib/ocaml/dllnums.so: undefined symbol: custom_compare_default

hansr [5] [11:30] [~] ocamlmktop -o mytop str.cma
Error on dynamically loaded library: /usr/local/lib/ocaml/dllstr.so: undefined symbol: custom_compare_default

hansr [6] [11:37] [~] ocaml
        Objective Caml version 3.05

# #load "str.cma";;
Cannot load required shared library: /usr/local/lib/ocaml/dllstr.so: undefined symbol: custom_compare_default.
#

etc....

The OS is RedHat 7.1.  Two different system have been tried.  One
using gcc 2.96 and the other gcc 3.04.

Ocaml-3.04 does have these problems.

Any suggestions on what I might be doing wrong?


Best regards,

Hans Ole Rafaelsen
-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners


^ permalink raw reply	[flat|nested] 6+ messages in thread

* Re: [Caml-list] Dynamically loaded library problems (ocaml-3.05)
  2002-07-30  9:45 [Caml-list] Dynamically loaded library problems (ocaml-3.05) Hans Ole Rafaelsen
@ 2002-07-30  9:56 ` Xavier Leroy
  2002-07-30 15:08   ` John Max Skaller
  0 siblings, 1 reply; 6+ messages in thread
From: Xavier Leroy @ 2002-07-30  9:56 UTC (permalink / raw)
  To: Hans Ole Rafaelsen; +Cc: caml-list

> I just installed ocaml-3.05.  Compiling and installation worked
> without any complains.  However, I am having problems linking with
> dynamic libraries.
> 
> hansr [4] [11:29] [~] ocamlmktop -o mytop nums.cma
> Error on dynamically loaded library: /usr/local/lib/ocaml/dllnums.so: undefined symbol: custom_compare_default

On a fresh 3.05 install, dllnums.so should be loaded from lib/ocaml/stublibs
rather than lib/ocaml.  I conjecture you have old files lying around
in /usr/local/lib/ocaml.  Try "rm -rf /usr/local/lib/ocaml" before
installing OCaml 3.05.

- Xavier Leroy
-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners


^ permalink raw reply	[flat|nested] 6+ messages in thread

* Re: [Caml-list] Dynamically loaded library problems (ocaml-3.05)
  2002-07-30  9:56 ` Xavier Leroy
@ 2002-07-30 15:08   ` John Max Skaller
  2002-07-30 16:18     ` Sven LUTHER
  0 siblings, 1 reply; 6+ messages in thread
From: John Max Skaller @ 2002-07-30 15:08 UTC (permalink / raw)
  To: Xavier Leroy; +Cc: Hans Ole Rafaelsen, caml-list

Xavier Leroy wrote:

>>I just installed ocaml-3.05.  Compiling and installation worked
>>without any complains.  However, I am having problems linking with
>>dynamic libraries.
>>
>>hansr [4] [11:29] [~] ocamlmktop -o mytop nums.cma
>>Error on dynamically loaded library: /usr/local/lib/ocaml/dllnums.so: undefined symbol: custom_compare_default
>>
>
>On a fresh 3.05 install, dllnums.so should be loaded from lib/ocaml/stublibs
>rather than lib/ocaml.  I conjecture you have old files lying around
>in /usr/local/lib/ocaml.  Try "rm -rf /usr/local/lib/ocaml" before
>installing OCaml 3.05.
>
Can I suggest that the directory:

    /usr/local/lib/ocaml_3.05/

might be a better default name? In switching versions around, having to 
reinstall
is a pain.  Can't Ocaml 3.05 use a completely new set of directories so 
it can
be installed without clobbering 3.04?

-- 
John Max Skaller, mailto:skaller@ozemail.com.au
snail:10/1 Toxteth Rd, Glebe, NSW 2037, Australia.
voice:61-2-9660-0850




-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners


^ permalink raw reply	[flat|nested] 6+ messages in thread

* Re: [Caml-list] Dynamically loaded library problems (ocaml-3.05)
  2002-07-30 15:08   ` John Max Skaller
@ 2002-07-30 16:18     ` Sven LUTHER
  2002-08-01 15:03       ` John Max Skaller
  0 siblings, 1 reply; 6+ messages in thread
From: Sven LUTHER @ 2002-07-30 16:18 UTC (permalink / raw)
  To: John Max Skaller; +Cc: Xavier Leroy, Hans Ole Rafaelsen, caml-list

On Wed, Jul 31, 2002 at 01:08:20AM +1000, John Max Skaller wrote:
> Xavier Leroy wrote:
> 
> >>I just installed ocaml-3.05.  Compiling and installation worked
> >>without any complains.  However, I am having problems linking with
> >>dynamic libraries.
> >>
> >>hansr [4] [11:29] [~] ocamlmktop -o mytop nums.cma
> >>Error on dynamically loaded library: /usr/local/lib/ocaml/dllnums.so: 
> >>undefined symbol: custom_compare_default
> >>
> >
> >On a fresh 3.05 install, dllnums.so should be loaded from 
> >lib/ocaml/stublibs
> >rather than lib/ocaml.  I conjecture you have old files lying around
> >in /usr/local/lib/ocaml.  Try "rm -rf /usr/local/lib/ocaml" before
> >installing OCaml 3.05.
> >
> Can I suggest that the directory:
> 
>    /usr/local/lib/ocaml_3.05/
> 
> might be a better default name? In switching versions around, having to 
> reinstall

Is this not configurable ? I guess yes, and you can easily use one of
the configuration options to have ocaml installed in ocaml_3.05 (libdir,
i think it is, but you could also use prefix /usr/local/ocaml_3.05 i
think).

Friendly,

Sven Luther
-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners


^ permalink raw reply	[flat|nested] 6+ messages in thread

* Re: [Caml-list] Dynamically loaded library problems (ocaml-3.05)
  2002-07-30 16:18     ` Sven LUTHER
@ 2002-08-01 15:03       ` John Max Skaller
  2002-08-01 16:00         ` Sven LUTHER
  0 siblings, 1 reply; 6+ messages in thread
From: John Max Skaller @ 2002-08-01 15:03 UTC (permalink / raw)
  To: Sven LUTHER; +Cc: caml-list

Sven LUTHER wrote:

>On Wed, Jul 31, 2002 at 01:08:20AM +1000, John Max Skaller wrote:
>
>>Can I suggest that the directory:
>>
>>   /usr/local/lib/ocaml_3.05/
>>
>>might be a better default name? In switching versions around, having to 
>>reinstall
>>
>
>Is this not configurable ? 
>
Note I said *default* name: i.e. make the default libraries install in 
different places.
It's not clear how to manage binaries. What Python does is have 
'python1.5' and
'python2.1' both in /usr/local/bin, and then use a symbolic link. Client
can also put symlinks in ~/bin. Not clear to me how to ensure all binaries
are switched around when changing versions. Same applies to man pages.

At present, I just reinstall the version I want to use..which takes 
considerable time.
Luckily, I only use optimising compiler, so once a binary is built, it 
matter not
which development system is active .. but this won't be so once shared 
libraries
are used ..

Anyhow, just a though.. version control is a non-trivial thing.

-- 
John Max Skaller, mailto:skaller@ozemail.com.au
snail:10/1 Toxteth Rd, Glebe, NSW 2037, Australia.
voice:61-2-9660-0850




-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners


^ permalink raw reply	[flat|nested] 6+ messages in thread

* Re: [Caml-list] Dynamically loaded library problems (ocaml-3.05)
  2002-08-01 15:03       ` John Max Skaller
@ 2002-08-01 16:00         ` Sven LUTHER
  0 siblings, 0 replies; 6+ messages in thread
From: Sven LUTHER @ 2002-08-01 16:00 UTC (permalink / raw)
  To: John Max Skaller; +Cc: Sven LUTHER, caml-list

On Fri, Aug 02, 2002 at 01:03:20AM +1000, John Max Skaller wrote:
> Sven LUTHER wrote:
> 
> >On Wed, Jul 31, 2002 at 01:08:20AM +1000, John Max Skaller wrote:
> >
> >>Can I suggest that the directory:
> >>
> >>  /usr/local/lib/ocaml_3.05/
> >>
> >>might be a better default name? In switching versions around, having to 
> >>reinstall
> >>
> >
> >Is this not configurable ? 
> >
> Note I said *default* name: i.e. make the default libraries install in 
> different places.

Well, you build with :

./configure -prefix /usr/local/ocaml/3.05 ...

and everything will go into the right place.

Then you can build with :

./configure -prefix /usr/local/ocaml/3.06 ...

for the next version, and :

ocamlc -where 

will show the right place, which most packages use to know where to
install stuff.

Then you only need to have s symlink like :

ln -s /usr/local/ocaml/3.05 /usr/local/ocaml/current

or something, and have /usr/local/ocaml/current/bin in your PATH, and
all will work as you want (unless i badly misunderstood you).

This has worked since the early times of caml-light (well no the prefix
option, but you could hand specify the libdir, bindir, etc ...).

Friendly,

Sven Luther
-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners


^ permalink raw reply	[flat|nested] 6+ messages in thread

end of thread, other threads:[~2002-08-01 16:02 UTC | newest]

Thread overview: 6+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2002-07-30  9:45 [Caml-list] Dynamically loaded library problems (ocaml-3.05) Hans Ole Rafaelsen
2002-07-30  9:56 ` Xavier Leroy
2002-07-30 15:08   ` John Max Skaller
2002-07-30 16:18     ` Sven LUTHER
2002-08-01 15:03       ` John Max Skaller
2002-08-01 16:00         ` Sven LUTHER

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).