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