Commit Graph

506 Commits

Author SHA1 Message Date
Vítor Santos Costa b7be50ee1f distributed commit 2013-11-04 01:16:08 +00:00
Vítor Santos Costa 4b64eafc3d autoconf 2013-10-30 23:08:27 +00:00
Vítor Santos Costa 3bbc867611 fix sun jdk in darwin 2013-10-30 22:12:34 +00:00
U-w7\vsc 360e8a9269 WIN32 support 2013-10-30 13:56:35 +00:00
Vitor Santos Costa 699edafa2c try to improve jpl and zlib makefiles 2013-10-30 12:57:46 +00:00
Vítor Santos Costa 0f43a319c5 fix library path and revert nvidia 32 bits patch 2013-10-30 09:40:29 +00:00
Vítor Santos Costa 7ebd169a62 support for nvcc -m32 2013-10-30 07:23:56 +00:00
Vitor Santos Costa fe154e87a5 lam_mpi configuration (again). 2013-10-29 16:17:16 +00:00
Vitor Santos Costa 80cb87c41c no MPI means no MPI/LAM/MPICH 2013-10-29 12:39:21 +00:00
Vítor Santos Costa 691e977a68 cuda fixes by Carlos and other diverse (fact init, configure). 2013-10-12 12:46:01 +01:00
Vitor Santos Costa 9229460310 cuda 2013-10-09 14:56:23 +01:00
Vitor Santos Costa 3648e98a17 cuda 2013-10-09 14:47:52 +01:00
Vitor Santos Costa 23aaa8c792 cuda 2013-10-09 14:41:03 +01:00
Vítor Santos Costa 726d7ca1cc cuda package from Carlos 2013-10-07 12:20:00 +01:00
Vitor Santos Costa 43163a190f Atom Translations and CUDA stub 2013-10-04 13:22:00 +01:00
Vitor Santos Costa 710915e001 LDFLAGS 2013-10-03 11:24:17 +01:00
vsc 6ab396ee85 support for gecode 4, reification, initial floats 2013-09-04 04:50:32 -05:00
Vitor Santos Costa 7e1f3009e6 Bernd Gutmann's lbfgs interface 2013-06-13 17:57:55 -05:00
Vitor Santos Costa 537efbc341 disable MPI library, use LAM only 2013-04-07 00:00:02 +01:00
Vitor Santos Costa 46d447b385 JAVACFLAGS 2013-03-10 16:39:03 +00:00
Vitor Santos Costa a5000dab32 change SWI stuff to swi directory. 2013-03-05 15:50:38 -06:00
Vítor Santos Costa a1e599ebe4 windows stuff 2013-01-19 11:48:36 +00:00
Vitor Santos Costa e7da973009 FreeBSD support by mei 2013-01-17 12:59:52 +00:00
Vítor Santos Costa 798afc81c4 fix argv[0] discovery. 2013-01-13 17:55:13 +00:00
Vitor Santos Costa 37243187ec handle no Judy 2013-01-09 17:02:41 +00:00
David Vaz c9a01455b5 Merge branch 'udi_new' into yap 2013-01-08 18:45:39 +00:00
David Vaz 38fcc19d55 Merge branch 'udi_new' of github.com:davidvaz/yap-udi into udi_new 2013-01-07 16:33:21 +00:00
Vítor Santos Costa 8e8046db73 get rid of osx warnings 2013-01-07 09:47:52 +00:00
David Vaz a9cacc7b33 Changes to autoconfigure libjudy in udi 2013-01-02 12:10:11 +00:00
Vítor Santos Costa 0ac9f6f436 propagate changes 2012-12-20 21:17:23 +00:00
Vitor Santos Costa 547ba48f9f fix CUT_C=1 not being exported to sub-makefiles. 2012-12-11 23:02:05 +00:00
Vítor Santos Costa 3e2a1a9678 fix --enable-clpbn-bp flag 2012-11-27 08:37:53 +00:00
Vitor Santos Costa 46cec46fa8 always accpet --enable-clpbn-bp 2012-11-26 16:20:36 +00:00
Vítor Santos Costa bf956ca639 python interface as a separate package 2012-11-02 22:37:27 +00:00
Vítor Santos Costa b272205707 odbc and archive 2012-10-23 00:45:13 +01:00
Vítor Santos Costa ad4b767661 python support. 2012-10-22 21:38:04 +01:00
Vítor Santos Costa ecf5ac655f fun with python 2012-10-08 23:58:22 +01:00
Vitor Santos Costa d688ee0295 fix -lm 2012-09-27 11:48:58 +01:00
Vitor Santos Costa 0e2055d359 use both lib64 and lib 2012-09-26 13:53:50 +01:00
Vitor Santos Costa 9597d1e75f fix library access order. 2012-09-26 13:50:25 +01:00
Vítor Santos Costa 19e565a1c7 jpl support: swi sharing updates 2012-09-21 12:58:51 +01:00
Vítor Santos Costa f38e80f659 jpl support: swi sharing updates 2012-09-21 11:50:55 +01:00
VITOR SANTOS COSTA a6c91c99c7 more cleanups. 2012-09-11 14:22:18 +01:00
Vítor Santos Costa a4ae6acbb6 check for Rinterface.h 2012-08-02 19:53:43 -05:00
Vítor Santos Costa a69a509b11 check if strlwr exists 2012-07-24 21:51:30 -04:00
Vítor Santos Costa 2852f82b72 updaate. 2012-07-18 17:57:39 -05:00
Costa Vitor 8ba1de7250 fixes for external CUDD compatibility. 2012-07-16 11:58:21 -05:00
Vitor Santos Costa d78a55ca83 fix cudd support. 2012-07-08 07:45:16 -05:00
Vítor Santos Costa 1e1d49e112 allow installing examples by defult. 2012-07-07 09:43:07 -05:00
Vitor Santos Costa 47d6cd795e explictely check for shell32 dll
make thw way jpl handles white spaces more SWI like.
2012-06-29 15:33:27 -05:00
Vítor Santos Costa 4d21a8c062 fix cxxflags typo (obs from Denys Duchier). 2012-06-21 22:40:28 +01:00
Vítor Santos Costa 8d65561494 configure detection. 2012-06-16 21:05:29 +01:00
Vitor Santos Costa edb982cfff fix library search in window. 2012-06-16 12:22:59 -05:00
Vitor Santos Costa 58c3445d82 win console. 2012-06-08 06:55:23 -05:00
Vitor Santos Costa dba0a81b1c fix cudd finder. 2012-06-07 10:30:08 -05:00
Tiago Gomes 978ad635b7 update configure 2012-05-28 17:02:51 +01:00
Vitor Santos Costa 4945e390f1 detect C++ flags and compile horus accordingly 2012-05-03 15:40:33 +01:00
Vítor Santos Costa 8c6b68278c isupport compiling bdd package. 2012-03-22 21:37:20 +00:00
Vítor Santos Costa 9a57a51f40 keep looking for perfect cudd detection. 2012-03-06 14:40:56 +00:00
Vítor Santos Costa bf15197e49 cudd is a nightmare. 2012-03-05 16:40:32 +00:00
Vítor Santos Costa bb4b7b6d0e fix paths, disable R by default. 2012-03-05 16:00:47 +00:00
Vítor Santos Costa 67cd8b303e improve finding cuddd. 2012-03-01 08:42:19 +00:00
Vitor Santos Costa fd88bae93d no lam by default, 2012-02-17 11:40:35 +00:00
Vítor Santos Costa 8c556f21ba include XMLPL package. 2012-02-14 12:41:12 +00:00
Vítor Santos Costa 9dc5992109 fix uid support. 2012-02-13 11:23:51 +00:00
Vítor Santos Costa ea18699602 JPL support patches. 2012-02-12 12:28:37 +00: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 5e68d5e7e8 more TARGET fixes. 2012-02-06 11:21:14 +00:00
Vítor Santos Costa 3618bffcca fix comment 2012-02-06 11:12:55 +00:00
Vítor Santos Costa cb592d1ddc fix configure for win64. 2012-02-06 11:11:50 +00:00
Vítor Santos Costa 73b1a8d6f8 change R configuration. 2012-02-06 11:01:10 +00:00
Vítor Santos Costa 6040696637 fix previous fix. 2012-02-06 10:46:44 +00:00
Vítor Santos Costa ebec10b1d3 clib needs LIBS to have ws2_32. 2012-02-06 10:36:44 +00:00
Vítor Santos Costa 6364c79bd5 ws2_32 in path 2012-02-06 10:27:21 +00:00
Vítor Santos Costa 5c701eb286 oops 2012-02-06 10:17:22 +00:00
Vítor Santos Costa 42b576dd59 fix MPI_CC default case. 2012-02-06 10:05:57 +00:00
Vítor Santos Costa ab33cacf7b LAM MPI interface support. 2012-02-02 23:25:31 +00:00
Vítor Santos Costa 4e6cc28cd3 lam support. 2012-02-02 09:58:05 +00:00
Vítor Santos Costa dddf5bce80 update 2012-02-01 21:01:24 +00:00
Vítor Santos Costa 539f553133 merge 2012-02-01 20:59:43 +00:00
Vítor Santos Costa c4ee7ee0c3 Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3
Conflicts:
	.gitmodules
	configure
	packages/real
2012-02-01 20:57:42 +00:00
Vítor Santos Costa 7e73c781b0 configure fixes for lam-mpi. 2012-02-01 19:26:58 +00:00
Vítor Santos Costa 7a99e4f974 fix openmpi/lam detection under Linux/UBUNTU
fix -I in R interface.
2012-02-01 10:26:04 +00:00
Vítor Santos Costa fa9842083b fixes for OpenMP. 2012-02-01 08:57:26 +00:00
Vítor Santos Costa e4bfd98830 use real package shared with swi. 2012-01-31 15:11:39 +00:00
Vítor Santos Costa 045e6fe65c fix dynamic compilation in darwin. 2012-01-27 12:08:04 -06:00
Vitor Santos Costa 66eb2d71b5 improve search for cudd. 2012-01-09 23:26:16 +00:00
Vitor Santos Costa dcbf8b0522 fix configure to handle or-parallelism correctly and to remove random from clib. 2011-12-07 09:04:46 -08:00
Denys Duchier d75cf3118a fix GECODE_EXTRALIBS assignment 2011-12-04 16:40:43 +01:00
Vítor Santos Costa 514189e097 gecode compatibility. 2011-12-02 23:09:25 +00:00
Denys Duchier 9ebcae23ea add -framework gecode if necessary 2011-12-02 14:30:55 +01:00
Denys Duchier d9ce468a03 move to a leaner install procedure 2011-12-01 21:54:39 +01:00
Ricardo Rocha 7aa77faf2a fix compilation for or-parallelism 2011-11-30 15:19:37 +00:00
Vítor Santos Costa 244cb3d17c compile prism. 2011-11-18 17:02:09 +00:00
U-WIN7\Vitor a2917e4e9e support R in WIN32. 2011-11-15 04:37:21 -08:00
Vítor Santos Costa c469b0061a Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3 2011-11-15 10:24:13 +00:00
Vítor Santos Costa d2f6683538 more aggressive defaults (tabling and memory allocation from system on). 2011-11-15 10:23:41 +00:00
Vitor Santos Costa 71bedb75f2 fix configuration script to better recognsie R. 2011-11-15 10:22:03 +00:00
Vítor Santos Costa 3ac8e3914f improve C-interface to cope with prism. 2011-11-10 12:26:23 +00:00
Vítor Santos Costa 3dbae0cb94 Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3 2011-11-04 02:48:28 +00:00
Vítor Santos Costa 2ee9981a11 new Makefiles and prototypes. 2011-11-03 07:55:56 +09:00
Fabrizio Riguzzi be449b3aef updated cplint 2011-10-22 16:33:04 +02:00
Vítor Santos Costa 139f64a459 fix compilation for OSX 2011-10-03 15:29:36 -03:00
Vítor Santos Costa 5e0c4b923d improve support for R 2011-10-02 19:54:20 -03:00
Vitor Santos Costa dfb81fc217 fix permissions (WIN messup). 2011-08-22 15:50:11 -03:00
U-WIN-U2045GN0RNQ\Vítor Santos Costa b6aca9463d Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3 2011-08-18 22:35:13 +01:00
Denys Duchier 76dd2511a8 finish and test support for dynamic arrays 2011-08-09 16:30:59 +02:00
Vitor Santos Costa 0ccba96834 fix CXXFLAGS 2011-08-09 08:30:37 -03:00
Vitor Santos Costa 31aed3db43 fix merge. 2011-08-09 08:13:42 -03:00
Vitor Santos Costa 0ed341ed83 Merge branch 'master' of https://github.com/denys-duchier/yap-6.3
Conflicts:
	configure
2011-08-09 08:12:43 -03:00
Denys Duchier d4d4dbaddf added support for gecode library 2011-08-08 15:21:36 +02:00
Vitor Santos Costa a4ff34476b fix buglet. 2011-08-08 08:08:53 -03:00
U-WIN-U2045GN0RNQ\Vítor Santos Costa 4fe1833ece Merge branch 'master' of /cygdrive/z/vitor/Yap/yap-6.3 2011-07-25 17:09:43 +01:00
U-WIN-U2045GN0RNQ\Vítor Santos Costa 840e287cda mode changes 2011-07-25 17:09:28 +01:00
Vitor Santos Costa a701f08180 small fixes. 2011-07-22 21:35:18 +01:00
Ricardo Rocha 22d8e33a5f fix cut support for or-parallelism 2011-07-13 17:36:26 +01:00
Vitor Santos Costa 45e5e3b983 work if ipackages are missing and some cleanups. 2011-07-13 15:31:22 +01:00
Vitor Santos Costa 9eabaa580c support for documentation in packages. 2011-06-12 22:26:04 +01:00
Joao d4825159ee fix configure file. change memory management in YapOr. 2011-04-28 09:48:42 +01:00
Joao 274de7652f fix error messages in configure file. 2011-04-18 14:59:17 +01:00
Vítor Santos Costa 4de6a9e3ef update configuration options for threads/or-parallelism. 2011-04-14 18:49:55 +01:00
Joao 662658986a chnage define ACOW to YAPOR_COW 2011-03-30 16:39:09 +01:00
Joao 3e148c3541 change define SBA to YAPOR_SBA 2011-03-30 15:32:59 +01:00
Joao 810c96416b change define ENV_COPY to YAPOR_COPY 2011-03-30 14:35:10 +01:00
Vítor Santos Costa 44f6ce1000 first cut at support for J Azevedo and Rui Camacho's YapR. 2011-03-23 09:46:27 +00:00
Vítor Santos Costa 2d989b3f18 undo WIN32 stuff. 2011-03-22 09:38:59 +00:00
unknown 591119b888 fix configure for WIN32. 2011-03-21 23:43:06 +00:00
U-WIN-ENP104VVO3U\Vítor Santos Costa 7670ce631b WIN32 patches 2011-03-21 17:07:58 +00:00
Vitor Santos Costa ca952a4eac include R package. 2011-03-19 15:29:06 +00:00
Vítor Santos Costa d96f9c3fe1 ZLIB support 2011-03-15 18:16:05 +00:00
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