notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)
non port: math/cvc3/Makefile
SVNWeb

Number of commits found: 24

Fri, 26 Jul 2019
[ 20:46 gerald ] Original commit   Revision:507372
507372 Mk/bsd.ruby.mk
507372 accessibility/atkmm/Makefile
507372 accessibility/kmag/Makefile
507372 accessibility/kmousetool/Makefile
507372 accessibility/kmouth/Makefile
507372 accessibility/libqaccessibilityclient/Makefile
507372 accessibility/qt5-speech/Makefile
507372 archivers/R-cran-zip/Makefile
507372 archivers/ark/Makefile
507372 archivers/brotli/Makefile

(Only the first 10 of 3853 ports in this commit are shown above. View all ports for this commit)
Bump PORTREVISION for ports depending on the canonical version of GCC
as defined in Mk/bsd.default-versions.mk which has moved from GCC 8.3
to GCC 9.1 under most circumstances now after revision 507371.

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, c11, c++0x, c++11-lang,
   c++11-lib, c++14-lang, c++17-lang, or gcc-c++11-lib
plus, everything INDEX-11 shows with a dependency on lang/gcc9 now.

PR:		238330
Wed, 12 Dec 2018
[ 01:35 gerald ] Original commit   Revision:487272
487272 Mk/bsd.ruby.mk
487272 accessibility/atkmm/Makefile
487272 accessibility/kmag/Makefile
487272 accessibility/kmousetool/Makefile
487272 accessibility/kmouth/Makefile
487272 accessibility/qt5-speech/Makefile
487272 archivers/R-cran-zip/Makefile
487272 archivers/ark/Makefile
487272 archivers/brotli/Makefile
487272 archivers/c-blosc/Makefile

(Only the first 10 of 3168 ports in this commit are shown above. View all ports for this commit)
Bump PORTREVISION for ports depending on the canonical version of GCC
defined via Mk/bsd.default-versions.mk which has moved from GCC 7.4 t
GCC 8.2 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, c11, c++0x, c++11-lang,
   c++11-lib, c++14-lang, c++17-lang, or gcc-c++11-lib
plus, as a double check, everything INDEX-11 showed depending on lang/gcc7.

PR:		231590
Sun, 29 Jul 2018
[ 22:18 gerald ] Original commit   Revision:475857
475857 Mk/bsd.ruby.mk
475857 accessibility/atkmm/Makefile
475857 archivers/brotli/Makefile
475857 archivers/c-blosc/Makefile
475857 archivers/innoextract/Makefile
475857 archivers/kf5-karchive/Makefile
475857 archivers/lazperf/Makefile
475857 archivers/libpar2/Makefile
475857 archivers/paq/Makefile
475857 archivers/pxz/Makefile

(Only the first 10 of 1480 ports in this commit are shown above. View all ports for this commit)
Bump PORTREVISION for ports depending on the canonical version of GCC
in the ports tree (via Mk/bsd.default-versions.mk and lang/gcc) which
has now moved from GCC 6 to GCC 7 by default.

This includes ports
 - featuring USE_GCC=yes or USE_GCC=any,
 - featuring USES=fortran,
 - using Mk/bsd.octave.mk which in turn features USES=fortran, and those
 - with USES=compiler specifying one of openmp, nestedfct, c11, c++0x,
   c++11-lib, c++11-lang, c++14-lang, c++17-lang, or gcc-c++11-lib.

PR:		222542
Sat, 10 Mar 2018
[ 17:46 gerald ] Original commit   Revision:464084
464084 archivers/pxz/Makefile
464084 archivers/zip-ada/Makefile
464084 astro/R-cran-maptools/Makefile
464084 astro/astrometry/Makefile
464084 astro/kstars-kde4/Makefile
464084 astro/nightfall/Makefile
464084 astro/py-RO/Makefile
464084 astro/py-aipy/Makefile
464084 astro/py-astLib/Makefile
464084 astro/py-astropy/Makefile

(Only the first 10 of 1104 ports in this commit are shown above. View all ports for this commit)
Bump PORTREVISIONs of all users of math/mpc that we just updated to
version 1.1.0 (via revision 464079).
Sun, 10 Sep 2017
[ 20:55 gerald ] Original commit   Revision:449591
449591 accessibility/atkmm/Makefile
449591 archivers/brotli/Makefile
449591 archivers/c-blosc/Makefile
449591 archivers/kf5-karchive/Makefile
449591 archivers/libpar2/Makefile
449591 archivers/paq/Makefile
449591 archivers/pxz/Makefile
449591 archivers/py-brotli/Makefile
449591 archivers/rvm/Makefile
449591 astro/geographiclib/Makefile

(Only the first 10 of 1201 ports in this commit are shown above. View all ports for this commit)
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
Sat, 1 Apr 2017
[ 15:23 gerald ] Original commit   Revision:437439
437439 archivers/kf5-karchive/Makefile
437439 archivers/paq/Makefile
437439 archivers/pxz/Makefile
437439 archivers/py-brotli/Makefile
437439 archivers/rvm/Makefile
437439 astro/geographiclib/Makefile
437439 astro/gpstk/Makefile
437439 astro/kstars/Makefile
437439 astro/libosmium/Makefile
437439 astro/nightfall/Makefile

(Only the first 10 of 1118 ports in this commit are shown above. View all ports for this commit)
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
Sat, 11 Feb 2017
[ 19:54 jbeich ] Original commit   Revision:433908
433908 math/cvc3/Makefile
math/cvc3: unbreak with gcc6 or later

In file included from src/include/expr_manager.h:445:0,
                 from src/include/expr.h:803,
                 from expr.cpp:25:
src/include/expr_value.h: In static member function 'static size_t
CVC3::ExprString::hash(const string&)':
src/include/expr_value.h:667:34: error: no match for call to '(std::hash<char*>)
(const char*)'
     return s_charHash(str.c_str());
                                  ^
In file included from src/include/hash_map.h:54:0,
                 from src/include/compat_hash_map.h:34,
                 from src/include/expr.h:33,
                 from src/include/assumptions.h:36,
                 from src/include/theorem_producer.h:75,
                 from common_theorem_producer.h:34,
                 from common_theorem_producer.cpp:27:
src/include/hash_table.h: In instantiation of 'Hash::hash_table<_Key, _Value,
_HashFcn, _EqualKey, _ExtractKey>::~hash_table() [with _Key = CVC3::Expr; _Value
= std::pair<const CVC3::Expr, CVC3::CDOmap<CVC3::Expr, CVC3::Theorem,
std::hash<CVC3::Expr> >*>; _HashFcn = std::hash<CVC3::Expr>; _EqualKey =
std::equal_to<CVC3::Expr>; _ExtractKey = Hash::_Select1st<std::pair<const
CVC3::Expr, CVC3::CDOmap<CVC3::Expr, CVC3::Theorem, std::hash<CVC3::Expr> >*>
>]':
src/include/hash_map.h:82:9:   required from 'CVC3::CDMap<Key, Data,
HashFcn>::~CDMap() [with Key = CVC3::Expr; Data = CVC3::Theorem; HashFcn =
std::hash<CVC3::Expr>]'
common_theorem_producer.h:60:38:   required from here
src/include/hash_table.h:319:5: error: use of deleted function
'std::hash<CVC3::Expr>::~hash()'
     }
     ^
Sun, 20 Nov 2016
[ 09:38 gerald ] Original commit   Revision:426566
426566 archivers/paq/Makefile
426566 archivers/pxz/Makefile
426566 astro/gpstk/Makefile
426566 audio/codec2/Makefile
426566 audio/csound/Makefile
426566 audio/deadbeef/Makefile
426566 audio/firefly/Makefile
426566 audio/funktrackergold/Makefile
426566 audio/idjc/Makefile
426566 audio/libsoxr/Makefile

(Only the first 10 of 364 ports in this commit are shown above. View all ports for this commit)
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.
Fri, 21 Oct 2016
[ 15:21 mat ] Original commit   Revision:424427
424427 archivers/lhasa/Makefile
424427 archivers/liblz4/Makefile
424427 archivers/minizip/Makefile
424427 archivers/unadf/Makefile
424427 audio/libaacplus/Makefile
424427 audio/libadplug/Makefile
424427 audio/libmikmod/Makefile
424427 audio/libmikmod/files
424427 audio/libtremor/Makefile
424427 audio/libxmp/Makefile

(Only the first 10 of 354 ports in this commit are shown above. View all ports for this commit)
Use USES=pathfix where applicable.

PR:		213195
Submitted by:	mat
Exp-run by:	antoine
Sponsored by:	Absolight
Differential Revision:	https://reviews.freebsd.org/D8093
Fri, 1 Apr 2016
[ 14:16 mat ] Original commit   Revision:412348
412348 mail/addresses-goodies/Makefile
412348 mail/alpine/Makefile
412348 mail/anubis/Makefile
412348 mail/archiveopteryx-devel/Makefile
412348 mail/archiveopteryx/Makefile
412348 mail/assp/Makefile
412348 mail/automx/Makefile
412348 mail/avenger/Makefile
412348 mail/balsa/Makefile
412348 mail/batv-milter/Makefile

(Only the first 10 of 2612 ports in this commit are shown above. View all ports for this commit)
Remove ${PORTSDIR}/ from dependencies, categories m, n, o, and p.

With hat:	portmgr
Sponsored by:	Absolight
Wed, 16 Jul 2014
[ 03:25 vanilla ] Original commit   Revision:362025
362025 math/cvc3/Makefile
362025 math/cvc3/files
362025 math/cvc3/files/patch-src-Makefile
Stagify.

Approved by:	lwhsu@ (maintainer)
Sun, 13 Jul 2014
[ 23:36 bapt ] Original commit   Revision:361728
361728 graphics/prison/Makefile
361728 graphics/py-openexr/Makefile
361728 graphics/py-qt4-svg/Makefile
361728 graphics/py-soya3d/Makefile
361728 graphics/quat-gui/Makefile
361728 graphics/repng2jpeg/Makefile
361728 graphics/ruby-ming/Makefile
361728 graphics/rubygem-gd2/Makefile
361728 graphics/sane-epkowa/Makefile
361728 graphics/stamp/Makefile

(Only the first 10 of 69 ports in this commit are shown above. View all ports for this commit)
Modernize LIB_DEPENDS

With hat:	portmgr
Mon, 7 Jul 2014
[ 15:31 olgeni ] Original commit   Revision:361099
361099 mail/atmail/Makefile
361099 mail/autosig/Makefile
361099 mail/batv-milter/Makefile
361099 mail/biabam/Makefile
361099 mail/coolmail/Makefile
361099 mail/couriergraph/Makefile
361099 mail/crm114/Makefile
361099 mail/cvsmail/Makefile
361099 mail/elm/Makefile
361099 mail/exact/Makefile

(Only the first 10 of 193 ports in this commit are shown above. View all ports for this commit)
Remove indefinite articles and trailing periods from COMMENT, plus minor
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)
Wed, 13 Nov 2013
[ 15:55 lwhsu ] Original commit   Revision:333703
333703 math/cvc3/Makefile
- Try to fix build with USE_GCC, anyway, cvc4 is out and would be ported later
Fri, 20 Sep 2013
[ 20:55 bapt ] Original commit   Revision:327746
327746 math/GiNaC/Makefile
327746 math/PDL/Makefile
327746 math/R-cran-ChangeAnomalyDetection/Makefile
327746 math/R-cran-Formula/Makefile
327746 math/R-cran-KFAS/Makefile
327746 math/R-cran-LearnBayes/Makefile
327746 math/R-cran-MCMCpack/Makefile
327746 math/R-cran-RHmm/Makefile
327746 math/R-cran-RSvgDevice/Makefile
327746 math/R-cran-RcppArmadillo/Makefile

(Only the first 10 of 665 ports in this commit are shown above. View all ports for this commit)
Add NO_STAGE all over the place in preparation for the staging support (cat:
math)
Mon, 16 Sep 2013
[ 16:32 bapt ] Original commit   Revision:327411
327411 comms/gnuradio/Makefile
327411 comms/mgetty+sendfax/Makefile
327411 math/R/Makefile
327411 math/cvc3/Makefile
327411 math/maxima/Makefile
327411 math/octave/Makefile
327411 math/p5-Parse-Range/Makefile
327411 math/proofgeneral/Makefile
327411 math/pspp/Makefile
327411 math/stp/Makefile

(Only the first 10 of 18 ports in this commit are shown above. View all ports for this commit)
Convert to new perl framework
Convert USE_GMAKE to USES
Fri, 8 Mar 2013
[ 11:32 bapt ] Original commit   Revision:313635
313635 Mk/Uses/bison.mk
313635 audio/csound/Makefile
313635 audio/denemo/Makefile
313635 audio/rezound/Makefile
313635 audio/sfront/Makefile
313635 biology/chemeq/Makefile
313635 cad/alliance/Makefile
313635 cad/brlcad/Makefile
313635 cad/iverilog/Makefile
313635 cad/opencascade/Makefile

(Only the first 10 of 209 ports in this commit are shown above. View all ports for this commit)
Convert USE_BISON to USES= bison

It brings bison as a build dependency in case it is set the following way:
USES= bison or USES= bison:build

it brings bison as a run dependency in case it is set the following way:
USES= bison:run

it brings bison both as a run and build dependency in case it the set the
following way:
USES= bison:both

While here trim some headers
Convert some USE_GNOME= gnomehack to USES= pathfix
Sat, 4 Feb 2012
[ 14:37 lwhsu ] Original commit 
1.7 math/cvc3/Makefile
1.4 math/cvc3/distinfo
1.3 math/cvc3/pkg-plist
- Update to 2.4.1
Mon, 19 Apr 2010
[ 10:43 ale ] Original commit 
1.2124 MOVED
1.916 UPDATING
1.36 audio/cheesetracker/Makefile
1.72 devel/avr-gcc/Makefile
1.9 devel/binutils/Makefile
1.15 devel/cross-gcc/Makefile
1.59 devel/darcs/Makefile
1.10 devel/djgpp-gcc/Makefile
1.7 devel/hs-Stream/Makefile
1.29 devel/hs-alex/Makefile

(Only the first 10 of 132 ports in this commit are shown above. View all ports for this commit)
Switch to use newer GMP version.

PR:             ports/144487
Submitted by:   ale
Approved by:    portmgr (-exp run by erwin)
Wed, 13 May 2009
[ 09:46 ale ] Original commit 
1.3 archivers/hs-zlib/Makefile
1.31 audio/cheesetracker/Makefile
1.13 devel/avr-gcc-devel/Makefile
1.13 devel/cross-gcc/Makefile
1.53 devel/darcs/Makefile
1.9 devel/djgpp-gcc/Makefile
1.2 devel/hs-Stream/Makefile
1.40 devel/hs-c2hs/Makefile
1.16 devel/hs-cpphs/Makefile
1.2 devel/hs-dlist/Makefile

(Only the first 10 of 95 ports in this commit are shown above. View all ports for this commit)
Chase libgmp and bump PORTREVISION.
Wed, 17 Oct 2007
[ 10:13 ade ] Original commit 
1.1502 MOVED
1.589 Mk/bsd.port.mk
1.29 audio/denemo/Makefile
1.13 audio/rezound/Makefile
1.28 audio/sfront/Makefile
1.11 biology/chemeq/Makefile
1.12 cad/alliance/Makefile
1.29 cad/iverilog/Makefile
1.6 cad/opencascade/Makefile
1.21 cad/tkgate/Makefile

(Only the first 10 of 199 ports in this commit are shown above. View all ports for this commit)
Migration from bison 1.x to 2.x

PR:             117086
Tested by:      -exp runs
Fri, 7 Sep 2007
[ 22:54 lwhsu ] Original commit 
1.3 math/cvc3/Makefile
1.2 math/cvc3/distinfo
1.2 math/cvc3/pkg-plist
- Update to 1.2.1
Wed, 4 Apr 2007
[ 08:49 lwhsu ] Original commit 
1.2 devel/p5-Data-RoundRobin/Makefile
1.5 devel/py-argparse/Makefile
1.2 devel/py-cjson/Makefile
1.10 devel/py-cxx/Makefile
1.2 devel/py-ezpyinline/Makefile
1.2 devel/py-gdata/Makefile
1.2 devel/py-instant/Makefile
1.4 devel/py-notifier/Makefile
1.2 devel/py-parsedatetime/Makefile
1.4 devel/py-pycallgraph/Makefile

(Only the first 10 of 29 ports in this commit are shown above. View all ports for this commit)
- Change to my FreeBSD.org email

Approved by:     clsung (mentor)
Sun, 25 Mar 2007
[ 04:04 clsung ] Original commit 
1.448 math/Makefile
1.1 math/cvc3/Makefile
1.1 math/cvc3/distinfo
1.1 math/cvc3/pkg-descr
1.1 math/cvc3/pkg-plist
Add cvc3 1.0, an automatic theorem prover for the SMT problem.

PR:             ports/110770
Submitted by:   Li-Wen Hsu <lwhsu at lwhsu.org>

Number of commits found: 24

Login
User Login
Create account

Servers and bandwidth provided by
New York Internet, iXsystems, and RootBSD

This site
What is FreshPorts?
About the authors
Issues
FAQ
How big is it?
The latest upgrade!
Privacy
Forums
Blog
Contact

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
drm-current-kmodNov 20
drm-devel-kmodNov 20
drm-fbsd12.0-kmodNov 20
squidNov 19
libidn2Nov 18
gcpioNov 15
libmadNov 13
chromiumNov 12
wordpressNov 12
wordpressNov 12
wordpressNov 12
wordpressNov 12
wordpressNov 12
nexus2-ossNov 07
php71Nov 06

9 vulnerabilities affecting 115 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities

Last updated:
2019-11-20 10:58:20


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds

Statistics
Graphs
NEW Graphs (Javascript)
Traffic

Calculated hourly:
Port count 38086
Broken 776
Deprecated 102
Ignore 1046
Forbidden 3
Restricted 157
No CDROM 72
Vulnerable 33
Expired 8
Set to expire 72
Interactive 0
new 24 hours 3
new 48 hours8
new 7 days26
new fortnight64
new month132

Servers and bandwidth provided by
New York Internet, iXsystems, and RootBSD
Valid HTML, CSS, and RSS.
Copyright © 2000-2019 Dan Langille. All rights reserved.