caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
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


             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;
as well as URLs for NNTP newsgroup(s).