diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

small fixes

Browse Source
This commit is contained in:
Vitor Santos Costa 2009-02-16 12:53:29 +00:00
parent 107af59dd8
commit 0f58cf8029
4 changed files with 7 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
C/clause_list.c
View File

@ -2,6 +2,8 @@
#include "clause.h"
#include "clause_list.h"
/* need to fix overflow handling */
static void
mk_blob(int sz)
{

1
GIT
View File

@ -13,7 +13,6 @@ git clone git://gitorious.org/yap-git/mainline.git yap
cd yap
git branch --track devel origin/devel
git checkout devel
# git submodule add vsc@software.imdea.org:/srv/git/research/prolog-commons.git prolog-commons
git submodule add git://prolog.cs.vu.nl/home/pl/git/chr.git packages/chr
./configure

6
Makefile.in
View File

@ -57,7 +57,7 @@ YAP_EXTRAS=@YAP_EXTRAS@
#
CC=@CC@
MPI_CC=@MPI_CC@
CPPFLAGS=@CPPFLAGS@ -I. -I$(srcdir)/H -I$(srcdir)/OPTYap -I$(srcdir)/packages/BEAM -I$(srcdir)/MYDDAS
CPPFLAGS=@CPPFLAGS@ -I. -I$(srcdir)/H -I$(srcdir)/OPTYap -I$(srcdir)/BEAM -I$(srcdir)/packages/MYDDAS
CFLAGS= @CFLAGS@ $(YAP_EXTRAS) $(DEFS) $(CPPFLAGS)
C_INTERF_FLAGS= @C_INTERF_FLAGS@ $(YAP_EXTRAS) $(DEFS) $(CPPFLAGS) -I$(srcdir)/include
C_PARSER_FLAGS= @C_PARSER_FLAGS@ $(YAP_EXTRAS) $(DEFS) $(CPPFLAGS)
@ -630,8 +630,6 @@ install_unix: startup libYap.a
@INSTALL_DLLS@ $(INSTALL_DATA) -m 755 @YAPLIB@ $(DESTDIR)$(LIBDIR)
mkdir -p $(DESTDIR)$(SHAREDIR)/Yap
mkdir -p $(DESTDIR)$(SHAREDIR)/Yap/pl
mkdir -p $(DESTDIR)$(SHAREDIR)/Yap/swi
mkdir -p $(DESTDIR)$(SHAREDIR)/PrologCommons
for f in $(PL_SOURCES); do $(INSTALL) $$f $(DESTDIR)$(SHAREDIR)/Yap/pl; done
@INSTALL_DLLS@ (cd library/random; $(MAKE) install)
@INSTALL_DLLS@ (cd library/regex; $(MAKE) install)
@ -716,7 +714,7 @@ clean: clean_docs
@INSTALL_DLLS@ (cd library/lammpi; $(MAKE) clean)
@INSTALL_MATLAB@ (cd library/matlab; $(MAKE) clean)
@ENABLE_JPL@ @INSTALL_DLLS@ (cd LGPL/JPL/src; $(MAKE) clean)
@ENABLE_CPLINT@ (cd cplint; $(MAKE) clean)
@ENABLE_CPLINT@ (cd packages/cplint; $(MAKE) clean)

5
include/clause_list.h
View File

@ -23,5 +23,6 @@ X_API void *Yap_ClauseListToClause(clause_list_t cl);
X_API void *Yap_ClauseListCode(clause_list_t cl);
X_API void *Yap_FAILCODE(void);
#define ClauseListCount(cl) cl->n
#define ClauseList(cl) cl->start
#define Yap_ClauseListCount(cl) ((cl)->n)