[Caml-list] static linking behavior of Ocaml w.r.t Dbm

[Caml-list] static linking behavior of Ocaml w.r.t Dbm

[Basile STARYNKEVITCH]

Dear All,

(I'm BCC the poesia-devel list, since the problem was first identified
for compilation of POESIA monitor. See http://poesia.sourceforge.net
and http://www.poesia-filter.org for more)

on the Debian Sid systems I've got it is not possible to easily
compile *statically* a program using Dbm. Consider the following (self
contained but usable) test program:


################################################################
(* file testdbm.ml *)
let dbopt = ref (None : Dbm.t option);;

let keyref = ref "";;

let dbpathref = ref "";;

let get_db () = match !dbopt with 
  None -> failwith "no db"
| Some db -> db;;

let main () =
  Arg.parse 
    [
      "-C", Arg.String (fun path -> 
			  let db = Dbm.opendbm path 
				     [ Dbm.Dbm_create; Dbm.Dbm_rdwr ] 0o640 
			  in 
			    dbopt := (Some db); 
			    dbpathref := path;
			    Printf.printf "created dbm %S\n" path), 
      "create a Dbm" ;
      "-R", Arg.String (fun path -> 
			  let db = Dbm.opendbm path 
				     [ Dbm.Dbm_create; Dbm.Dbm_rdonly ] 0o640 
			  in
			    dbopt := (Some db); 
			    dbpathref := path; 
			    Printf.printf "reading dbm %S\n" path),
      "open a readonly Dbm" ;
      "-W", Arg.String (fun path -> 
			  let db = Dbm.opendbm path 
				     [ Dbm.Dbm_create; Dbm.Dbm_rdonly ] 0o640 
			  in 
			    dbopt := (Some db); 
			    dbpathref := path; 
			    Printf.printf "writing (&reading) dbm %S\n" path),
      "open a readwrite Dbm" ;
      "-K", Arg.String (fun key ->
			  keyref := key),
      "set the current key" ;
      "-P", Arg.String (fun vals ->
			  Dbm.add (get_db ()) !keyref vals;
			  Printf.printf "put key=%S val=%S in dbm %S\n" 
			    !keyref vals !dbpathref),
      "put a value" ;
      "-D", Arg.Unit (fun () ->
			Dbm.remove (get_db ()) !keyref ;
			Printf.printf "deleted key=%S in dbm %S\n"
			  !keyref !dbpathref),
      "delete a value" ;
      "-G", Arg.Unit (fun () ->
			let vals = Dbm.find (get_db ()) !keyref in
			  Printf.printf "got key=%S val=%S in dbm %S\n"
			    !keyref vals !dbpathref),
      "get a value" ;
      "-A", Arg.Unit (fun () ->
			Dbm.iter 
			(fun k v -> Printf.printf "has key=%S val=%S\n" k v) 
			(get_db ())),
      "dump all bindings" ]
    (fun arg -> failwith (" unexpected arg " ^ arg))
    "testdbm" ;
  match !dbopt with 
      None -> ()
    | Some db -> Dbm.close db;;

Printexc.print main ();;
(* eof testdbm.ml *)
################################################################

Save the above in a file testdbm.ml; then run
   /usr/bin/ocamlopt -cclib -static dbm.cmxa testdbm.ml -o testdbm

You get a lot of messages like 
/usr/lib/gcc-lib/i386-linux/3.3.1/../../../libgdbm_compat.a(dbmopen.o)(.text+0xc6): In function `dbm_open':
: undefined reference to `gdbm_open'
/usr/lib/gcc-lib/i386-linux/3.3.1/../../../libgdbm_compat.a(dbmopen.o)(.text+0x135): In function `dbm_open':

Removing the -cclib -static or adding -cclib /usr/lib/libgdbm.a solves
the problem

I just got the latest Ocaml from CVS, compiled and installed it
   /usr/local/bin/ocamlopt -v
   The Objective Caml native-code compiler, version 3.07+beta 1
   Standard library directory: /usr/local/lib/ocaml
and it does not exhibit the above problem.

I don't know if it is a problem of Debian packaging, or an Ocaml 3.06
problem solved in 3.07

As a temporary workaround across a bug in Ocaml 3.06 in Debian Sid
(and perhaps other distributions), I suggest to Poesia users to add
the required -cclib option to the OPTLIBS makefile variable.
-- 

Basile STARYNKEVITCH         http://starynkevitch.net/Basile/ 
email: basile<at>starynkevitch<dot>net 
aliases: basile<at>tunes<dot>org = bstarynk<at>nerim<dot>net
8, rue de la Faïencerie, 92340 Bourg La Reine, France

-------------------
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