diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
7,177 Commits 2 Branches 6 Tags 146 MiB
f11b0518a8
Commit Graph

425 Commits

Author SHA1 Message Date
Vítor Santos Costa
c4ee7ee0c3 Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3 
Conflicts:
	.gitmodules
	configure
	packages/real
 2012-02-01 20:57:42 +00:00
Vítor Santos Costa
7e73c781b0 configure fixes for lam-mpi. 2012-02-01 19:26:58 +00:00
Vítor Santos Costa
7a99e4f974 fix openmpi/lam detection under Linux/UBUNTU 
fix -I in R interface.
 2012-02-01 10:26:04 +00:00
Vítor Santos Costa
fa9842083b fixes for OpenMP. 2012-02-01 08:57:26 +00:00
Vítor Santos Costa
e4bfd98830 use real package shared with swi. 2012-01-31 15:11:39 +00:00
Vítor Santos Costa
045e6fe65c fix dynamic compilation in darwin. 2012-01-27 12:08:04 -06:00
Vitor Santos Costa
66eb2d71b5 improve search for cudd. 2012-01-09 23:26:16 +00:00
Vitor Santos Costa
dcbf8b0522 fix configure to handle or-parallelism correctly and to remove random from clib. 2011-12-07 09:04:46 -08:00
Denys Duchier
d75cf3118a fix GECODE_EXTRALIBS assignment 2011-12-04 16:40:43 +01:00
Vítor Santos Costa
514189e097 gecode compatibility. 2011-12-02 23:09:25 +00:00
Denys Duchier
9ebcae23ea add -framework gecode if necessary 2011-12-02 14:30:55 +01:00
Denys Duchier
d9ce468a03 move to a leaner install procedure 2011-12-01 21:54:39 +01:00
Ricardo Rocha
7aa77faf2a fix compilation for or-parallelism 2011-11-30 15:19:37 +00:00
Vítor Santos Costa
244cb3d17c compile prism. 2011-11-18 17:02:09 +00:00
U-WIN7\Vitor
a2917e4e9e support R in WIN32. 2011-11-15 04:37:21 -08:00
Vítor Santos Costa
c469b0061a Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3 2011-11-15 10:24:13 +00:00
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