aboutsummaryrefslogtreecommitdiffstats
path: root/lang/yap
Commit message (Collapse)AuthorAgeFilesLines
* Bump PORTREVISIONs for ports depending on the canonical version of GCC andgerald2017-04-091-1/+1
| | | | | | | | | | | | | | 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
* lang/yap{,-devel}: use clang and unbreak with gcc5 or laterjbeich2017-02-113-3/+65
| | | | | | | | | | | | | | | | | | | | | | | | | | 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
* Bump PORTREVISIONS for ports depending on the canonical version of GCC andgerald2016-11-201-1/+1
| | | | | | | | | 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.
* Remove ${PORTSDIR}/ from dependencies, categories h, i, j, k, and l.mat2016-04-011-2/+2
| | | | | With hat: portmgr Sponsored by: Absolight
* - Fix docs build after texlive upgradedanilo2015-07-242-1/+21
| | | | - Fix build without docs
* Cleanup plistbapt2014-10-271-26/+0
|
* Fix build by removing texlive from USE_TEX.adamw2014-09-061-7/+3
| | | | | While here, just add install_docs to INSTALL_TARGET rather than calling a separate ${MAKE} without MAKE_ENV or MAKE_ARGS.
* - Use texlive as build depends instead of tetexdanilo2014-07-131-10/+7
|
* - Build with GCCdanilo2013-11-063-41/+1
| | | | - Remove extra patches
* - Fix build with clang on i386danilo2013-11-043-4/+15
|
* - Change maintainer email to @FreeBSD.orgdanilo2013-09-301-5/+3
| | | | | | | - Add stage support - Convert USE_GMAKE to USES Approved by: wg (mentor)
* Add NO_STAGE all over the place in preparation for the staging support (cat: ↵bapt2013-09-211-0/+1
| | | | lang)
* - Fix plistlippe2013-09-022-350/+353
| | | | | | | - Insert PORTSCOUT PR: ports/180264 Submitted by: Danilo Egea Gondolfo <danilogondolfo@gmail.com> (maintainer)
* - Remove MAKE_JOBS_SAFE variableak2013-08-151-1/+0
| | | | Approved by: portmgr (bdrewery)
* YAP is a high-performance Prolog compiler developed atlippe2013-07-046-0/+597
| | | | | | | | | | | | | 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/ PR: ports/180068 Submitted by: Danilo Egea Gondolfo <danilogondolfo@gmail.com>
* 2006-12-01 misc/instant-workstation: Incomplete pkg-plistmiwi2007-01-065-96/+0
| | | | | 2006-12-01 lang/yap: Does not compile 2006-12-01 lang/tensile: "Coredump during build on FreeBSD >= 6.x"
* Schedule these broken ports for termination on 2006-12-01kris2006-09-031-0/+2
|
* BROKEN: Does not compilekris2006-08-181-0/+2
|
* fix build on releng_4ijliao2006-08-071-1/+2
|
* upgrade to 5.1.1ijliao2006-07-293-248/+16
|
* Chase gmp library and bump PORTREVISION.ale2006-05-101-1/+2
|
* Remove USE_REINPLACE from the categories starting with Ledwin2006-05-101-1/+0
|
* - Update to 5.0.1garga2006-01-212-7/+6
| | | | | PR: ports/92011 Submitted by: Ports Fury
* - Add SHA256pav2005-11-251-0/+1
|
* - Builds and runs on !i386barner2005-09-152-4/+11
| | | | | | | Tested by: Johan van Selst <johans@stack.nl> (amd64), barner (sparc64, ia64) Submitted by: Johan van Selst <johans@stack.nl> PR: ports/86081
* Update to 5.0.0lawrance2005-09-104-6/+19
| | | | | PR: ports/85881 Submitted by: Ports Fury
* - Fix SIZE on distinfogarga2005-07-201-1/+1
| | | | Approved by: flz (mentor)
* - Update to 4.5.6garga2005-07-202-9/+7
| | | | | | PR: ports/83715 Submitted by: David Gullasch <david.gullasch@mailbox.tu-dresden.de> Approved by: flz (mentor)
* At Kris's request, back out the MACHINE_ARCH spelling correction untilobrien2005-04-121-1/+1
| | | | after 5.4-RELEASE.
* Assist getting more ports working on AMD64 by obeying theobrien2005-04-111-1/+1
| | | | Ports Collection documentation and use 'ARCH' rather than 'MACHINE_ARCH'.
* - Update to 4.5.5pav2005-04-115-35/+21
| | | | | PR: ports/79750 Submitted by: Ports Fury
* BROKEN on !i386: Does not compilekris2004-11-181-2/+2
|
* Update to version 4.5.2krion2004-09-035-3/+67
| | | | | PR: ports/71299 Submitted by: Ports Fury
* Info files cannot be installed in post-installkris2004-04-141-1/+1
|
* BROKEN on alpha: Does not compilekris2004-02-231-1/+7
|
* - Update to version 4.4.4krion2004-02-193-4/+4
| | | | | PR: ports/63008 Submitted by: Ports Fury
* SIZEify.trevor2004-01-291-0/+1
|
* - Update to version 4.4.3krion2003-11-073-60/+76
| | | | | PR: 59010 Submitted by: Ports Fury
* De-pkg-comment.knu2003-02-212-1/+1
|
* o Rollback PORTCOMMENT modifications while this feature's implementationlioux2002-11-112-2/+1
| | | | | | | | is better studied o Turn PORTCOMMENT variable in Makefile back into pkg-comment files Approved by: kris (portmgr hat), portmgr, re (silence)
* Use PORTCOMMENT in the Makefile, and whack the pkg-comment.adamw2002-11-072-1/+2
| | | | Approved by: pat
* Sweep through and fix some dependency problems and forgotten shlibpat2002-07-061-1/+1
| | | | | | version bumps Noticed by: bento
* upgrade to 4.3.22ijliao2002-06-062-2/+2
|
* upgrade to 4.3.21ijliao2002-06-023-9/+8
|
* Update to 4.3.20dwcjr2002-05-093-206/+191
| | | | | PR: 36827 Submitted by: obraun@Informatik.unibw-muenchen.DE
* Use GNU_CONFIGURE and some style changespat2001-12-081-7/+5
| | | | | PR: 32521 Submitted by: KATO Tsuguru <tkato@prontomail.com>
* upgrade to 4.3.19ijliao2001-07-193-83/+39
| | | | drop maintainership
* add yapijliao2001-04-295-0/+294
A high-performance Prolog compiler
generated by cgit (git 2.34.1) at 2025-03-07 04:02:15 +0800