Компилируем C lib и OCaml exe, используя его, все используя ocamlfind - PullRequest
Новая
       28

Компилируем C lib и OCaml exe, используя его, все используя ocamlfind

4 голосов
/ 11 мая 2010

Я пытаюсь понять, как использовать ocamlfind для компиляции библиотеки C и исполняемого файла OCaml с использованием этой библиотеки C.

Я собрал набор довольно глупых файлов примеров. 

% cat sillystubs.c
#include <stdio.h>

#include <caml/mlvalues.h>
#include <caml/memory.h>
#include <caml/alloc.h>
#include <caml/custom.h>

value
caml_silly_silly( value unit )
{
    CAMLparam1( unit );
    printf( "%s\n", __FILE__ );
    CAMLreturn( Val_unit );
}

% cat silly.mli 
external silly : unit -> unit = "silly_silly"

% cat foo.ml
open Silly
open String

let _ =
    print_string "About to call into silly";
    silly ();
    print_string "Called into silly"

Я полагаю, что следующий способ компилировать библиотеку: 

% ocamlfind ocamlc -c sillystubs.c
% ar rc libsillystubs.a sillystubs.o
% ocamlfind ocamlc -c silly.mli
% ocamlfind ocamlc -a -o silly.cma -ccopt -L${PWD} -cclib -lsillystubs

Теперь я не могу использовать созданную библиотеку: 

% ocamlfind ocamlc -custom -o foo foo.cmo silly.cma
/usr/bin/ld: cannot find -lsillystubs
collect2: ld returned 1 exit status
File "_none_", line 1, characters 0-1:
Error: Error while building custom runtime system

Инструменты OCaml для меня несколько загадочны, поэтому любые указатели были бы очень кстати.

Ответы [ 3 ]

7 голосов
/ 11 мая 2010

ocamlmklib на помощь. Шаг за шагом: 

$ ocamlc -verbose -c sillystubs.c
$ ocamlmklib -verbose sillystubs.o silly.mli -o silly
$ ocamlc -verbose silly.cma foo.ml -o foo
File "foo.ml", line 1, characters 0-1:
Error: Error while linking foo.cmo:
The external function `silly_silly' is not available

Упс, вы определили caml_silly_silly в sillystubs.c, но ссылаетесь на silly_silly в silly.mli (очень глупо :) Исправление: 

$ cat silly.mli 
external silly : unit -> unit = "caml_silly_silly"
$ ocamlmklib -verbose sillystubs.o silly.mli -o silly
$ ocamlc -custom -verbose silly.cma foo.ml -o foo
/usr/bin/ld: cannot find -lsilly
collect2: ld returned 1 exit status
File "foo.ml", line 1, characters 0-1:
Error: Error while building custom runtime system

Все еще не повезло? Добавьте -I., чтобы найти нужные библиотеки. 

$ ocamlc -I . -verbose silly.cma foo.ml -o foo.byte
$ ocamlc -I . -verbose -custom silly.cma foo.ml -o foo.byte.custom
$ ocamlopt -I . -verbose silly.cmxa foo.ml -o foo.native

Но в «реальной» настройке вы действительно хотите установить глупую библиотеку с ocamlfind, а затем при запуске компиляции через ocamlfind появятся необходимые параметры командной строки, и все будет работать автоматически. Начиная с нуля, вся процедура выглядит следующим образом: 

$ ocamlc -verbose -c sillystubs.c
$ ocamlmklib -verbose sillystubs.o silly.mli -o silly
$ cat META
version="0"
description="quite silly"
archive(byte)="silly.cma"
archive(native)="silly.cmxa"
$ ocamlfind install silly META silly.cm* *.mli *.a *.so
Installed /usr/local/lib/ocaml/3.11.2/silly/silly.a
Installed /usr/local/lib/ocaml/3.11.2/silly/libsilly.a
Installed /usr/local/lib/ocaml/3.11.2/silly/silly.mli
Installed /usr/local/lib/ocaml/3.11.2/silly/silly.cmxa
Installed /usr/local/lib/ocaml/3.11.2/silly/silly.cmi
Installed /usr/local/lib/ocaml/3.11.2/silly/silly.cma
Installed /usr/local/lib/ocaml/3.11.2/silly/META
Installed /usr/local/lib/ocaml/3.11.2/stublibs/dllsilly.so
Installed /usr/local/lib/ocaml/3.11.2/stublibs/dllsilly.so.owner
$ rm *.cm* *.a *.so *.o
$ ocamlfind ocamlopt -linkpkg -package silly foo.ml -o foo.native
$ ocamlfind ocamlc -custom -linkpkg -package silly foo.ml -o foo.byte.custom
$ ocamlfind ocamlc -linkpkg -package silly foo.ml -o foo.byte

Нативная и байтовая версии готовы. КСТАТИ ocamlc -custom является устарела .

Тайна раскрыта, я надеюсь.

1 голос
/ 11 мая 2010

Я - версия OCaml, но похоже, что silly.cma имеет sillystubs связанный динамически , поэтому вам может потребоваться 

-ccopt -L${PWD}

в последней строке.

Кроме того, я не вижу ничего, что вы делаете, требующее дополнительной мощности ocamlfind - вы также можете напрямую позвонить на ocamlc.

1 голос
/ 11 мая 2010

Инструменты OCaml несколько загадочны для меня

Я тоже так думаю. почему ты не используешь омаке? omake делает последовательность сборки простой. http://omake.metaprl.org/manual/omake-build.html#@fun272

...