Re: [PPL-devel] ciaoc generates invalid glue code
On September 29, 2007, Roberto Bagnara wrote:
On April 1, 2007, Roberto Bagnara wrote:
The other problem seems connected to what is the official location of ciao_prolog.h. In fact, the file
ppl_ciao_LINUXi86_64_glue.c
generated by ciaoc begins with
#include "/usr/local/lib/ciao/ciao-1.13/include/LINUXi86_64/ciao_gluecode.h"
but this file does not exist. The file ciao_gluecode.h is, instead, in /usr/local/lib/ciao/ciao-1.13/include.
Hi there,
I checked that this problem is still present in the current version of Ciao. Are there chances it can be fixed soon?
Hi there again,
I have just checked that this very problem is still present on the SVN HEAD version of CiaoDE (after 18 months since I first reported it).
As I told Manuel Carro privately, this is basically my last attempt at releasing a version of PPL 0.10 that supports Ciao Prolog. The release will happen 2 weeks from now and in 1 week from now we will declare a complete code freeze. I would appreciate any reply. Cheers,
Roberto
P.S. Notice that this is happening on an IA32 machine, so this has nothing to do with Ciao not being supported on 64-bit machines. In the past I made the mistake of talking about this and the 64-bit issues in the same message... perhaps this generated some confusion.
ppl_ciao_LINUXi86_64_glue.c
generated by ciaoc begins with
#include "/usr/local/lib/ciao/ciao-1.13/include/LINUXi86_64/ciao_gluecode.h"
but this file does not exist. The file ciao_gluecode.h is, instead, in /usr/local/lib/ciao/ciao-1.13/include.
I had the same problem with ciao and older versions of PPL, this bug (in ciao) exist only when ciao is installed with the option system-install, everything works fine when ciao is installed with the option user-install.
ciao,
Edison, please look into this as soon as possible: I understand that it is in your code (or at least you are the one that can determine easily in whose code it is). Thanks! --Manuel
Manuel Hermenegildo wrote:
Edison, please look into this as soon as possible: I understand that it is in your code (or at least you are the one that can determine easily in whose code it is). Thanks! --Manuel
Let me check what is happening
Edison.
Manuel Hermenegildo wrote:
Edison, please look into this as soon as possible: I understand that it is in your code (or at least you are the one that can determine easily in whose code it is). Thanks! --Manuel
Hi everybody,
I have fixed the error, please update your working copy now if you like to fix it. Surprisingly it was only one bad symbol in a variable assignment (In gmake files, = and := means different things). Regards,
Edison.
Thanks Edison! Roberto, please let us know if you still have problems. Thanks --Man
Manuel Hermenegildo wrote:
Thanks Edison! Roberto, please let us know if you still have problems. Thanks --Man
Hi there,
things are much better now: thanks! However we still have problems: I have set up a `clip' account on one of our machines and a directory with all what you need to investigate whether we are doing something wrong or not. Please send me privately, one or more ssh public keys and I will send you all the necessary instructions. All the best,
Roberto
Roberto Bagnara wrote:
Manuel Hermenegildo wrote:
Thanks Edison! Roberto, please let us know if you still have problems. Thanks --Man
Hi there,
things are much better now: thanks! However we still have problems: I have set up a `clip' account on one of our machines and a directory with all what you need to investigate whether we are doing something wrong or not. Please send me privately, one or more ssh public keys and I will send you all the necessary instructions. All the best,
Roberto
Hi Roberto Can you add the public keys attached to this mail?
Edison
ssh-rsa AAAAB3NzaC1yc2EAAAABIwAAAIEA2kZiwCrL2uGd2xDsx1r0u9MQMdQvDvKmL/BHtl9yfx3X1oAPZzF8aukCB34iEIgixQ0gVZGfGgQnD3xCf4nr7HmJiQ+jFOK01yRElj8XqJUb4rSG1SPoSBaQjl7hpDGlownrPiKWBNlfDTcNdL10j1+g4/ksMgBEwpFRkgmip+0= edison@clip.dia.fi.upm.es
ssh-rsa AAAAB3NzaC1yc2EAAAABIwAAAIEAuDsodXDxyaL3loAWpDVwOEGIbpeAMB5JmIsAagpIDFOGkzRQZ89IZ0YruFDuVoHqSV5IJ9k+KVCNLseg+Qx0L5QVhULJ8vtf41I7mLECOQDIlfntTQoUjPk22bIsRPlygG4vYZLz5zXGDvt+cxPMYiv3YPOeHXYnwBNdR2P2EFk= ciaotester@clip.dia.fi.upm.es
participants (4)
-
Edison Mera -
Manuel Hermenegildo -
Roberto Bagnara -
Samir Genaim