Vítor Santos Costa
d2f6683538
more aggressive defaults (tabling and memory allocation from system on).
2011-11-15 10:23:41 +00:00
Vitor Santos Costa
71bedb75f2
fix configuration script to better recognsie R.
2011-11-15 10:22:03 +00:00
Vítor Santos Costa
3ac8e3914f
improve C-interface to cope with prism.
2011-11-10 12:26:23 +00:00
Vítor Santos Costa
3dbae0cb94
Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3
2011-11-04 02:48:28 +00:00
Vítor Santos Costa
2ee9981a11
new Makefiles and prototypes.
2011-11-03 07:55:56 +09:00
Fabrizio Riguzzi
be449b3aef
updated cplint
2011-10-22 16:33:04 +02:00
Vítor Santos Costa
139f64a459
fix compilation for OSX
2011-10-03 15:29:36 -03:00
Vítor Santos Costa
5e0c4b923d
improve support for R
2011-10-02 19:54:20 -03:00
Vitor Santos Costa
dfb81fc217
fix permissions (WIN messup).
2011-08-22 15:50:11 -03:00
U-WIN-U2045GN0RNQ\Vítor Santos Costa
b6aca9463d
Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3
2011-08-18 22:35:13 +01:00
Denys Duchier
76dd2511a8
finish and test support for dynamic arrays
2011-08-09 16:30:59 +02:00
Vitor Santos Costa
0ccba96834
fix CXXFLAGS
2011-08-09 08:30:37 -03:00
Vitor Santos Costa
31aed3db43
fix merge.
2011-08-09 08:13:42 -03:00
Vitor Santos Costa
0ed341ed83
Merge branch 'master' of https://github.com/denys-duchier/yap-6.3
...
Conflicts:
configure
2011-08-09 08:12:43 -03:00
Denys Duchier
d4d4dbaddf
added support for gecode library
2011-08-08 15:21:36 +02:00
Vitor Santos Costa
a4ff34476b
fix buglet.
2011-08-08 08:08:53 -03:00
U-WIN-U2045GN0RNQ\Vítor Santos Costa
4fe1833ece
Merge branch 'master' of /cygdrive/z/vitor/Yap/yap-6.3
2011-07-25 17:09:43 +01:00
U-WIN-U2045GN0RNQ\Vítor Santos Costa
840e287cda
mode changes
2011-07-25 17:09:28 +01:00
Vitor Santos Costa
a701f08180
small fixes.
2011-07-22 21:35:18 +01:00
Ricardo Rocha
22d8e33a5f
fix cut support for or-parallelism
2011-07-13 17:36:26 +01:00
Vitor Santos Costa
45e5e3b983
work if ipackages are missing and some cleanups.
2011-07-13 15:31:22 +01:00
Vitor Santos Costa
9eabaa580c
support for documentation in packages.
2011-06-12 22:26:04 +01:00
Joao
d4825159ee
fix configure file. change memory management in YapOr.
2011-04-28 09:48:42 +01:00
Joao
274de7652f
fix error messages in configure file.
2011-04-18 14:59:17 +01:00
Vítor Santos Costa
4de6a9e3ef
update configuration options for threads/or-parallelism.
2011-04-14 18:49:55 +01:00
Joao
662658986a
chnage define ACOW to YAPOR_COW
2011-03-30 16:39:09 +01:00
Joao
3e148c3541
change define SBA to YAPOR_SBA
2011-03-30 15:32:59 +01:00
Joao
810c96416b
change define ENV_COPY to YAPOR_COPY
2011-03-30 14:35:10 +01:00
Vítor Santos Costa
44f6ce1000
first cut at support for J Azevedo and Rui Camacho's YapR.
2011-03-23 09:46:27 +00:00
Vítor Santos Costa
2d989b3f18
undo WIN32 stuff.
2011-03-22 09:38:59 +00:00
unknown
591119b888
fix configure for WIN32.
2011-03-21 23:43:06 +00:00
U-WIN-ENP104VVO3U\Vítor Santos Costa
7670ce631b
WIN32 patches
2011-03-21 17:07:58 +00:00
Vitor Santos Costa
ca952a4eac
include R package.
2011-03-19 15:29:06 +00:00
Vítor Santos Costa
d96f9c3fe1
ZLIB support
2011-03-15 18:16:05 +00:00
Vítor Santos Costa
7f44012266
upgrade to new version of clib
2011-03-10 11:06:13 +00:00
Vitor Santos Costa
5418f55d74
fix pl-tai
2011-03-09 13:05:03 +00:00
Vítor Santos Costa
da1df3d851
more cleanups.
2011-03-02 23:19:39 +00:00
Vítor Santos Costa
b868d85ac8
make rl not deadlock under SIGINT
2011-03-01 12:31:19 +00:00
Vítor Santos Costa
29e46cbab9
Experimental code for Tiago Gomes bp solver.
2011-02-23 15:31:56 +00:00
Vitor Santos Costa
4a5ba35937
assembly fixes
...
more support for readline, including getting more stuff from read.
2011-02-17 00:57:49 +00:00
ubu32
3736a14d9b
small fixes
2011-02-15 16:41:32 -08:00
Vitor Santos Costa
ef918d8fe4
try compiling pl-rl
2011-02-15 23:45:47 +00:00
Vítor Santos Costa
02c791fc3d
iminor PLStream fixes.
2011-02-10 21:45:43 +00:00
Vítor Santos Costa
257575685c
add support for package framework.
2011-02-10 21:33:56 +00:00
Vítor Santos Costa
f840ee307d
Merge branch 'master' of ../yap-6.2
2011-02-02 16:15:50 +00:00
Vitor Santos Costa
7c86b244b9
patches from Keri Harris
2010-12-30 22:14:45 -06:00
Vítor Santos Costa
81ca149be7
Merge branch 'master' of ../yap-6.2
2010-12-16 22:22:44 +00:00
Vitor Santos Costa
6e2947e8c4
avoid _longjmp
2010-12-16 01:22:10 +00:00
Vítor Santos Costa
2dad416011
Merge branch 'master' of ../yap-6.2
2010-12-15 20:04:13 +00:00
Vítor Santos Costa
d1665c7462
improve checking for _setjmp, I hope.
2010-12-15 12:47:21 +00:00
Vítor Santos Costa
856a32bd19
Merge branch 'master' of ../yap-6.2
2010-12-03 12:13:14 +00:00
Vítor Santos Costa
f8806bed9f
explicitely link pthreads in clib.
2010-12-03 12:12:15 +00:00
Vitor Santos Costa
bb679f15fd
Merge ../yap-6.2
2010-11-30 22:34:16 +00:00
Vitor Santos Costa
aead067476
mv swi compatibility stuff to library/dialect
2010-11-30 22:33:33 +00:00
Vitor Santos Costa
c8c5c3d1dc
Merge branch 'master' of yap.dcc.fc.up.pt:yap-6
2010-11-07 19:56:34 +00:00
Vitor Santos Costa
d1c27fd31e
Merge ../yap-6.2
2010-11-07 19:45:44 +00:00
Vitor Santos Costa
1187afa64f
fix install problems (Keri Harris)
...
During the CHR bootstrap we attempt to dlopen shared libs that exist in
$DESTDIR/$YAPLIBDIR:
2010-11-07 19:44:54 +00:00
Vitor Santos Costa
89ef9ac1e4
integrate meld.
2010-11-01 22:20:58 +00:00
Vitor Santos Costa
95acd408e7
support DragonFly BSD (patch from Aleksej Saushev)
2010-10-27 10:11:19 +01:00
Vitor Santos Costa
ab8911708b
fix YAP to use _longjmp when available. longjmp is just too expensive on OSX machines.
2010-10-26 22:03:36 +01:00
Vitor Santos Costa
d0b904b49a
fix CUDD path.
2010-10-18 09:16:00 +01:00
Vitor Santos Costa
bfe890aae3
patches from Keri Harris to finn runpath
...
support cudd from MacPorts
2010-10-18 01:25:00 +01:00
Vitor Santos Costa
2444eea5a7
fix odbc configure for OSX9
2010-10-13 23:07:02 +01:00
Vitor Santos Costa
7a29007eb5
fix readline configure issues (obs from Paulo Moura).
2010-10-13 00:20:40 +01:00
Vitor Santos Costa
727d549782
In OSX we don't need ncurses to have readline.
2010-09-28 00:03:54 +01:00
Vitor Santos Costa
bb54a59063
autodetection of mysql and odbc for myddas
2010-09-27 21:59:13 +01:00
Vitor Santos Costa
425412b8ca
fix bad use of DESTDIR (Keri Harris)
2010-09-21 22:19:44 +01:00
Fabrizio Riguzzi
64d2425321
modified configure message for option --enable-cpling
2010-09-09 17:13:13 +02:00
Vítor Santos Costa
e2ee992210
install time.so and time.pl
2010-08-04 02:42:05 +01:00
Vítor Santos Costa
ebc22dc29f
better support for win32
...
fix case where zlib is not available.
2010-08-03 12:27:23 +01:00
U-WIN-U2045GN0RNQ\Vítor Santos Costa
3a3ca7f382
make configure support cygwin again.
2010-08-03 01:54:29 +01:00
U-WIN-U2045GN0RNQ\Vítor Santos Costa
8340ee4cb1
fix CYGWIN compilation
2010-08-03 01:11:13 +01:00
Charlie
fd64559643
NetBSD compilation
2010-08-02 22:41:32 +01:00
Fabrizio Riguzzi
b92c459968
fixed library order, fixed install of simplecuddLPADs
2010-07-30 12:33:09 +02:00
Vítor Santos Costa
ca964a9e5b
fix CFLAGS
...
- always use the predefined ones
- be careful about setting CFLAGS after whatever the variables that depend on it.
2010-07-29 17:02:25 +01:00
Vitor Santos Costa
36973f93ba
zlib
2010-07-29 00:40:25 +01:00
Vitor Santos Costa
431ceadc50
more SWI updates.
2010-07-28 10:47:18 +01:00
Fabrizio Riguzzi
63e0523a43
removed dependency from glu, now cplint depends only on CUDD
2010-07-27 17:55:52 +02:00
Fabrizio Riguzzi
25d1fac007
fixed compilation of cplint under linux
2010-07-27 12:14:33 +02:00
Fabrizio Riguzzi
5b1c2c89ed
fixed compilation of cplint under cygwin
2010-07-27 11:35:22 +02:00
U-WIN-U2045GN0RNQ\Vítor Santos Costa
c14bae7478
fix lgdi problem
2010-07-20 22:58:09 +01:00
U-WIN-U2045GN0RNQ\Vítor Santos Costa
433072bf44
more clib fixes
2010-07-20 22:54:20 +01:00
U-WIN-U2045GN0RNQ\Vítor Santos Costa
18f28354b6
more WIN32 compilation fixes.
2010-07-20 14:33:33 +01:00
U-WIN-U2045GN0RNQ\Vítor Santos Costa
839a8503c5
fix bug with dynamic compilation of YAP in WIN32.
2010-07-20 12:14:57 +01:00
Vitor Santos Costa
9ebf1e46f9
support tai
2010-07-19 14:54:51 +01:00
Vitor Santos Costa
cfa665f320
semweb first try
2010-07-14 00:18:14 +01:00
Vitor Santos Costa
72a224de6f
fix compilation on OSX.
2010-06-30 17:51:28 +02:00
Vítor Santos Costa
4694a50fa5
http package (only partially working)
2010-06-23 11:52:34 +01:00
Vítor Santos Costa
a37adad3e8
the sage of configuring everything goes on!
2010-06-21 11:54:21 +01:00
Vítor Santos Costa
9571a66822
fix static loading in Linux
2010-06-20 00:18:38 +01:00
Vitor Santos Costa
3fd428b211
fix darwin compilation
...
try simplifying script
2010-06-20 00:12:02 +01:00
Vítor Santos Costa
84097e4598
avoid stack expansion when booting (trouble with WIN32 saved states).
2010-06-18 13:08:34 +01:00
Vitor Santos Costa
0793bbc07c
OSX path and clib support
2010-06-18 10:38:11 +01:00
Vítor Santos Costa
980f6db84d
SWI's clib package
2010-06-17 00:41:11 +01:00
Vítor Santos Costa
6ddfecc861
use SO to make YAP makefiles closer to SWI's
2010-06-14 10:36:13 +01:00
Vítor Santos Costa
b0096fc2f5
DLL cleanup (yet again)
2010-06-14 09:28:20 +01:00
Vítor Santos Costa
c2dd03b144
more configure cleanups: isolate java in its own ghetto.
2010-06-05 00:51:24 +01:00
U-pekheno\Vitor
4ac1ad34f6
fix messed up Makefile conventions
2010-06-04 22:59:31 +01:00
Vítor Santos Costa
7e1692bdb0
fix mess with LIBDIR and YAPLIBDIR
...
use -Wl,-WR in a more consistent way in Linux
use --with-java instead of --with-jpl
2010-06-01 00:38:42 +01:00
Vitor Santos Costa
b903008f7a
use DESTDIR for Java (patch for Kerri Harris).
2010-05-15 22:05:46 +01:00
Vítor Santos Costa
55019a83bd
win64
2010-05-10 10:22:42 +01:00
Vítor Santos Costa
6307508ffc
more fixes
2010-05-06 16:32:41 +01:00
Vítor Santos Costa
f3cb0184e7
still config
2010-05-06 16:18:37 +01:00
Vítor Santos Costa
6aa7cdf744
more windows fixes
2010-05-06 15:52:03 +01:00
Vítor Santos Costa
a270991e44
fix missing autoconf
2010-05-06 15:10:38 +01:00
Vítor Santos Costa
11641c5f94
64 bit cleanups.
2010-05-06 15:00:44 +01:00
Vítor Santos Costa
df244be341
check for fir.h and ndir.h
2010-05-04 14:56:08 +01:00
Vítor Santos Costa II
c2ff395626
fix path to access java libs
2010-04-20 23:08:52 +01:00
Vítor Santos Costa II
f753284785
fix JPL setup. Also, JPL requires paths for installed yap. so should
...
only be compiled after installing libs: do make at install time.
2010-04-13 00:24:40 +01:00
RIGUZZI FABRIZIO - Dipartimento di Ingegneria
db2eefd0c9
added approximated cplint
2010-03-18 16:11:21 +01:00
Vitor Santos Costa
fa517450ee
Since YAPBOOTDIR doesn't appear to be
...
referenced anywhere I've attached a patch to remove it from configure.in. (Keri Harris).
2010-03-06 00:25:22 +00:00
Vitor Santos Costa
5ab629e8e0
cut_c is now always installed.
2010-03-05 08:23:24 +00:00
Vitor Santos Costa
43a1a754dd
erf function (patch from Bernd Gutmann).
2010-03-05 00:01:04 +00:00
U-Khasa\Vitor
45b2d5468b
Fixes for java compilation in mingw
2010-02-10 03:01:30 -06:00
Vítor Manuel de Morais Santos Costa
404331ac0f
do not force gcc
2010-01-29 16:11:40 +00:00
Vítor Manuel de Morais Santos Costa
4283f44ebc
remove bad opt from dynamic loading in Linux (messup with OSX).
2010-01-26 18:02:30 +00:00
Vitor Santos Costa
cd5a1b24e3
add some more mac stuff
2010-01-25 12:28:16 +00:00
Vítor Manuel de Morais Santos Costa
0343a1da5a
fix g++ on win
2010-01-14 15:44:34 +00:00
Vitor Santos Costa
b0df6b25cd
support cases where we do not have g++ or we don't want minisat.
2010-01-06 11:24:55 -02:00
Vitor Santos Costa
b88eb78e96
fix bad configuration option.
2009-12-16 18:35:19 -02:00
Vitor Santos Costa
933f96a80d
more CXX stuff: will it ever end?
2009-12-10 23:47:34 +00:00
Vítor Manuel de Morais Santos Costa
86715801bf
fix missing stripostfix, and add stricmp (although one should use strcasecmp).
2009-11-23 13:41:07 +00:00
Vitor Santos Costa
56d9666197
port of SWI-Prolog's plunit.
2009-11-23 10:55:10 +00:00
Vitor Santos Costa
4b40e80fe5
CXX not CPP, you idiot!
2009-11-18 09:53:38 +00:00
Vitor Santos Costa
167e129222
make configuration changes to better support C++ and deeper included packages.
2009-11-18 09:29:26 +00:00
Vítor Manuel de Morais Santos Costa
a3ac75edcc
fix bad usage of configure (obs from Jose Santos).
2009-11-11 12:34:58 +00:00
Vítor Manuel de Morais Santos Costa
4b3411e878
support for minisat interface
...
fixes for newer versions of autoconf.
2009-11-11 10:55:36 +00:00
Vitor Santos Costa
253444d7ca
support parms.h
...
pass argv[0]
2009-10-23 09:09:16 +01:00
Vítor Manuel de Morais Santos Costa
7223b0c9a5
check for float.h
2009-10-20 09:11:10 +01:00
Vítor Manuel de Morais Santos Costa
6b5aa1542c
pass full cc argument, not just gcc
2009-10-16 08:08:45 +01:00
Costa Vitor
4c9f440b07
simplify YAPOR.
2009-08-19 22:45:11 -05:00
U-Khasa\Vitor
b9e10203bd
make YAP dlls always export procedures
2009-07-20 20:54:54 -07:00
Costa Vitor
d0baedbf84
solaris support.
2009-06-16 23:31:45 -05:00
Costa Vitor
4644320d8e
fixes to support jpl compilation in Linux AMD64 bit machines.
2009-06-15 17:44:13 -05:00
Costa Vitor
10c7caab2d
old machines may not have isinf
2009-06-15 15:00:31 -05:00
Costa Vitor
503c30e947
make sure we have support for feclearexcept
2009-06-15 10:30:12 -05:00
Vitor Santos Costa
0cd72ad258
changes to compile YAP in WIN32
2009-05-29 14:36:49 -05:00
Vitor Santos Costa
9366e160e0
fix SHAREDIR for chr
2009-05-02 14:20:44 -05:00
Vitor Santos Costa
1f7b839e85
support exporting top-level-work as absolute path
2009-05-02 14:11:54 -05:00
Vitor Santos Costa
a8e3af4c33
Jean-Francois Mertens patches for OSX linking and compilation.
2009-05-02 10:35:29 -05:00
Vitor Santos Costa
7d25a1da53
ENABLE_WINCONSOLE badly defined.
2009-04-22 21:35:05 -05:00
Vitor Santos Costa
bb147a3b48
fix depend
2009-04-22 21:30:02 -05:00
Vitor Santos Costa
88289b1fe3
get rid of depend
2009-04-22 21:22:04 -05:00
Vitor Santos Costa
c271850269
configure support for new depend files.
2009-04-22 17:51:56 -05:00
Vitor Santos Costa
f44a649849
oops, cygwin should have been mingw :)
2009-04-22 11:32:56 -05:00
Vitor Santos Costa
2447701fe3
PLStream needs getpagesize
2009-04-21 08:28:10 -05:00
Vitor Santos Costa
698498a12f
better support for WIN32
2009-04-20 16:21:28 -05:00
Vitor Santos Costa
9dc946a069
avoid multiple calls to AC_OUTPUT()
...
improve Java compilation on MacOS64
2009-04-18 17:53:36 -05:00
Vitor Santos Costa
fb262f2bcd
fix configuration for mac 64bits.
2009-04-18 15:20:19 -05:00
Vitor Santos Costa
b55572baa8
try to have less verbose makes
2009-03-24 01:03:50 +00:00
Vitor Santos Costa
d18c0ceeb7
be more precise about checking if clpqr and friends are really there.
2009-03-23 15:27:59 +00:00
Vitor Santos Costa
19d6135c83
more fixes
2009-03-23 12:40:34 +00:00
Vitor Santos Costa
981dc3d5d7
support new version of jpl
...
make system more robust to missing packages
2009-03-23 12:23:00 +00:00
Vitor Santos Costa
c49661f88c
support for SGML package, for the faint of heart!
2009-03-13 19:40:56 +00:00
Vítor Santos Costa
eb5fc96ca6
simplecudd should not be a default.
2009-03-10 14:19:10 +00:00
Vitor Santos Costa
e7634b216e
fix configure.in not to ask for ProbLog path file.
2009-03-10 09:41:22 +00:00
Vitor Santos Costa
014d6fdacb
configure support for ProbLog
2009-03-09 00:43:18 +00:00
Vitor Santos Costa
419e0e369f
fix packages
2009-02-16 17:22:57 +00:00
Vitor Santos Costa
e9e01815af
more packages stuff
2009-02-16 17:19:43 +00:00
Vitor Santos Costa
8a3978e3e1
rename BinaryTestPredFlag to BinaryPredFlag
...
get rid of small annoying arithmetic bugs
2009-02-09 21:56:40 +00:00
Vítor Santos Costa
43e70f2003
more changes to support SWI Input/Output. Now it compiles, which does
...
not mean it would work!
2008-12-22 12:03:14 +00:00
Vítor Santos Costa
7eeaf24db2
fix SHAREDIR in chr
2008-10-20 18:00:47 +01:00
Vítor Santos de Costa
bb27cf9b66
fix chr loader for Linux/Unix
2008-10-08 13:29:28 +01:00
Vítor Santos de Costa
a116b546f3
fix dynamic_loading_problem
...
pass dynamic loader straight to ./yap when booting the first time
simplify prefix for chr
make cross-compiler use this.
2008-10-08 13:15:53 +01:00
Vitor Santos Costa
42bed282b4
Updated to Working CHR
2008-08-26 00:18:06 +01:00
vsc
d035b22f2c
continue fixing
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2308 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-08-13 10:29:48 +00:00
vsc
8350d52c78
DESTDIR fixes
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2305 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-08-12 22:04:51 +00:00
rzf
a500ac9f97
support for glib-2.0
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2283 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-06-19 21:09:56 +00:00
vsc
0c006711ba
fix cygiwn version
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2248 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-05-23 22:29:52 +00:00
vsc
70b3438293
separate MAX_WORKERS and MAX_THREADS (obs from Paulo Moura)
...
MAX_AGENTS can be used in all cases
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2189 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-04-02 15:41:50 +00:00
vsc
0dd21aab71
put YAPOR back to life.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2187 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-04-01 22:28:41 +00:00
vsc
c23cce1cc1
fix restore and small VISTA thingies
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2177 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-04-01 08:42:46 +00:00
vsc
24b91ce2e1
rl_tree library
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2171 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-03-27 14:59:29 +00:00
vsc
1c6b91cb72
improve WIN32 support and installation
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2170 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-03-27 00:41:33 +00:00
vsc
0e45f242d4
update to CLP(QR). Note that CLP(Q) is still unsupported.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2145 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-03-13 17:16:47 +00:00
vsc
af0fb4f4d9
SWI-portability changes
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2088 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-02-12 17:03:59 +00:00
vsc
4ae454aac6
Will Benton's patches for Mac 64 bits.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2062 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-01-25 00:21:28 +00:00
vsc
76bf9355a4
add SWI's char and code_type/2.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2049 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2007-12-29 12:26:41 +00:00
rzf
b8f97132d2
fixed typo in configure.in
...
cleaned up code in lpad.pl
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2043 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2007-12-11 11:49:36 +00:00
rzf
1d8e42eff0
now cplint compiles also under Mac OS
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2041 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2007-12-09 22:46:38 +00:00
rzf
f0e5441dc2
corrected option formatting
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1985 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2007-11-08 13:26:13 +00:00
rzf
9174f32eb5
added support for the compilation of cplint with the option --enable-cplint[=DIR]
...
where DIR is the optional directory prefix where glu was installed
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1978 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2007-11-07 13:02:37 +00:00
vsc
8182645ab9
fix broken configuration hack for LAM MPI.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1947 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2007-10-09 10:50:51 +00:00
vsc
31ff28d3ee
upgrade JPL
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1936 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2007-09-27 15:25:34 +00:00
tiagosoares
b1d0de4266
MYDDAS: Added option to enable different compilation directories for mysql devel libraries
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1892 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2007-06-04 00:56:47 +00:00
vsc
244d4128cf
matlab interface.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1887 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2007-05-24 15:11:46 +00:00
vsc
5affad32b6
use setitmer instead of alarm.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1886 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2007-05-20 23:00:38 +00:00
ricroc
e9c848ea41
tries library module
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1876 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2007-05-02 15:23:00 +00:00
vsc
a5b0925e08
fix condor compilation to include library objkects
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1846 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2007-03-14 13:01:29 +00:00
pmoura
ff244149ef
Added support for the option "--with-max-threads".
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1804 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2007-02-26 19:13:23 +00:00
vsc
7239e45ec3
allow the user to configure a maximum number of threads.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1792 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2007-01-29 10:18:15 +00:00
vsc
8d3a6c5b20
make java compilation see libraries
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1784 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2007-01-24 17:28:28 +00:00
vsc
0d5a5b00e2
oops, had forgotten about configure
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1779 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2007-01-24 10:03:12 +00:00
vsc
48fdba3f1e
fix matrix mess
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1778 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2007-01-24 10:01:40 +00:00
vsc
c79a7a5bdb
allow coroutining plus tabling, this means fixing some trouble with the
...
gc and a bug in global variable handling.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1745 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2006-12-29 01:57:50 +00:00
vsc
90c1641841
several debugger and CLP(BN) improvements.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1732 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2006-12-13 16:10:26 +00:00
vsc
13080439a6
small fixes on threaded implementation.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1700 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2006-10-10 14:08:17 +00:00
vsc
23757e5563
fix bropken MPI_LAM configure
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1695 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2006-09-28 11:42:51 +00:00
vsc
cd5bc14cfc
win32 fixes
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1689 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2006-08-30 01:06:30 +00:00
nunofonseca
61f4dfbf4c
lammpi: configuration fixes.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1670 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2006-06-06 14:58:42 +00:00
nunofonseca
87bac7cafa
New LAM MPI module.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1665 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2006-06-04 18:43:38 +00:00
vsc
f5b9000018
include thread_sleep functionality.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1653 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2006-05-25 16:28:28 +00:00
vsc
b172a9e75d
fixes to Makefile and manual.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1641 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2006-05-19 17:49:25 +00:00
vsc
871bb9e024
help to make Yap work with dynamic libs
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1638 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2006-05-19 13:48:11 +00:00
vsc
ee78d90bb9
fix info reported by memory manager under DL_MALLOC and SYSTEM_MALLOC
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1635 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2006-05-18 16:33:05 +00:00
vsc
98de08022b
WIN32 fixes
...
compiler bug fixes
extend interface
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1632 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2006-05-16 18:37:31 +00:00
tiagosoares
89d8c4d035
MYDDAS: Add dependencies to MYDDAS compilation flags
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1630 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2006-05-04 18:16:08 +00:00
tiagosoares
8b29afcb67
MYDDAS: changed --with-myddas to --enable-myddas
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1560 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2006-03-07 17:27:51 +00:00
rslopes
6a222d7b53
Myddas disable by default...
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1559 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2006-03-07 11:06:40 +00:00
tiagosoares
ae98f71fd9
Support for the MYDDAS on configure.in
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1557 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2006-03-06 13:25:11 +00:00
tiagosoares
2a16c4df67
Support for the cut-c feature on configure.in
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1554 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2006-03-03 14:33:01 +00:00
tiagosoares
8012773ae1
MYDDAS: Top Level Functionality
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1534 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2006-02-05 02:19:15 +00:00
tiagosoares
92f6922f40
Re-Re-Added the MyDDAS Interface configure tests
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1515 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2006-01-16 22:04:09 +00:00
vsc
3715f1b1d7
fix bug with very large integers
...
fix bug where indexing code was looking at code after a cut.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1513 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2006-01-16 02:57:52 +00:00
tiagosoares
fa03c540ce
Re-Added the MyDDAS Interface configure tests
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1482 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-12-19 13:42:26 +00:00
vsc
e0050ef3d7
commit configure
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1479 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-12-17 03:52:59 +00:00
tiagosoares
a170002981
altered the MyDDAS tests to automatically enable cut-c, if necessary
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1470 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-11-24 15:31:57 +00:00
tiagosoares
253f5e7f9a
support for the MyDDAS interface library
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1465 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-11-22 11:25:59 +00:00
tiagosoares
83b5a160f8
support for executing c code when a cut occurs
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1463 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-11-18 18:52:41 +00:00
vsc
50600e06d7
don't install CLP unless coroutining && rational trees are
...
active
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1432 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-10-31 12:44:29 +00:00
vsc
640bbe7431
fix default opyions for Makefile so that both coroutining and rational trees are
...
enabled.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1429 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-10-30 00:32:55 +00:00
vsc
7115515f1f
make max-memory standard and disable installing new CHR for now.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1428 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-10-29 11:22:43 +00:00
vsc
1fa46c6051
sveral updates
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1415 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-10-28 17:38:50 +00:00
rslopes
ed92d70e68
BEAM for YAP update...
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1384 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-09-08 21:59:58 +00:00
rslopes
06c60f4041
added check for gcc version since -fno-gcse -fno-crossjumping
...
is not supported in older versions...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1379 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-08-23 18:09:57 +00:00
vsc
5870526dd8
fix condor version
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1367 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-08-18 19:25:40 +00:00
vsc
ab97812ec7
first steps to allow mavars with tabling
...
fix trailing for tabling with multiple get_cons
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1356 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-08-05 14:55:03 +00:00
vsc
0593e9a686
update configuration script to avoid incompatible options`
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1330 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-06-06 05:02:08 +00:00
rslopes
1e93141fae
coroutining and depth-limit enabled by default
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1292 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-05-26 17:26:55 +00:00
vsc
7e06e3fa36
fix error handling
...
configure should not allow max-memory and use-malloc at same time
some extensions for jpl
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1289 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-05-25 18:18:02 +00:00
vsc
eb8721e6be
improve ld support in dynamic library version.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1274 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-04-15 15:20:52 +00:00
vsc
056ccbc819
bug fixes, I hope!
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1270 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-04-10 04:01:15 +00:00
ricroc
de17f5cca4
Adding tabling support for mixed strategy evaluation (batched and local scheduling)
...
UPDATE: compilation flags -DTABLING_BATCHED_SCHEDULING and -DTABLING_LOCAL_SCHEDULING removed. To support tabling use -DTABLING in the Makefile or --enable-tabling in configure.
NEW: yap_flag(tabling_mode,MODE) changes the tabling execution mode of all tabled predicates to MODE (batched, local or default).
NEW: tabling_mode(PRED,MODE) changes the default tabling execution mode of predicate PRED to MODE (batched or local).
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1268 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-04-07 17:56:58 +00:00
vsc
59561e2688
fix excessive pruning in meta-calls
...
fix Term->int breakage in compiler
improve JPL (at least it does something now for amd64).
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1264 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-03-13 06:26:13 +00:00
vsc
5493bd29f9
fix nth_instance
...
fix Makefile.in for multi-threading
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1262 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-03-09 06:35:52 +00:00
vsc
5792a4f18e
First cut at lgamma support
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1228 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-01-05 17:32:03 +00:00
vsc
2dfdca263d
Use Doug Lea's malloc as an alternative to YAP's standard malloc
...
don't use TR directly in scanner/parser, this avoids trouble with ^C while
consulting large files.
pass gcc -mno-cygwin to library compilation in cygwin environment (cygwin should
compile out of the box now).
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1168 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2004-10-28 20:12:23 +00:00
vsc
7efbf340a5
fix compilation problems in garbage collector
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1156 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2004-10-06 19:40:22 +00:00
vsc
40a39a79b1
Mega clauses
...
Fixes to sizeof(expand_clauses) which was being overestimated
Fixes to profiling+indexing
Fixes to reallocation of memory after restoring
Make sure all clauses, even for C, end in _Ystop
Don't reuse space for Streams
Fix Stream_F on StreaNo+1
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1147 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2004-09-27 20:45:04 +00:00
vsc
9e0151070f
updates
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1123 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2004-09-07 16:29:16 +00:00
vsc
3e0a3fa9f3
fix heap overflow in YAP_LookupAtom
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1098 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2004-07-23 03:37:17 +00:00
vsc
f1063a27b2
fixes for stack overflow
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@982 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2004-02-12 17:09:17 +00:00
vsc
ba9876268f
threads, clean signals, and much more...
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@957 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2004-01-23 02:23:51 +00:00
rslopes
c019bb6499
*** empty log message ***
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@847 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2003-07-21 19:13:30 +00:00
vsc
0afb07931f
patches to Ricardo Lopes' low level profiler: enable if SIGPROF is
...
there, do sorting, init PROFPREDS when you start counters, keep time
stamps for eventual assert/retract, and use qsort (3) to do less work.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@829 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2003-05-20 19:11:59 +00:00
rslopes
fc791f3600
*** empty log message ***
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@817 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2003-04-04 10:32:56 +00:00
rslopes
1febfedc9d
added Low Profiler to yap
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@804 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2003-03-21 16:18:42 +00:00
vsc
4bc32d9a1b
minor changes
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@730 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2002-12-13 22:09:54 +00:00
vsc
6014cd75ca
initial support for vc++
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@723 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2002-12-10 19:09:50 +00:00
vsc
f339741dd2
use install_win in all windows versions.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@696 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2002-11-20 14:36:19 +00:00