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

293 Commits

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