This repository has been archived on 2023-08-20. You can view files and clone it, but cannot push or open issues or pull requests.
yap-6.3/cmake
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
..
CheckPrototypeExists.cmake cmake support: first cut from David Vaz work.i 2014-12-04 07:59:30 +00:00
Config.cmake make fixes 2015-11-05 23:51:35 +00:00
EmptyArray.c cmake support 2014-12-14 12:05:43 +00:00
FindGecode.cmake more cmake functionality 2015-06-18 00:55:12 +01:00
FindGMP.cmake cmake support: first cut from David Vaz work.i 2014-12-04 07:59:30 +00:00
FindLibR.cmake more cmake functionality 2015-06-18 00:55:12 +01:00
FindLLVM.cmake fix error handling 2015-09-25 10:57:26 +01:00
FindMySQL.cmake linux backport 2016-01-04 14:11:09 +00:00
FindODBC.cmake cmake support: first cut from David Vaz work.i 2014-12-04 07:59:30 +00:00
FindPAPI.cmake.txt more cmake functionality 2015-06-18 00:55:12 +01:00
FindPostgreSQL.cmake linux backport 2016-01-04 14:11:09 +00:00
FindR.cmake newer Find R module 2015-11-05 19:28:22 +00:00
FindReadline.cmake fix error handling 2015-09-25 10:57:26 +01:00
FindSqlite3.cmake fix error handling 2015-09-25 10:57:26 +01:00
FindThrust.cmake more cmake functionality 2015-06-18 00:55:12 +01:00
GetGitRevisionDescription.cmake fix error handling 2015-09-25 10:57:26 +01:00
GetGitRevisionDescription.cmake.in more cmake functionality 2015-06-18 00:55:12 +01:00
MacroLogFeature.cmake fix error handling 2015-09-25 10:57:26 +01:00
MacroOptionalAddSubdirectory.cmake cmake support: first cut from David Vaz work.i 2014-12-04 07:59:30 +00:00
MacroOptionalFindPackage.cmake cmake support: first cut from David Vaz work.i 2014-12-04 07:59:30 +00:00
Sources.cmake bug fices 2016-01-03 02:06:09 +00:00
TestForHighBitCharacters.c cmake support 2014-12-14 12:05:43 +00:00
TestForHighBitCharacters.cmake cmake support: first cut from David Vaz work.i 2014-12-04 07:59:30 +00:00
TestSignalType.c cmake support 2014-12-14 12:05:43 +00:00
TestSignalType.cmake cmake support: first cut from David Vaz work.i 2014-12-04 07:59:30 +00:00
TestSTDC.cmake cmake support: first cut from David Vaz work.i 2014-12-04 07:59:30 +00:00