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 |
|