English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
[Caml-list] Problem using pcre on Debian
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2002-02-22 (14:57)
From: Remi VANICAT <vanicat@l...>
Subject: Re: [Caml-list] Problem using pcre on Debian
Johann Spies <jspies@sun.ac.za> writes:

> On Fri, Feb 22, 2002 at 12:30:38PM +0100, Remi VANICAT wrote:
> > Which ocaml debian package are your using ? if you are using 3.04-9
> Yes I am using 3.04-9.
> > the you have to make (as root)
> > ocaml-ldconf -a /usr/local/lib/ocaml/pcre/
> > 
> > to add the dll support for pcre. (this will work only in there is
> > a *.so file in the /usr/local/lib/ocaml/pcre/ directory.)
> :(  There is no .so file.  I could not compile it with dynamic
> linking.  Why?

the distribution of pcre include it's own pcre. You should use the one
installed by debian.

I successfully build ocaml-pcre on debian with shared suport by
- installing the libpcre3-dev package
- modifying one of the pcre-OCaml/Makefile :

shared:	byte-code-nolink native-code-nolink
	ocamlmklib -o pcre pcre.cmo pcre.cmx pcre_intf.o \
		-L../pcre-C/.libs -lpcre -rpath $(OCAML_LIB_INSTALL)
	cp ../pcre-C/.libs/libpcre.a .
	ar r libpcre.a pcre_intf.o
	ranlib libpcre.a


shared:	byte-code-nolink native-code-nolink
	ocamlmklib -o pcre pcre.cmo pcre.cmx pcre_intf.o \
		-lpcre -rpath $(OCAML_LIB_INSTALL)

it compile. By the way the pcre library in debian is not the same than
the pcre-C in pcre-ocaml, so there may be problems, and I have do no
further test.

Rémi Vanicat
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