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

201 Commits

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