From: Michael C Vanier <mvanier@cms.caltech.edu>
To: caml-list <caml-list@inria.fr>
Subject: [Caml-list] Has anybody gotten delimcc to work?
Date: Thu, 22 Feb 2018 15:18:49 -0800 [thread overview]
Message-ID: <7441c664-00ae-c125-9ce4-80e5a67fcd8e@cms.caltech.edu> (raw)
I've been trying to use the delimcc delimited continuation library, but
so far I've been unsuccessful. I'm using OCaml 4.06.1 and I've tried it
on both Mac OS X (High Sierra) and Ubuntu MATE 17.10. I'm fine sticking
to bytecode. The opam package installs correctly but when you try to
run it you get errors from the dynamically-linked libraries. On Mac OS
X I get this:
# #require "delimcc";;
Cannot load required shared library dlldelimcc.
Reason: /Users/mvanier/.opam/4.06.1/lib/stublibs/dlldelimcc.so:
dlopen(/Users/mvanier/.opam/4.06.1/lib/stublibs/dlldelimcc.so, 10):
Symbol not found: _alloc
Referenced from: /Users/mvanier/.opam/4.06.1/lib/stublibs/dlldelimcc.so
Expected in: flat namespace
in /Users/mvanier/.opam/4.06.1/lib/stublibs/dlldelimcc.so.
And on Ubuntu I get this:
# #require "delimcc";;
/home/mvanier/.opam/4.06.1/lib/delimcc: added to search path
/home/mvanier/.opam/4.06.1/lib/delimcc/delimcc.cma: loaded
Cannot load required shared library dlldelimcc.
Reason: /Users/mvanier/.opam/4.06.1/lib/stublibs/dlldelimcc.so:
dlopen(/Users/mvanier/.opam/4.06.1/lib/stublibs/dlldelimcc.so, 10):
Symbol not found: initialize.
However, in either case I can do:
# open Delimcc;;
and it reports no errors, but then if I try e.g.:
# shift;;
Reference to undefined global `Delimcc`
so it appears the library isn't there or isn't functional. Compiling
from the delimcc source also appears to work, but gcc warns about
implicit declarations of "alloc", "alloc_shr" and "initialize" when
compiling stacks.c, which makes sense. Compiling any of the test
programs also fails.
So it appears that this library no longer works. Does anyone know any
way to make it work?
Thanks in advance,
Mike
next reply other threads:[~2018-02-22 23:18 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-02-22 23:18 Michael C Vanier [this message]
2018-02-22 23:42 ` Nicolás Ojeda Bär
2018-02-22 23:58 ` Michael C Vanier
2018-02-23 3:18 ` Michael C Vanier
2018-02-23 5:15 ` Nicolás Ojeda Bär
2018-02-23 5:56 ` Michael C Vanier
2018-02-26 5:42 ` Oleg
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=7441c664-00ae-c125-9ce4-80e5a67fcd8e@cms.caltech.edu \
--to=mvanier@cms.caltech.edu \
--cc=caml-list@inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox