kpriv/pkgsrc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
pkgsrc/lang/yap/Makefile

28 lines
693 B
Makefile
Raw Normal View History

Drop superfluous PKG_DESTDIR_SUPPORT, "user-destdir" is default these days.
2012-10-02 22:11:34 +02:00
# $NetBSD: Makefile,v 1.14 2012/10/02 20:11:57 asau Exp $
Added YAP-4.4.4. YAP is a high-performance Prolog compiler developed at LIACC/Universidade do Porto and at COPPE Sistemas/UFRJ. Its Prolog engine is based in the WAM (Warren Abstract Machine), with several optimizations for better performance. YAP follows the Edinburgh tradition, and is largely compatible with the ISO-Prolog standard and with Quintus and SICStus Prolog.
2005-07-20 15:08:15 +02:00
#
Update to Yap 6.2.2 In terms of the core YAP, most changes are small bug fixes. They include - better support for 64 bits in win64, - some fixes to the garbage collector - OSX Lion compilation - wide char support - bug in copy_term when some variables have attributes - fixes to lam interface - C-interface and SWI support - over-optimisation of =/2. - arithmetic exceptions - write_canonical (Ulrich) - retracting may not follow lu semantics - minor predicate import bug. There has been a lot of progress in ProbLog and cplint.
2012-06-16 21:34:49 +02:00
DISTNAME= yap-6.2.2
Added YAP-4.4.4. YAP is a high-performance Prolog compiler developed at LIACC/Universidade do Porto and at COPPE Sistemas/UFRJ. Its Prolog engine is based in the WAM (Warren Abstract Machine), with several optimizations for better performance. YAP follows the Edinburgh tradition, and is largely compatible with the ISO-Prolog standard and with Quintus and SICStus Prolog.
2005-07-20 15:08:15 +02:00
CATEGORIES= lang
Update to Yap 5.1.3. Many improvements, bug and compatibility fixes since previous 5.0.0 package.
2010-02-11 21:43:49 +01:00
# MASTER_SITES= ${MASTER_SITE_SOURCEFORGE:=yap/}
Update to YAP-6.0.5 Changes in Yap-6.0.5: - Very large programs: indexing very large DBs requires very large intermediate data-structures. malloc is changed to avoid memory fragmentation. - Heap data-structures: there was some confusion about what should be going through save/restore and atom-gc, and what is local to a run. Fixed that by two files describing the two types: global variables and code-space data structures. - SWI emulation cleanup: some builti-ins (like predsort/3, plus/3) are now in YAP proper, the file was cleaned up and made to rely more on Changes in Yap-6.0.4: Overhaul/cleanup of the attributed variable and coroutining code: - attributed variables now don't have a separate stack; instead, they are allocated as global variables. - Prolog code for attributed variables cleaned up: layers now are engine, hprolog/SWI attvars, freeze and SICStus emulation libraries Changes in Yap-6.0.3: 6.0.3 is another bug fix release: - a bug in indexing large integers - a choice-point left over in consulting - fix error handling in comparisons - garbage collection of functor/3 could sometimes break - fixes to chr port - exec_prefix - bad error reporting in some arithmetic conditions - erf function - win32 install fixes - operators need to be exported in module list, some weren't. - tabling stuff Changes in Yap-6.0.2: This is a bug fix release: - fix current_op/3 in WIN32 (P Moura) - fix nb_current/2 (J Santos) and add SWI user:exception/3 (Bernd and Jose), add fix to nb_ in distributed ProbLog. - fix goal_expansion - fix clp(fd) all_distinct/1 and circuit/1 (M Triska) - fix seekable file detection in WIN32 - add yap.pdf and yap.html to win32 bundle (M Ferreira). - check for badly typed calls to load_files and friends. - threads: fix bad locking while spying (P Moura). Changes in Yap-6.0.1: - engine improvements; - many bug fixes; - new implementation of arithmetic; - better ISO compatibility; - improvements in tabling; - SWI-compatibility, YAP now includes support for most of the SWI foreign interface, and many built-ins, ports of SWI packages include jpl, chr, clpfd, clpr, sgml, prolog_xref, swi-minisat interface, and plunit; - yap-6 also includes a really cool new language called ProbLog. Changes in Yap-5.1.4: - FIXED: bad locking in p_signal (obs from Paulo Moura). - FIXED: DESTDIR and chr. - FIXED: make term_variables a builtin. (SWI compatibility). - NEW: X is random(Int) (SWI compatibility). - NEW: seletchk/3. - FIXED: do meta-expansion from undefp. - FIXED: handle correctly flatten([_,[_]],L). - FIXED: bad syntax in config.h (patch from Keri Harris). - NEW: format over atom/1. - FIXED: clean up apply_macros in swi mode. - FIXED: clean up meta-expansion. - FIXED: do meta-expansion from undefined call. - NEW: selectchk/3, nth1/3 and nth1/4. - FIXED: YapOpcodes has wrong formats (obs from Bart Demoen). - FIXED: improve format message (obs from Bart Demoen). - NEW: more versions of maplist (obs from Bart Demoen). - FIXED: use import mechanism for SWI's flatten/2 (obs from Bart Demoen). - FIXED: steps towards typed rbtrees plus some cases where one should not copy the null node (Tom Schrijvers and Bart Demoen). - FIXED: map_tree in trees library (Bart Demoen). - FIXED: bad call to splay_tree (Bart Demoen). - FIXED: bad type for write_x_var in add_info (Bart Demoen). - FIXED: exec/3 should flush streams. - FIXED: load_files/2 compilation_mode to allow :- source and replace compile by compact. - FIXED: list_concat/2 (fix from Bart Demoen). - NEW: dgraph_reachable/3 and friends.
2010-05-18 11:24:43 +02:00
MASTER_SITES= http://www.dcc.fc.up.pt/~vsc/Yap/ \
http://www.dcc.fc.up.pt/~vsc/Yap/current/
Added YAP-4.4.4. YAP is a high-performance Prolog compiler developed at LIACC/Universidade do Porto and at COPPE Sistemas/UFRJ. Its Prolog engine is based in the WAM (Warren Abstract Machine), with several optimizations for better performance. YAP follows the Edinburgh tradition, and is largely compatible with the ISO-Prolog standard and with Quintus and SICStus Prolog.
2005-07-20 15:08:15 +02:00
Resign from maintaining a lot of packages, so everyone is free to update them at will.
2008-03-04 12:02:23 +01:00
MAINTAINER= pkgsrc-users@NetBSD.org
Added YAP-4.4.4. YAP is a high-performance Prolog compiler developed at LIACC/Universidade do Porto and at COPPE Sistemas/UFRJ. Its Prolog engine is based in the WAM (Warren Abstract Machine), with several optimizations for better performance. YAP follows the Edinburgh tradition, and is largely compatible with the ISO-Prolog standard and with Quintus and SICStus Prolog.
2005-07-20 15:08:15 +02:00
HOMEPAGE= http://www.ncc.up.pt/~vsc/Yap/
COMMENT= ISO-compliant Prolog
Update to YAP-6.0.5 Changes in Yap-6.0.5: - Very large programs: indexing very large DBs requires very large intermediate data-structures. malloc is changed to avoid memory fragmentation. - Heap data-structures: there was some confusion about what should be going through save/restore and atom-gc, and what is local to a run. Fixed that by two files describing the two types: global variables and code-space data structures. - SWI emulation cleanup: some builti-ins (like predsort/3, plus/3) are now in YAP proper, the file was cleaned up and made to rely more on Changes in Yap-6.0.4: Overhaul/cleanup of the attributed variable and coroutining code: - attributed variables now don't have a separate stack; instead, they are allocated as global variables. - Prolog code for attributed variables cleaned up: layers now are engine, hprolog/SWI attvars, freeze and SICStus emulation libraries Changes in Yap-6.0.3: 6.0.3 is another bug fix release: - a bug in indexing large integers - a choice-point left over in consulting - fix error handling in comparisons - garbage collection of functor/3 could sometimes break - fixes to chr port - exec_prefix - bad error reporting in some arithmetic conditions - erf function - win32 install fixes - operators need to be exported in module list, some weren't. - tabling stuff Changes in Yap-6.0.2: This is a bug fix release: - fix current_op/3 in WIN32 (P Moura) - fix nb_current/2 (J Santos) and add SWI user:exception/3 (Bernd and Jose), add fix to nb_ in distributed ProbLog. - fix goal_expansion - fix clp(fd) all_distinct/1 and circuit/1 (M Triska) - fix seekable file detection in WIN32 - add yap.pdf and yap.html to win32 bundle (M Ferreira). - check for badly typed calls to load_files and friends. - threads: fix bad locking while spying (P Moura). Changes in Yap-6.0.1: - engine improvements; - many bug fixes; - new implementation of arithmetic; - better ISO compatibility; - improvements in tabling; - SWI-compatibility, YAP now includes support for most of the SWI foreign interface, and many built-ins, ports of SWI packages include jpl, chr, clpfd, clpr, sgml, prolog_xref, swi-minisat interface, and plunit; - yap-6 also includes a really cool new language called ProbLog. Changes in Yap-5.1.4: - FIXED: bad locking in p_signal (obs from Paulo Moura). - FIXED: DESTDIR and chr. - FIXED: make term_variables a builtin. (SWI compatibility). - NEW: X is random(Int) (SWI compatibility). - NEW: seletchk/3. - FIXED: do meta-expansion from undefp. - FIXED: handle correctly flatten([_,[_]],L). - FIXED: bad syntax in config.h (patch from Keri Harris). - NEW: format over atom/1. - FIXED: clean up apply_macros in swi mode. - FIXED: clean up meta-expansion. - FIXED: do meta-expansion from undefined call. - NEW: selectchk/3, nth1/3 and nth1/4. - FIXED: YapOpcodes has wrong formats (obs from Bart Demoen). - FIXED: improve format message (obs from Bart Demoen). - NEW: more versions of maplist (obs from Bart Demoen). - FIXED: use import mechanism for SWI's flatten/2 (obs from Bart Demoen). - FIXED: steps towards typed rbtrees plus some cases where one should not copy the null node (Tom Schrijvers and Bart Demoen). - FIXED: map_tree in trees library (Bart Demoen). - FIXED: bad call to splay_tree (Bart Demoen). - FIXED: bad type for write_x_var in add_info (Bart Demoen). - FIXED: exec/3 should flush streams. - FIXED: load_files/2 compilation_mode to allow :- source and replace compile by compact. - FIXED: list_concat/2 (fix from Bart Demoen). - NEW: dgraph_reachable/3 and friends.
2010-05-18 11:24:43 +02:00
USE_LANGUAGES= c c++
Added YAP-4.4.4. YAP is a high-performance Prolog compiler developed at LIACC/Universidade do Porto and at COPPE Sistemas/UFRJ. Its Prolog engine is based in the WAM (Warren Abstract Machine), with several optimizations for better performance. YAP follows the Edinburgh tradition, and is largely compatible with the ISO-Prolog standard and with Quintus and SICStus Prolog.
2005-07-20 15:08:15 +02:00
USE_PKGLOCALEDIR= yes
GNU_CONFIGURE= yes
Update to YAP-6.0.5 Changes in Yap-6.0.5: - Very large programs: indexing very large DBs requires very large intermediate data-structures. malloc is changed to avoid memory fragmentation. - Heap data-structures: there was some confusion about what should be going through save/restore and atom-gc, and what is local to a run. Fixed that by two files describing the two types: global variables and code-space data structures. - SWI emulation cleanup: some builti-ins (like predsort/3, plus/3) are now in YAP proper, the file was cleaned up and made to rely more on Changes in Yap-6.0.4: Overhaul/cleanup of the attributed variable and coroutining code: - attributed variables now don't have a separate stack; instead, they are allocated as global variables. - Prolog code for attributed variables cleaned up: layers now are engine, hprolog/SWI attvars, freeze and SICStus emulation libraries Changes in Yap-6.0.3: 6.0.3 is another bug fix release: - a bug in indexing large integers - a choice-point left over in consulting - fix error handling in comparisons - garbage collection of functor/3 could sometimes break - fixes to chr port - exec_prefix - bad error reporting in some arithmetic conditions - erf function - win32 install fixes - operators need to be exported in module list, some weren't. - tabling stuff Changes in Yap-6.0.2: This is a bug fix release: - fix current_op/3 in WIN32 (P Moura) - fix nb_current/2 (J Santos) and add SWI user:exception/3 (Bernd and Jose), add fix to nb_ in distributed ProbLog. - fix goal_expansion - fix clp(fd) all_distinct/1 and circuit/1 (M Triska) - fix seekable file detection in WIN32 - add yap.pdf and yap.html to win32 bundle (M Ferreira). - check for badly typed calls to load_files and friends. - threads: fix bad locking while spying (P Moura). Changes in Yap-6.0.1: - engine improvements; - many bug fixes; - new implementation of arithmetic; - better ISO compatibility; - improvements in tabling; - SWI-compatibility, YAP now includes support for most of the SWI foreign interface, and many built-ins, ports of SWI packages include jpl, chr, clpfd, clpr, sgml, prolog_xref, swi-minisat interface, and plunit; - yap-6 also includes a really cool new language called ProbLog. Changes in Yap-5.1.4: - FIXED: bad locking in p_signal (obs from Paulo Moura). - FIXED: DESTDIR and chr. - FIXED: make term_variables a builtin. (SWI compatibility). - NEW: X is random(Int) (SWI compatibility). - NEW: seletchk/3. - FIXED: do meta-expansion from undefp. - FIXED: handle correctly flatten([_,[_]],L). - FIXED: bad syntax in config.h (patch from Keri Harris). - NEW: format over atom/1. - FIXED: clean up apply_macros in swi mode. - FIXED: clean up meta-expansion. - FIXED: do meta-expansion from undefined call. - NEW: selectchk/3, nth1/3 and nth1/4. - FIXED: YapOpcodes has wrong formats (obs from Bart Demoen). - FIXED: improve format message (obs from Bart Demoen). - NEW: more versions of maplist (obs from Bart Demoen). - FIXED: use import mechanism for SWI's flatten/2 (obs from Bart Demoen). - FIXED: steps towards typed rbtrees plus some cases where one should not copy the null node (Tom Schrijvers and Bart Demoen). - FIXED: map_tree in trees library (Bart Demoen). - FIXED: bad call to splay_tree (Bart Demoen). - FIXED: bad type for write_x_var in add_info (Bart Demoen). - FIXED: exec/3 should flush streams. - FIXED: load_files/2 compilation_mode to allow :- source and replace compile by compact. - FIXED: list_concat/2 (fix from Bart Demoen). - NEW: dgraph_reachable/3 and friends.
2010-05-18 11:24:43 +02:00
USE_TOOLS= gmake
Added YAP-4.4.4. YAP is a high-performance Prolog compiler developed at LIACC/Universidade do Porto and at COPPE Sistemas/UFRJ. Its Prolog engine is based in the WAM (Warren Abstract Machine), with several optimizations for better performance. YAP follows the Edinburgh tradition, and is largely compatible with the ISO-Prolog standard and with Quintus and SICStus Prolog.
2005-07-20 15:08:15 +02:00
CONFIGURE_ENV+= INDENT=${TRUE:Q}
Update to Yap 5.1.3. Many improvements, bug and compatibility fixes since previous 5.0.0 package.
2010-02-11 21:43:49 +01:00
# debug option:
#CONFIGURE_ARGS+= --enable-debug-yap
.include "../../devel/ncurses/buildlink3.mk"
.include "../../devel/readline/buildlink3.mk"
.include "../../devel/gmp/buildlink3.mk"
Added YAP-4.4.4. YAP is a high-performance Prolog compiler developed at LIACC/Universidade do Porto and at COPPE Sistemas/UFRJ. Its Prolog engine is based in the WAM (Warren Abstract Machine), with several optimizations for better performance. YAP follows the Edinburgh tradition, and is largely compatible with the ISO-Prolog standard and with Quintus and SICStus Prolog.
2005-07-20 15:08:15 +02:00
.include "../../mk/bsd.pkg.mk"
Reference in a new issue Copy permalink