Version française
Home     About     Download     Resources     Contact us    
Browse thread
runtime woes -- cannot find dllunix.so
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Stefano Zacchiroli <zack@b...>
Subject: Re: [Caml-list] runtime woes -- cannot find dllunix.so
On Thu, Jun 21, 2007 at 10:50:10AM -0400, Andrew Warshaver wrote:
> I'm not sure if -libdir would have done it for me, does that do
> anything except modify the config/Makefile?

Yes: it also sets some variable in a *shell* configuration file, which
is used to configure the library path (and in turn also the stublibs
path) that the ocalmlc compiler stores in generated bytecode objects.

In the past it used to be enough to change config/Makefile after running
./configure, but now it's either needed to change the shell
configuration file or, better, pass the proper -libdir flag to
./configure.

Cheers.

-- 
Stefano Zacchiroli -*- PhD in Computer Science ............... now what?
zack@{cs.unibo.it,debian.org,bononia.it} -%- http://www.bononia.it/zack/
(15:56:48)  Zack: e la demo dema ?    /\    All one has to do is hit the
(15:57:15)  Bac: no, la demo scema    \/    right keys at the right time