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. -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it
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, -- Samir
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 | Prof., C.S. Department Director, IMDEA-Software and CLIP Group | T.U. of Madrid (UPM) http://www.cliplab.org/herme | +34-91-336-7435 (W) -352-4819 (Fax) -------------------------------------------------------------------------------
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 | Prof., C.S. Department Director, IMDEA-Software and CLIP Group | T.U. of Madrid (UPM) http://www.cliplab.org/herme | +34-91-336-7435 (W) -352-4819 (Fax) -------------------------------------------------------------------------------
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 -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it
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