Trouble getting started from source packages, SVN access?

[Ian Tegebo]

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,

[c***@clip.dia.fi.upm.es]

Hi Ian,

thanks for the kind words.

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.

Correct. A lot of the issues you mention are related to the fact that
we are currently at the same time moving from svn to git, moving all
the repositories and the continuous integration system to new servers,
and same time moving our servers to a new building --very brave! As a
result we are not generating daily releases during the move and fixes
are thus not being reflected. This move should be over soon however
and things should get back to normal.

1) Is there public (read-only) access to the source repository?

Not currently, but we will set it up shortly for the new git repo.

2) Have there been recent changes in trunk that may address
compilation issues for experimental features?

Yes, we are always working on the system and there are always fixes
(and bugs of course ;-)). In particular we have just fixed the CHR bug
related to mutables that you pointed out.

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?

Will do as soon as we can...

4) Would you like me to provide more detailed info about the errors?

Please do send them: they are most helpful.

Thanks again for all your feedback!

--Manuel H

[Ian Tegebo]

Post by c***@clip.dia.fi.upm.es

Post by Ian Tegebo
1) Is there public (read-only) access to the source repository?

Not currently, but we will set it up shortly for the new git repo.

Any updates on the new git repo or otherwise providing access to CiaoPP?

Thanks,

--
Ian Tegebo