Hi Michael,

I believe that these sources are simply outdated and that it would be relatively easy to make it work again. AFAIK there exists a more recent version that compiles fine with the latest (git) version of Ciao, but it is not publicly distributed. I can ask the original authors if they wish it to be distributed.

On Tue, Sep 26, 2017 at 5:24 PM, Michael Leuschel <leuschel@cs.uni-duesseldorf.de> wrote:

Hi,

is the Java Bytecode class reader from��http://cliplab.org/Systems/jvm-by-pe/#Parser��still supported by Ciao or is there an alternative module available?

When I try to use it I get the following error message:

$ ciao
Ciao 1.15-1781-g328b907: Wed Jun 19 09:07:20 CEST 2013
?- use_module(program_loader).
{ERROR: absolute_file_name/7, arg 1 - existence error: source_sink:library(jvm_in_ciao/builtins/builtins) does not exist}

no

Best regards,
Michael Leuschel

_______________________________________________
Ciao-users mailing list
Ciao-users@clip.dia.fi.upm.es
http://cliplab.org/cgi-bin/mailman/listinfo/ciao-users

Jose