Re: [Fink-devel] Porting dynamic libraries to OS X

2004-11-03 Thread Martin Costabel
Georg Weissenbacher wrote: p[ gcc -bundle -bundle_loader /Users/georg/fm/mosml/camlrunm -o libmregex.so regex-0.12/regex.o mregex.o ld: Undefined symbols: _alloc [] though the functions alloc, alloc_final, alloc_tuple are in alloc.c which is compiled to alloc.o and linked (with some other object fi

[Fink-devel] Re: OpenLDAP configuration [ATTN: Matt Stephenson]

2004-11-03 Thread Charles Lepple
For the simple purpose of just getting the package to compile with back_ldbm, it looks like you would just need to copy '/sw/fink/dists/unstable/crypto/finkinfo/openldap-ssl.info' to '/sw/fink/dists/local/main/finkinfo/' also copy the openldap-ssl.patch file from the same directory. looks like

[Fink-devel] Re: OpenLDAP configuration [ATTN: Matt Stephenson]

2004-11-03 Thread Charles Lepple
David Smiley wrote: I'll have to assume by this point that I'm not going to reach Matt Stephenson. Can someone please describe to me (and/or point me to documentation) so that I can tinker with the build process of openldap as provided with fink? I'd like to do things the fink-way and not go s

[Fink-devel] Porting dynamic libraries to OS X

2004-11-03 Thread Georg Weissenbacher
Hi, I'm an OS X newbie and I'm trying to compile Moscow ML 2.01 on OS X 10.3 with XCode 1.5. Fink unstable contains these package, too, but without supporting dynamic link libraries in mosml. Alas, I need that feature because I want to run the HOL4 theorem prover on top of mosml. With the documenta

Re: [Fink-devel] Re: Proposed new policy on essential dependencies

2004-11-03 Thread David R. Morrison
On Nov 3, 2004, at 5:58 AM, D. Höhn wrote: I think that this is the way to go. However, to handle this gracefully and to make sure that the users are notified of what is going on I would like to porpose the following steps. a) Notify the common user base that we are planning to make significant t

[Fink-devel] Re: Proposed new policy on essential dependencies

2004-11-03 Thread D. Höhn
-BEGIN PGP SIGNED MESSAGE- Hash: RIPEMD160 David R. Morrison wrote: | Dear Fink developers, | | Comments and discussion are welcome. | I think that this is the way to go. However, to handle this gracefully and to make sure that the users are notified of what is going on I would like to por