Port details |
- yap-devel High-performance Prolog compiler
- 6.3.3_11 lang
=0 6.3.3_11Version of this port present on the latest quarterly branch.
- BROKEN: unfetchable
DEPRECATED: Broken for more than 6 months This port expired on: 2020-05-05 IGNORE: is marked as broken: unfetchable
- Maintainer: danilo@FreeBSD.org
- Port Added: 2013-10-10 14:08:16
- Last Update: 2020-05-05 15:38:12
- SVN Revision: 534093
- License: ART20 LGPL3
- WWW:
- http://www.dcc.fc.up.pt/~vsc/Yap/
- Description:
- 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.
WWW: http://www.dcc.fc.up.pt/~vsc/Yap/
-
cgit ¦ GitHub ¦ GitHub ¦ GitLab ¦
- Manual pages:
- FreshPorts has no man page information for this port.
- pkg-plist: as obtained via:
make generate-plist - Dependency lines:
-
- yap-devel>0:lang/yap-devel
- Conflicts:
- CONFLICTS:
- No installation instructions:
- This port has been deleted.
- PKGNAME: yap-devel
- Flavors: there is no flavor information for this port.
- distinfo:
- SHA256 (yap-6.3.3.tar.gz) = aee3b449b1669af07a8291ce6e7fb0a9b35e1343e2ab96fadb1a37552397fa78
SIZE (yap-6.3.3.tar.gz) = 7879301
No package information for this port in our database- Sometimes this happens. Not all ports have packages. Perhaps there is a build error. Check the fallout link:
- Dependencies
- NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
- Build dependencies:
-
- texi2html : textproc/texi2html
- texi2pdf : print/texinfo
- tex.fmt : print/tex-formats
- dvips : print/tex-dvipsk
- gmake : devel/gmake
- Library dependencies:
-
- libgmp.so : math/gmp
- libarchive.so.13 : archivers/libarchive
- libreadline.so.8 : devel/readline
- There are no ports dependent upon this port
Configuration Options:
- ===> The following configuration options are available for yap-devel-6.3.3_11:
DOCS=on: Build and/or install documentation
MYDDAS=off: Enable MySQL support
===> Use 'make config' to modify these settings
- Options name:
- N/A
- USES:
- gmake libarchive readline shebangfix
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|
Commit History - (may be incomplete: for full details, see links to repositories near top of page) |
Commit | Credits | Log message |
6.3.3_11 05 May 2020 15:38:12 |
rene |
Remove expired ports:
Adjusted for ports rescued since r534032
2020-05-05 audio/festvox-czech: Broken for more than 6 months
2020-05-05 audio/gkrellmvolume2: Broken for more than 6 months
2020-05-05 audio/mixmos: Broken for more than 6 months
2020-05-05 audio/mma: Broken for more than 6 months
2020-05-05 audio/pd-cyclone: Broken for more than 6 months
2020-05-05 audio/shorten: Broken for more than 6 months
2020-05-05 audio/taglib-sharp: Broken for more than 6 months
2020-05-05 audio/xhippo: Broken for more than 6 months
2020-05-05 biology/consed: Broken for more than 6 months
2020-05-05 biology/plinkseq: Broken for more than 6 months
2020-05-05 biology/seqtools: Broken for more than 6 months (Only the first 15 lines of the commit message are shown above ) |
6.3.3_11 04 Apr 2020 20:51:41 |
antoine |
Deprecate ports broken for more than 6 months |
6.3.3_11 06 Nov 2019 12:48:32 |
antoine |
Mark a few ports BROKEN, unfetchable |
6.3.3_11 09 Apr 2019 14:04:50 |
sunpoet |
Update devel/readline to 8.0
- Bump PORTREVISION of dependent ports for shlib change
Changes: https://tiswww.case.edu/php/chet/readline/CHANGES
PR: 236156
Exp-run by: antoine |
6.3.3_10 29 Jul 2018 16:42:39 |
danilo |
- Remove gcc dependency on i386
- Use options helpers to install DOCS
PR: 222963
Submitted by: tobik
Reported by: jbeich |
6.3.3_9 08 Jun 2018 03:02:32 |
linimon |
Mark as broken on various tier-2 archs.
Approved by: portmgr (tier-2 blanket) |
6.3.3_9 10 Mar 2018 17:46:06 |
gerald |
Bump PORTREVISIONs of all users of math/mpc that we just updated to
version 1.1.0 (via revision 464079). |
6.3.3_8 10 Sep 2017 20:55:39 |
gerald |
Bump PORTREVISION for ports depending on the canonical version of GCC
(via Mk/bsd.default-versions.mk and lang/gcc) which has moved from
GCC 5.4 to GCC 6.4 under most circumstances.
This includes ports
- with USE_GCC=yes or USE_GCC=any,
- with USES=fortran,
- using Mk/bsd.octave.mk which in turn features USES=fortran, and
- with USES=compiler specifying openmp, nestedfct, c++11-lib, c++11-lang,
c++14-lang, c++0x, c11, or gcc-c++11-lib.
PR: 219275 |
6.3.3_7 27 Jun 2017 13:46:53 |
sunpoet |
Update devel/readline to 7.0 patch 3
- Bump PORTREVISION for shlib change
Changes: https://cnswww.cns.cwru.edu/php/chet/readline/CHANGES
https://lists.gnu.org/archive/html/bug-bash/2016-09/msg00107.html
https://lists.gnu.org/archive/html/bug-readline/2017-01/msg00002.html
Differential Revision: https://reviews.freebsd.org/D11172
PR: 219947
Exp-run by: antoine |
6.3.3_6 01 Apr 2017 15:23:32 |
gerald |
Bump PORTREVISIONs for ports depending on the canonical version of GCC and
lang/gcc which have moved from GCC 4.9.4 to GCC 5.4 (at least under some
circumstances such as versions of FreeBSD or platforms).
This includes ports
- with USE_GCC=yes or USE_GCC=any,
- with USES=fortran,
- using using Mk/bsd.octave.mk which in turn has USES=fortran, and
- with USES=compiler specifying openmp, nestedfct, c++11-lib, c++14-lang,
c++11-lang, c++0x, c11, or gcc-c++11-lib.
PR: 216707 |
6.3.3_5 10 Feb 2017 21:05:48 |
jbeich |
lang/yap{,-devel}: use clang and unbreak with gcc5 or later
In file included from ./Solver.C:20:
In file included from ./Solver.h:29:
./SolverTypes.h:122:20: error: friend declaration specifying a default argument
must be a definition
friend Clause* Clause_new(const V& ps, bool learnt = false);
^
./SolverTypes.h:147:9: error: friend declaration specifying a default argument
must be the only
declaration
Clause* Clause_new(const V& ps, bool learnt) {
^
./SolverTypes.h:122:20: note: previous declaration is here
friend Clause* Clause_new(const V& ps, bool learnt = false);
^
./Solver.C:123:21: error: no matching function for call to 'Clause_new'
Clause* c = Clause_new(ps, false);
^~~~~~~~~~
./Solver.C:602:29: error: no matching function for call to 'Clause_new'
Clause* c = Clause_new(learnt_clause, true);
^~~~~~~~~~
4 errors generated.
PR: 216809
Obtained from: upstream
Approved by: portmgr blanket |
6.3.3_4 18 Jan 2017 13:20:32 |
tijl |
The output of tools like awk, date, sort, tr,... depends on the current
locale set by the user. Add LANG=C and LC_ALL=C at the beginning of
bsd.port.mk and export them so all commands are executed with the C locale.
LC_ALL=C overrides all other LC_* variables. LANG is used by setlocale(3)
as default value for LC_* variables, so normally it isn't used when LC_ALL
is set, but there's code out there that looks at LANG directly so it's safer
to set it as well. The only commands not captured by this are !=
assignments before any inclusion of bsd.port.*mk.
Introduce USE_LOCALE=<locale> that adds LANG=<locale> and LC_ALL=<locale> to
CONFIGURE_ENV and MAKE_ENV so upstream build systems can be executed with a
different locale (e.g. USE_LOCALE=en_US.UTF-8).
PR: 215882
Exp-run by: antoine
Approved by: portmgr (antoine) |
6.3.3_4 20 Nov 2016 09:38:09 |
gerald |
Bump PORTREVISIONS for ports depending on the canonical version of GCC and
lang/gcc which have moved from GCC 4.8.5 to GCC 4.9.4 (at least under some
circumstances such as versions of FreeBSD or platforms).
In particular that is ports with USE_GCC=yes, USE_GCC=any, or one of
gcc-c++11-lib, openmp, nestedfct, c++11-lib as well as c++14-lang,
c++11-lang, c++0x, c11 requested via USES=compiler. |
6.3.3_3 01 Apr 2016 14:08:38 |
mat |
Remove ${PORTSDIR}/ from dependencies, categories h, i, j, k, and l.
With hat: portmgr
Sponsored by: Absolight |
6.3.3_3 23 Jul 2015 16:22:29 |
danilo |
- Fix docs build after texlive upgrade
- Fix build without docs |
6.3.3_3 30 Jun 2015 02:30:36 |
danilo |
- Add missing dependency on libgmp
- Add LDFLAGS necessary to link with libgmp
- Fix shebang on an example file
PR: 201133
Submitted by: amdmi3
MFH: 2015Q2 |
6.3.3_2 27 Oct 2014 15:23:31 |
bapt |
Cleanup plist |
6.3.3_2 07 Sep 2014 17:09:50 |
antoine |
Unbreak by fixing a typo |
6.3.3_2 06 Sep 2014 15:10:18 |
adamw |
Fix build by removing texlive from USE_TEX.
While here, just add install_docs to INSTALL_TARGET rather than
calling a separate ${MAKE} without MAKE_ENV or MAKE_ARGS. |
6.3.3_2 12 Jul 2014 22:10:48 |
danilo |
- Use texlive as build depends instead of tetex |
6.3.3_1 28 Nov 2013 15:09:40 |
danilo |
- Bump PORTREVISION |
6.3.3 28 Nov 2013 14:56:08 |
danilo |
- Fix plist
- Add MYDDAS option to enable MySQL
- Use options helpers |
6.3.3 06 Nov 2013 02:57:51 |
danilo |
- Revert to patches to enable build on i386 |
6.3.3 05 Nov 2013 23:19:57 |
danilo |
- Build with GCC
- Remove extra patches |
6.3.3 03 Nov 2013 18:12:02 |
danilo |
- Fix build with clang on i386 |
6.3.3 10 Oct 2013 14:08:02 |
danilo |
- Add new port lang/yap-devel
Yap-6.3.3 is the development version of lang/yap (6.2.2).
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.
PR: ports/181334
Submitted by: Danilo Egea Gondolfo <danilogondolfo@gmail.com>
Approved by: wg/culot (mentors) |