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

275 Commits

Author SHA1 Message Date
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