Firstly, I'd like to say thanks for all the work that's been made available; I'm very excited to try so many of the ambitious features of Ciao as well as the seemingly rich support for Emacs. I'm encountering various problems as I try and build from the provided source packages (both stable and development).

I'm running Ubuntu 12.04 x86_64 and have tried:

1.14.2 (r13646) 1.15.0 (r15080)

While I can successfully configure and build a "basic" setup, I run into trouble with the optimizing compiler, PAR_BACK, tabling, and CHR. I understand these have been marked "experimental". It also appears that the optimizing compiler is not packaged with these source distributions, so I guess it's not surprising that it would fail to compile.

I started to look at the build system itself, to get a better sense of how and where to look for the real errors, but since it's not autotools or something I already know I first thought I'd try building directly from the repository. But, I was unable to find the (SVN?) repository.

1) Is there public (read-only) access to the source repository? 2) Have there been recent changes in trunk that may address compilation issues for experimental features? 3) In the case of (2 and not 1), would someone be kindly enough to cut a new source package based from the latest revision? 4) Would you like me to provide more detailed info about the errors?

A few examples,

CHR in 1.15: :: Compiling CHR Libraries {ERROR: create_mutable/2, arg 1 - expected an (unbound) variable, found _419} {ERROR: absolute_file_name/7, arg 1 - existence error: source_sink:chr_translate_bootstrap1.pl does not exist}

Optimizing Compiler 1.15: :: Building 'optim_comp' sh: 1: cd: can't cd to /home/ian/build/CiaoDE-1.15.0-15080/optim_comp sh: 1: ./ciaotool: not found

PAR_BACK 1.14: C compiler flags: -O2 -Wall -fno-strict-aliasing -fomit-frame-pointer -falign-loops=2 -falign-jumps=2 -falign-functions=2 -D_REENTRANT -DTHREADS -DFOREIGN_FILES -DANDPARALLEL -DPARBACK -DTABLING -DLINUX -Di86_64 -m32 -DHAS_MMAP -DANONYMOUS_MMAP Compiling wam.c Compiling format.c In file included from datadefs.h:20:0, from wam.c:14: termdefs.h:642:17: error: duplicate member ‘goal_list_start’ ...(more like the above)

Thanks,