Vítor Santos Costa
50c8724322
linux backport
...
file exists system predicate
$source_file -> $user source
hide and make system preds
fix check_head_and_body
user_expansion never fails
goal expansion is controlled b dynamic procedure
add must_be_of_type predicate_indicator
fix neat_call, debug flag is user controlled
use simplecudd, not ptoblogbdd
compile all of myddas
fx junk in file_name
fix warnings
use common file opening struct and funds
avoid pairs module
fix db queues
2016-01-04 14:11:09 +00:00
Vítor Santos Costa
a91796e4c8
Follow actual syntax
2015-11-12 14:53:14 +00:00
Vítor Santos Costa
db2cf949b4
oops
...
Signed-off-by: Vítor Santos Costa <vsc@dcc.fc.up.pt>
2015-09-29 23:24:33 +01:00
Vítor Santos Costa
4336b2ba88
Avoid complaining from strlen
...
`
2015-09-21 17:05:36 -05:00
Vítor Santos Costa
2d919a4a09
MPI fixes
2015-02-11 01:50:59 +00:00
Vítor Santos Costa
7b4cd0d256
patch by Fab. Riguzzi to fix MPI interface
2015-02-06 18:08:06 +00:00
Vítor Santos Costa
30664a5344
cmake
2015-02-03 02:40:41 +00:00
Vitor Santos Costa
d9357d3f49
fix mpi
2015-01-27 03:16:07 +00:00
Vitor Santos Costa
d023e2e493
search lib64 before lib
2015-01-26 09:44:39 +00:00
Vítor Santos Costa
bc1e70758e
cmake and jit
2015-01-26 04:02:46 +00:00
Vitor Santos Costa
656e27f5e0
mpi support
2014-12-14 16:44:52 +00:00
Vitor Santos Costa
ff977fbad8
cmake support: first cut from David Vaz work.i
2014-12-04 07:59:30 +00:00
Vítor Santos Costa
3009987985
update docs
2014-09-11 14:06:57 -05:00
Vítor Santos Costa
9e7257978c
cleanup
2014-09-09 23:55:47 -05:00
Vítor Santos Costa
3da5cc5977
check libpthread in win32
2014-02-22 22:48:29 +00:00
Vítor Santos Costa
6a1302221c
change to support autoheaders
2014-02-16 13:03:09 +00:00
Vítor Santos Costa
1d27d22ef0
big makefile cleanup
2014-02-13 01:58:48 +00:00
Vitor Santos Costa
9a46cdac9b
clean up makefile
2014-02-10 23:31:33 +00:00
Vitor Santos Costa
d648375412
make MYDDAS into its own module.
2014-01-24 19:59:42 +00:00
Vítor Santos Costa
0205a222d9
Attached is a small patch to respect any LDFLAGS when building
...
library/lammpi or packages/CLPBN/horus.
Keri Harris
2013-11-10 11:22:54 +00:00
Vitor Santos Costa
d2ed850643
separate cplint and mpi interface.
2013-11-04 13:16:14 +00:00
Vitor Santos Costa
fe154e87a5
lam_mpi configuration (again).
2013-10-29 16:17:16 +00:00
Vitor Santos Costa
edbc21dcb0
fix typo
2013-04-26 18:23:17 -05:00
Vitor Santos Costa
6480f75b23
compile conditionally on HAVE_MPI_H.
2013-04-26 18:12:23 -05:00
Vitor Santos Costa
66af6f7642
fix quotes
2013-04-08 17:51:55 -05:00
Vitor Santos Costa
439b7e293f
use --showme in lammpi.
2013-04-08 17:20:13 -05:00
Vitor Santos Costa
bb71204a11
small tests for MPI interface
2012-10-11 13:47:29 +01:00
Vitor Santos Costa
3648c562fa
more lammpi compilation fixes.
2012-02-06 17:35:32 +00:00
Vitor Santos Costa
e032d5faf7
configure fixes for LAM MPI.
2012-02-06 16:44:33 +00:00
Vítor Santos Costa
bd677152e7
more MPI fixes.
2012-02-05 11:20:30 +00:00
Vítor Santos Costa
e6fb330f58
fix warnings.
2012-02-03 20:55:35 +00:00
Vítor Santos Costa
5e85dcbd8e
an example.
2012-02-03 20:53:59 +00:00
Vítor Santos Costa
a2c86643b0
ismall fixes to MPI interface.
2012-02-03 16:31:49 +00:00
Vítor Santos Costa
ab33cacf7b
LAM MPI interface support.
2012-02-02 23:25:31 +00:00
Vítor Santos Costa
c60514f89b
add some MPI tests.
2012-02-02 10:00:17 +00:00
Vítor Santos Costa
4e6cc28cd3
lam support.
2012-02-02 09:58:05 +00:00
Vítor Santos Costa
7e73c781b0
configure fixes for lam-mpi.
2012-02-01 19:26:58 +00:00
Vítor Santos Costa
c052b195e5
fix interface dependencies.
2011-10-21 22:06:13 +01:00
Vitor Santos Costa
565407926d
compilation fixes.
2011-10-13 16:47:02 +01:00
Vitor Santos Costa
a16a7d5b1c
fix calling of Write and Read for new SWI style interface.
2011-07-22 15:49:40 +01:00
Joao
971ad94311
moved several global variables to misc/GLOBALS
2011-05-25 16:40:36 +01:00
Joao
8170f6d3cb
Some global variables(Yap_thread_gl) in C/init.c are now declared in misc/LOCALS
2011-05-23 16:19:47 +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
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
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
5e26f604c6
fix makefiles to define $exec_prefix
2010-03-05 10:22:48 +00:00
Vitor Santos Costa
2685a8449d
installation patches from Keri Harris
2010-03-05 08:15:02 +00:00
Vitor Santos Costa
1f7b839e85
support exporting top-level-work as absolute path
2009-05-02 14:11:54 -05:00
vsc
23757e5563
fix bropken MPI_LAM configure
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1695 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2006-09-28 11:42:51 +00:00
