aboutsummaryrefslogtreecommitdiff
path: root/lang/yap
Commit message (Collapse)AuthorAgeFilesLines
* Bump PORTREVISION for ports depending on the canonical version of GCCGerald Pfeifer2017-09-101-1/+1
| | | | | | | | | | | | | | | | | (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 Notes: svn path=/head/; revision=449591
* Update devel/readline to 7.0 patch 3Sunpoet Po-Chuan Hsieh2017-06-271-1/+1
| | | | | | | | | | | | | | - 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 Notes: svn path=/head/; revision=444463
* - Disable myddas explicitly. This avoids a linking problem when mysqlclient ↵Danilo Egea Gondolfo2017-06-101-1/+2
| | | | | | | | | is installed. PR: 219832 Notes: svn path=/head/; revision=443108
* Bump PORTREVISIONs for ports depending on the canonical version of GCC andGerald Pfeifer2017-04-011-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 Notes: svn path=/head/; revision=437439
* lang/yap{,-devel}: use clang and unbreak with gcc5 or laterJan Beich2017-02-103-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 Notes: svn path=/head/; revision=433825
* Bump PORTREVISIONS for ports depending on the canonical version of GCC andGerald Pfeifer2016-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. Notes: svn path=/head/; revision=426566
* Remove ${PORTSDIR}/ from dependencies, categories h, i, j, k, and l.Mathieu Arnold2016-04-011-2/+2
| | | | | | | | With hat: portmgr Sponsored by: Absolight Notes: svn path=/head/; revision=412347
* - Fix docs build after texlive upgradeDanilo Egea Gondolfo2015-07-232-1/+21
| | | | | | | - Fix build without docs Notes: svn path=/head/; revision=392738
* Cleanup plistBaptiste Daroussin2014-10-271-26/+0
| | | | Notes: svn path=/head/; revision=371587
* Fix build by removing texlive from USE_TEX.Adam Weinberger2014-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. Notes: svn path=/head/; revision=367442
* - Use texlive as build depends instead of tetexDanilo Egea Gondolfo2014-07-121-10/+7
| | | | Notes: svn path=/head/; revision=361644
* - Build with GCCDanilo Egea Gondolfo2013-11-053-41/+1
| | | | | | | - Remove extra patches Notes: svn path=/head/; revision=332928
* - Fix build with clang on i386Danilo Egea Gondolfo2013-11-033-4/+15
| | | | Notes: svn path=/head/; revision=332635
* - Change maintainer email to @FreeBSD.orgDanilo Egea Gondolfo2013-09-291-5/+3
| | | | | | | | | | - Add stage support - Convert USE_GMAKE to USES Approved by: wg (mentor) Notes: svn path=/head/; revision=328756
* Add NO_STAGE all over the place in preparation for the staging support (cat: ↵Baptiste Daroussin2013-09-201-0/+1
| | | | | | | lang) Notes: svn path=/head/; revision=327741
* - Fix plistFelippe de Meirelles Motta2013-09-022-350/+353
| | | | | | | | | | - Insert PORTSCOUT PR: ports/180264 Submitted by: Danilo Egea Gondolfo <danilogondolfo@gmail.com> (maintainer) Notes: svn path=/head/; revision=326012
* - Remove MAKE_JOBS_SAFE variableAlex Kozlov2013-08-141-1/+0
| | | | | | | Approved by: portmgr (bdrewery) Notes: svn path=/head/; revision=324744
* YAP is a high-performance Prolog compiler developed atFelippe de Meirelles Motta2013-07-036-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> Notes: svn path=/head/; revision=322261
* 2006-12-01 misc/instant-workstation: Incomplete pkg-plistMartin Wilke2007-01-055-96/+0
| | | | | | | | 2006-12-01 lang/yap: Does not compile 2006-12-01 lang/tensile: "Coredump during build on FreeBSD >= 6.x" Notes: svn path=/head/; revision=181532
* Schedule these broken ports for termination on 2006-12-01Kris Kennaway2006-09-021-0/+2
| | | | Notes: svn path=/head/; revision=171889
* BROKEN: Does not compileKris Kennaway2006-08-171-0/+2
| | | | Notes: svn path=/head/; revision=170909
* fix build on releng_4Ying-Chieh Liao2006-08-071-1/+2
| | | | Notes: svn path=/head/; revision=169945
* upgrade to 5.1.1Ying-Chieh Liao2006-07-293-248/+16
| | | | Notes: svn path=/head/; revision=169027
* Chase gmp library and bump PORTREVISION.Alex Dupre2006-05-101-1/+2
| | | | Notes: svn path=/head/; revision=161929
* Remove USE_REINPLACE from the categories starting with LEdwin Groothuis2006-05-091-1/+0
| | | | Notes: svn path=/head/; revision=161836
* - Update to 5.0.1Renato Botelho2006-01-202-7/+6
| | | | | | | | PR: ports/92011 Submitted by: Ports Fury Notes: svn path=/head/; revision=153997
* - Add SHA256Pav Lucistnik2005-11-251-0/+1
| | | | Notes: svn path=/head/; revision=149341
* - Builds and runs on !i386Simon Barner2005-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 Notes: svn path=/head/; revision=142800
* Update to 5.0.0Sam Lawrance2005-09-094-6/+19
| | | | | | | | PR: ports/85881 Submitted by: Ports Fury Notes: svn path=/head/; revision=142308
* - Fix SIZE on distinfoRenato Botelho2005-07-201-1/+1
| | | | | | | Approved by: flz (mentor) Notes: svn path=/head/; revision=139681
* - Update to 4.5.6Renato Botelho2005-07-202-9/+7
| | | | | | | | | PR: ports/83715 Submitted by: David Gullasch <david.gullasch@mailbox.tu-dresden.de> Approved by: flz (mentor) Notes: svn path=/head/; revision=139670
* At Kris's request, back out the MACHINE_ARCH spelling correction untilDavid E. O'Brien2005-04-121-1/+1
| | | | | | | after 5.4-RELEASE. Notes: svn path=/head/; revision=133116
* Assist getting more ports working on AMD64 by obeying theDavid E. O'Brien2005-04-111-1/+1
| | | | | | | Ports Collection documentation and use 'ARCH' rather than 'MACHINE_ARCH'. Notes: svn path=/head/; revision=132992
* - Update to 4.5.5Pav Lucistnik2005-04-105-35/+21
| | | | | | | | PR: ports/79750 Submitted by: Ports Fury Notes: svn path=/head/; revision=132903
* BROKEN on !i386: Does not compileKris Kennaway2004-11-181-2/+2
| | | | Notes: svn path=/head/; revision=121855
* Update to version 4.5.2Kirill Ponomarev2004-09-035-3/+67
| | | | | | | | PR: ports/71299 Submitted by: Ports Fury Notes: svn path=/head/; revision=118010
* Info files cannot be installed in post-installKris Kennaway2004-04-141-1/+1
| | | | Notes: svn path=/head/; revision=106983
* BROKEN on alpha: Does not compileKris Kennaway2004-02-231-1/+7
| | | | Notes: svn path=/head/; revision=101819
* - Update to version 4.4.4Kirill Ponomarev2004-02-183-4/+4
| | | | | | | | PR: ports/63008 Submitted by: Ports Fury Notes: svn path=/head/; revision=101348
* SIZEify.Trevor Johnson2004-01-291-0/+1
| | | | Notes: svn path=/head/; revision=99360
* - Update to version 4.4.3Kirill Ponomarev2003-11-063-60/+76
| | | | | | | | PR: 59010 Submitted by: Ports Fury Notes: svn path=/head/; revision=93253
* De-pkg-comment.Akinori MUSHA2003-02-202-1/+1
| | | | Notes: svn path=/head/; revision=75971
* o Rollback PORTCOMMENT modifications while this feature's implementationMario Sergio Fujikawa Ferreira2002-11-102-2/+1
| | | | | | | | | | | is better studied o Turn PORTCOMMENT variable in Makefile back into pkg-comment files Approved by: kris (portmgr hat), portmgr, re (silence) Notes: svn path=/head/; revision=69808
* Use PORTCOMMENT in the Makefile, and whack the pkg-comment.Adam Weinberger2002-11-062-1/+2
| | | | | | | Approved by: pat Notes: svn path=/head/; revision=69612
* Sweep through and fix some dependency problems and forgotten shlibPatrick Li2002-07-061-1/+1
| | | | | | | | | version bumps Noticed by: bento Notes: svn path=/head/; revision=62506
* upgrade to 4.3.22Ying-Chieh Liao2002-06-062-2/+2
| | | | Notes: svn path=/head/; revision=60683
* upgrade to 4.3.21Ying-Chieh Liao2002-06-023-9/+8
| | | | Notes: svn path=/head/; revision=60447
* Update to 4.3.20David W. Chapman Jr.2002-05-083-206/+191
| | | | | | | | PR: 36827 Submitted by: obraun@Informatik.unibw-muenchen.DE Notes: svn path=/head/; revision=58712
* Use GNU_CONFIGURE and some style changesPatrick Li2001-12-081-7/+5
| | | | | | | | PR: 32521 Submitted by: KATO Tsuguru <tkato@prontomail.com> Notes: svn path=/head/; revision=51206
* upgrade to 4.3.19Ying-Chieh Liao2001-07-183-83/+39
| | | | | | | drop maintainership Notes: svn path=/head/; revision=45229
generated by cgit v1.2.3 (git 2.25.1) at 2025-03-06 20:58:46 +0000