aboutsummaryrefslogtreecommitdiff
path: root/math/gambit
Commit message (Collapse)AuthorAgeFilesLines
* For ports that are marked BROKEN on armv6, and also fail to build onMark Linimon2017-11-301-0/+1
| | | | | | | | | | | | | armv7, mark them so. This is part two of a multipart commit to bring armv7 ports to parity with armv6. Approved by: portmgr (tier-2 blanket) Obtained from: lonesome.com -exp run Notes: svn path=/head/; revision=455167
* 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
* Mark some ports failing on armv6, for errors classified as "clang".Mark Linimon2017-05-271-0/+2
| | | | | | | | | While here, pet portlint. Approved by: portmgr (tier-2 blanket) Notes: svn path=/head/; revision=441847
* Bump PORTREVISIONs for ports depending on the canonical version of GCC andGerald Pfeifer2017-04-011-0/+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
* Upgrade to Gambit 15.1.0, the current stable version.Thierry Thomas2016-07-193-4/+7
| | | | | | | | Note: Gambit 16 is available, but this is the current research/development version. Notes: svn path=/head/; revision=418813
* Fix build with c++11Dmitry Marakasov2015-04-133-0/+48
| | | | Notes: svn path=/head/; revision=383950
* math/gambit: fix typoJohn Marino2015-04-111-1/+1
| | | | Notes: svn path=/head/; revision=383773
* Unbreak five wxgtk30-based ports by adding -std=c++11 to cxxflagsJohn Marino2015-04-101-0/+1
| | | | | | | The breakage was a result of moving wxgtk30 to c++11 from c++01 Notes: svn path=/head/; revision=383750
* - Update to version 14.1.0Jan Beich2015-02-203-9/+32
| | | | | | | | | | - Install .desktop file PR: 197444 Submitted by: tkato432@yahoo.com (modified) Notes: svn path=/head/; revision=379413
* - Reset maintainership of my portsPietro Cerutti2014-12-101-1/+1
| | | | Notes: svn path=/head/; revision=374492
* - Update to 13.1.2Pietro Cerutti2014-09-224-18/+3
| | | | | | | | Changes: * https://github.com/gambitproject/gambit/compare/v13.1.1...v13.1.2 Notes: svn path=/head/; revision=368947
* Update the default version of GCC in the Ports Collection from GCC 4.7.4Gerald Pfeifer2014-09-101-1/+1
| | | | | | | | | | | | | to GCC 4.8.3. Part II, Bump PORTREVISIONs. PR: 192025 Tested by: antoine (-exp runs) Approved by: portmgr (implicit) Notes: svn path=/head/; revision=367888
* Remove indefinite articles and trailing periods from COMMENT, plus minorJimmy Olgeni2014-07-071-1/+1
| | | | | | | | | | | | COMMENT typos and surrounding whitespace fixes. A few Makefiles where not included as they contain Latin-1 characters that break the Phabricator workflow. Category M. CR: D306 Approved by: portmgr (bapt) Notes: svn path=/head/; revision=361099
* - Fix buildPietro Cerutti2014-04-231-0/+13
| | | | | | | | Reported by: pkg-fallout MFH: 2014Q2 Notes: svn path=/head/; revision=351950
* Switch to version 3.0 of wxGTKBaptiste Daroussin2014-04-081-1/+3
| | | | Notes: svn path=/head/; revision=350605
* - Update to 13.1.1Pietro Cerutti2013-12-122-4/+3
| | | | Notes: svn path=/head/; revision=336252
* Add NO_STAGE all over the place in preparation for the staging support (cat: ↵Baptiste Daroussin2013-09-201-0/+1
| | | | | | | math) Notes: svn path=/head/; revision=327746
* - Update to 13.1.0Pietro Cerutti2013-08-212-3/+3
| | | | | | | | Release announcement: http://sourceforge.net/mailarchive/message.php?msg_id=31306793 Notes: svn path=/head/; revision=325144
* - Update to 13.0.2Pietro Cerutti2013-08-082-4/+4
| | | | | | | - Restrict wxGTK version to 2.8 (2.9 has a problem locating WX_CONFIG) Notes: svn path=/head/; revision=324386
* - Update to 13.0.1Pietro Cerutti2013-07-092-3/+3
| | | | | | | | Release announcement: http://sourceforge.net/mailarchive/message.php?msg_id=31109729 Notes: svn path=/head/; revision=322547
* - Update to 13.0.0Pietro Cerutti2013-06-244-25/+24
| | | | | | | | Release announcement: http://sourceforge.net/mailarchive/message.php?msg_id=31063426 Notes: svn path=/head/; revision=321673
* - update png to 1.5.10Dirk Meyer2012-06-011-0/+1
| | | | Notes: svn path=/head/; revision=297915
* - Add LDFLAGS to CONFIGURE_ENV and MAKE_ENV (as it was done with LDFLAGS)Dmitry Marakasov2011-09-231-3/+2
| | | | | | | | | | | | - Fix all ports that add {CPP,LD}FLAGS to *_ENV to modify flags instead PR: 157936 Submitted by: myself Exp-runs by: pav Approved by: pav Notes: svn path=/head/; revision=282282
* Remove USE_GNOME=gnometarget from ports. It has been a empty keyword sinceKoop Mast2011-08-111-1/+1
| | | | | | | | | | mid 2008. PR: ports/159624 Submitted by: Ruslan Mahmatkhanov <cvs-src@yandex.ru> Notes: svn path=/head/; revision=279506
* - Fix WWW in pkg-descrPietro Cerutti2011-08-031-1/+1
| | | | | | | Reported by: http://people.freebsd.org/~ehaupt/distilator/badwww.html Notes: svn path=/head/; revision=278856
* - Get Rid MD5 supportMartin Wilke2011-03-201-1/+0
| | | | Notes: svn path=/head/; revision=271346
* Sync to new bsd.autotools.mkAde Lovett2010-12-041-1/+1
| | | | Notes: svn path=/head/; revision=265663
* - Update to 0.2010.09.01Pietro Cerutti2010-09-154-24/+6
| | | | Notes: svn path=/head/; revision=261217
* - update to 1.4.1Dirk Meyer2010-03-281-1/+1
| | | | | | | | Reviewed by: exp8 run on pointyhat Supported by: miwi Notes: svn path=/head/; revision=251605
* - update to jpeg-8Dirk Meyer2010-02-051-1/+1
| | | | Notes: svn path=/head/; revision=249285
* - Switch SourceForge ports to the new File Release System: categories ↵Dmitry Marakasov2009-08-221-1/+1
| | | | | | | starting with M Notes: svn path=/head/; revision=240072
* -Repocopy devel/libtool15 -> libtool22 and libltdl15 -> libltdl22.Jeremy Messenger2009-08-021-1/+1
| | | | | | | | | | | | | | | | | | | | | -Update libtool and libltdl to 2.2.6a. -Remove devel/libtool15 and devel/libltdl15. -Fix ports build with libtool22/libltdl22. -Bump ports that depend on libltdl22 due to shared library version change. -Explain what to do update in the UPDATING. It has been tested with GNOME2, XFCE4, KDE3, KDE4 and other many wm/desktop and applications in the runtime. With help: marcus and kwm Pointyhat-exp: a few times by pav Tested by: pgollucci, "Romain Tartière" <romain@blogreen.org>, and a few MarcusCom CVS users. Also, I might have missed a few. Repocopy by: marcus Approved by: portmgr Notes: svn path=/head/; revision=238781
* - bump all port that indirectly depends on libjpeg and have not yet been ↵Dirk Meyer2009-07-311-1/+1
| | | | | | | | | bumped or updated Requested by: edwin Notes: svn path=/head/; revision=238701
* Bump portrevision due to upgrade of devel/gettext.Edwin Groothuis2008-06-061-0/+1
| | | | | | | | | | | | | The affected ports are the ones with gettext as a run-dependency according to ports/INDEX-7 (5007 of them) and the ones with USE_GETTEXT in Makefile (29 of them). PR: ports/124340 Submitted by: edwin@ Approved by: portmgr (pav) Notes: svn path=/head/; revision=214430
* - Fix build on 64 bits platformsPietro Cerutti2008-02-262-8/+13
| | | | | | | | | - Adopt maintainship Approved by: miwi (mentor) Notes: svn path=/head/; revision=207965
* - Update to 2007.12.04Martin Wilke2008-02-192-7/+6
| | | | | | | | PR: 120820 Submitted by: KATO Tsuguru <tkato432@yahoo.com> Notes: svn path=/head/; revision=207571
* - Mark BROKEN on amd64 and 7.0Pav Lucistnik2007-11-241-0/+4
| | | | | | | | Reported by: pointyhat Approved by: portmgr (hat) Notes: svn path=/head/; revision=202814
* The most recent version (0.2007.01.30) appears to work with gcc4.2.Mark Linimon2007-11-201-4/+0
| | | | | | | Approved by: portmgr (self) Notes: svn path=/head/; revision=202765
* - Update to 0.2007.01.30Martin Wilke2007-06-294-20/+6
| | | | | | | | PR: 114073 Submitted by: KATO Tsuguru <tkato432@yahoo.com> Notes: svn path=/head/; revision=194438
* BROKEN with gcc 4.2Kris Kennaway2007-05-271-1/+7
| | | | Notes: svn path=/head/; revision=191950
* - Welcome X.org 7.2 \o/.Florent Thoumie2007-05-191-0/+1
| | | | | | | | - Set X11BASE to ${LOCALBASE} for recent ${OSVERSION}. - Bump PORTREVISION for ports intalling files in ${X11BASE}. Notes: svn path=/head/; revision=191544
* - Remove FreeBSD 4.X support from unmaintained ports in categories startingGabor Kovesdan2007-04-181-7/+1
| | | | | | | with letter i-m Notes: svn path=/head/; revision=190286
* Use libtool15 port instead of included version to avoid objformat a.out botchKris Kennaway2007-02-101-0/+1
| | | | Notes: svn path=/head/; revision=184749
* - Use features of bsd.wx.mk, especially USE_WXPav Lucistnik2006-12-011-5/+2
| | | | | | | | PR: ports/101613 Submitted by: alepulver Notes: svn path=/head/; revision=178433
* - s,INSTALLS_SHLIB,USE_LDCONFIG,gCheng-Lung Sung2006-08-151-1/+1
| | | | | | | | | | - these include irc/ japanese/ java/ lang/ mail/ math/ maintained by ports@ PR: ports/101916 Submitted by: Gea-Suan Lin <gslin_AT_gslin dot org> Notes: svn path=/head/; revision=170649
* - Don't mark BROKEN on >= 6.x;Thierry Thomas2006-07-271-2/+3
| | | | | | | - Force -fno-strict-aliasing to unbreak on 5.x. Notes: svn path=/head/; revision=168905
* Mark as broken: fails to install.Mark Linimon2006-07-141-0/+2
| | | | Notes: svn path=/head/; revision=167744
* Update to version 0.2006.01.20.Thierry Thomas2006-04-233-24/+53
| | | | | | | | PR: 93655 Submitted by: KATO Tsuguru <tkato432 (at) yahoo.com> Notes: svn path=/head/; revision=160234
* Conversion to a single libtool environment.Ade Lovett2006-02-232-1/+3
| | | | | | | Approved by: portmgr (kris) Notes: svn path=/head/; revision=156749
* Update to 0.2005.12.12Sam Lawrance2005-12-183-6/+19
| | | | | | | | PR: ports/90556 Submitted by: Ports Fury Notes: svn path=/head/; revision=151473