2

OCaml は初めてで、そのHANSEIライブラリを使用しようとしています。そのためには、ここで言及されている caml-shift.tar.gz とともに、ここで言及されているいくつかの .ml および .mli ファイルを含める必要があります。

私の MakeFile の内容の最初の行は次のとおりです。

# HANSEI: OCaml library for direct probabilitic programming
#
# The library requires the caml-shift library, delimcc.cma and the 
# correspondent .mli files. See caml-shift.tar.gz.
# Please adjust DELIMCC= below to point to the library.
#
# The typical command to use the OCaml top-level:
# $ ocaml -I ../../Continuations/caml-shift/ \
#       ../../Continuations/caml-shift/delimcc.cma
# and then do #load "prob.cma";;

# $Id$

DELIMCC=/root/.opam/4.00.1/lib/caml-shift
OCAMLC=ocamlc
OCAMLOPT=ocamlopt

DELIMCCRUN=-I $(DELIMCC) -dllpath $(DELIMCC) $(DELIMCC)/delimcc.cma
DELIMCCINT=$(DELIMCC)/delimcc.cmi
DELIMCCOPT=-I $(DELIMCC)  $(DELIMCC)/delimcc.cmxa

LIB=prob.cma
LIBOPT=prob.cmxa
.
.
.

MakeFile のコメント セクションでは、他の .ml および .mli ファイルと一緒に delimcc.cma ファイルを使用するように提案されていますが、.cma ファイルの作成方法がわかりません。作成済みの delimcc.cma ファイルが見つかりません。これで私を助けてください。私の理解が間違っている場合はお知らせください。ありがとう！

4

2 に答える 2

0

それを使用する前に、最初にdelimccライブラリを構築する必要があるようです..

于 2014-02-13T05:20:56.253 に答える
0

opam パッケージ インストーラーを使用します。

opam search delimcc
Available packages for system:
delimcc  --  Oleg's delimited continuations library for byte-code and native OCaml
于 2014-02-13T12:21:44.117 に答える