notbugIf you buy from Amazon USA, please support us by using this link.
non port: devel/tesla/Makefile
SVNWeb

Number of commits found: 19

Mon, 11 Dec 2017
[ 18:26 sunpoet ] Original commit   Revision:456058
456058 astro/libosmpbf/Makefile
456058 astro/merkaartor/Makefile
456058 audio/clementine-player/Makefile
456058 audio/mixxx/Makefile
456058 audio/mumble/Makefile
456058 audio/murmur/Makefile
456058 databases/mysql57-server/Makefile
456058 devel/grpc/Makefile
456058 devel/php5-pinba/Makefile
456058 devel/protobuf-c/Makefile

(Only the first 10 of 36 ports in this commit are shown above. View all ports for this commit)
Update devel/protobuf to 3.5.0

- Bump PORTREVISION for shlib change

Changes:	https://github.com/google/protobuf/releases
Thu, 30 Nov 2017
[ 06:13 linimon ] Original commit   Revision:455167
455167 archivers/snappy-java/Makefile
455167 astro/tkgeomap/Makefile
455167 audio/beast/Makefile
455167 audio/bristol/Makefile
455167 audio/deadbeef/Makefile
455167 audio/funktrackergold/Makefile
455167 audio/gervill/Makefile
455167 audio/gstreamer-plugins-taglib/Makefile
455167 audio/gstreamer1-plugins-taglib/Makefile
455167 audio/xmcd/Makefile

(Only the first 10 of 189 ports in this commit are shown above. View all ports for this commit)
For ports that are marked BROKEN on armv6, and also fail to build on
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
Fri, 22 Sep 2017
[ 10:48 mat ] Original commit   Revision:450351
450351 Mk/Scripts/qa.sh
450351 Mk/Uses/execinfo.mk
450351 astro/opencpn/Makefile
450351 audio/clementine-player/Makefile
450351 audio/deadbeef/Makefile
450351 audio/pulseaudio/Makefile
450351 audio/sayonara/Makefile
450351 biology/seqtools/Makefile
450351 biology/ugene/Makefile
450351 cad/klayout/Makefile

(Only the first 10 of 175 ports in this commit are shown above. View all ports for this commit)
Remove USES=execinfo.

PR:		220271
Submitted by:	mat (review), Yasuhiro KIMURA (PR)
Sponsored by:	Absolight
Differential Revision:	https://reviews.freebsd.org/D11488
Wed, 16 Aug 2017
[ 15:44 sunpoet ] Original commit   Revision:448041
448041 astro/libosmpbf/Makefile
448041 astro/merkaartor/Makefile
448041 audio/clementine-player/Makefile
448041 audio/mixxx/Makefile
448041 audio/mumble/Makefile
448041 audio/murmur/Makefile
448041 devel/grpc/Makefile
448041 devel/php5-pinba/Makefile
448041 devel/pinba_engine/Makefile
448041 devel/protobuf-c/Makefile

(Only the first 10 of 32 ports in this commit are shown above. View all ports for this commit)
Update devel/protobuf to 3.4.0

- Bump PORTREVISION for shlib change

Changes:	https://github.com/google/protobuf/releases
Sun, 25 Jun 2017
[ 21:07 tcberner ] Original commit   Revision:444324
444324 CHANGES
444324 Mk/Uses/cmake.mk
444324 Mk/bsd.sanity.mk
444324 astro/marble/Makefile
444324 audio/csound6/Makefile
444324 audio/fluidsynth/Makefile
444324 audio/libgme/Makefile
444324 cad/kicad/Makefile
444324 cad/opencascade/Makefile
444324 cad/openvsp/Makefile

(Only the first 10 of 115 ports in this commit are shown above. View all ports for this commit)
Make ninja opt-out in cmake.mk

Using ninja instead of make (1) can lead to significant speed ups while
building.
Therefore switch from having the ninja generator opt-in to having it opt-out.

Previously cmake-ports that wanted to use ninja could set
    CMAKE_NINJA=yes
now, ports that do not work with ninja can set
    cmake:<existing args>,noninja
Note, that needing this should be an exception and most often points to a broken
cmake of the port.

The ports using cmake were modified
* removed USES=gmake, if ninja is used
* removed MAKE_ARGS, if ninja is used
* added the cmake-argument noninja if necessary

PR:		219629
PR:		213331
Exp-run by:	antoine
Reviewed by:	rakuco
Differential Revision:	https://reviews.freebsd.org/D10748
Sat, 27 May 2017
[ 22:16 linimon ] Original commit   Revision:441881
441881 audio/acoustid-fingerprinter/Makefile
441881 devel/py-jcc/Makefile
441881 devel/tesla/Makefile
441881 editors/yui/Makefile
441881 games/residualvm/Makefile
441881 graphics/aseprite/Makefile
441881 lang/mosh/Makefile
441881 lang/nim/Makefile
441881 lang/siod/Makefile
441881 lang/spidermonkey17/Makefile

(Only the first 10 of 13 ports in this commit are shown above. View all ports for this commit)
Mark some ports failing on armv6, for errors classified as "linker_error".

While here, pet portlint.

Approved by:	portmgr (tier-2 blanket)
Wed, 17 May 2017
[ 18:46 tcberner ] Original commit   Revision:441113
441113 devel/tesla/Makefile
Fix shebangs

* Add python:run to USES -- as it installs python scripts.

Reviewed by:	brooks
Approved by:	brooks (maintainer), rakuco (mentor, implicit)
Differential Revision:	https://reviews.freebsd.org/D10775
Sat, 29 Apr 2017
[ 15:43 sunpoet ] Original commit   Revision:439753
439753 astro/libosmpbf/Makefile
439753 astro/merkaartor/Makefile
439753 audio/clementine-player/Makefile
439753 audio/mixxx/Makefile
439753 audio/mumble/Makefile
439753 audio/murmur/Makefile
439753 devel/php5-pinba/Makefile
439753 devel/pinba_engine/Makefile
439753 devel/protobuf/Makefile
439753 devel/protobuf/distinfo

(Only the first 10 of 30 ports in this commit are shown above. View all ports for this commit)
Update devel/protobuf to 3.3.0

- Remove USE_CSTD=c99: it was added for [1], now audio/clementine-player builds
fine without it
- Bump PORTREVISION for shlib change

Changes:	https://github.com/google/protobuf/releases
PR:		178687 [1]
Sun, 29 Jan 2017
[ 16:04 sunpoet ] Original commit   Revision:432762
432762 astro/libosmpbf/Makefile
432762 astro/merkaartor/Makefile
432762 audio/clementine-player/Makefile
432762 audio/mixxx/Makefile
432762 audio/mumble/Makefile
432762 audio/murmur/Makefile
432762 devel/php5-pinba/Makefile
432762 devel/pinba_engine/Makefile
432762 devel/protobuf-c/Makefile
432762 devel/protobuf/Makefile

(Only the first 10 of 31 ports in this commit are shown above. View all ports for this commit)
Update devel/protobuf to 3.2.0

- Bump PORTREVISION for shlib change

Changes:	https://github.com/google/protobuf/releases
Sun, 1 Jan 2017
[ 03:45 sunpoet ] Original commit   Revision:430235
430235 archivers/zstd/Makefile
430235 astro/libosmium/Makefile
430235 audio/gnuspeechsa/Makefile
430235 audio/lastfm-desktop/Makefile
430235 audio/sooperlooper/Makefile
430235 audio/teamspeak3-server/Makefile
430235 benchmarks/clpeak/Makefile
430235 biology/jellyfish/Makefile
430235 biology/seqtools/Makefile
430235 cad/freecad/Makefile

(Only the first 10 of 161 ports in this commit are shown above. View all ports for this commit)
Remove BROKEN_FreeBSD_9

Approved by:	portmgr (blanket)
Wed, 14 Dec 2016
[ 17:58 sunpoet ] Original commit   Revision:428581
428581 astro/libosmpbf/Makefile
428581 astro/merkaartor/Makefile
428581 audio/clementine-player/Makefile
428581 audio/mixxx/Makefile
428581 audio/mumble/Makefile
428581 audio/murmur/Makefile
428581 devel/goprotobuf/Makefile
428581 devel/php5-pinba/Makefile
428581 devel/pinba_engine/Makefile
428581 devel/protobuf-c/Makefile

(Only the first 10 of 30 ports in this commit are shown above. View all ports for this commit)
- Update devel/protobuf to 3.1.0
- Bump PORTREVISION for shlib change

Changes:	https://github.com/google/protobuf/releases
Fri, 1 Apr 2016
[ 14:00 mat ] Original commit   Revision:412346
412346 databases/R-cran-RMySQL/Makefile
412346 databases/R-cran-RSQLite.extfuns/Makefile
412346 databases/R-cran-RSQLite/Makefile
412346 databases/R-cran-sqldf/Makefile
412346 databases/akonadi-googledata/Makefile
412346 databases/akonadi/Makefile
412346 databases/apq-mysql/Makefile
412346 databases/apq-odbc/Makefile
412346 databases/apq-pgsql/Makefile
412346 databases/apq/Makefile

(Only the first 10 of 5103 ports in this commit are shown above. View all ports for this commit)
Remove ${PORTSDIR}/ from dependencies, categories d, e, f, and g.

With hat:	portmgr
Sponsored by:	Absolight
Wed, 20 Jan 2016
[ 19:30 antoine ] Original commit   Revision:406794
406794 devel/tesla/Makefile
Unbreak after r406603
Wed, 6 May 2015
[ 15:16 mat ] Original commit   Revision:385521
385521 benchmarks/flowgrind/Makefile
385521 benchmarks/flowgrind/distinfo
385521 biology/htslib/Makefile
385521 biology/htslib/distinfo
385521 biology/samtools/Makefile
385521 biology/samtools/distinfo
385521 cad/cura-engine/Makefile
385521 cad/cura-engine/distinfo
385521 cad/elmerfem/Makefile
385521 cad/elmerfem/distinfo

(Only the first 10 of 348 ports in this commit are shown above. View all ports for this commit)
Update ports in the [bcd]* categories to not use GH_COMMIT.

With minor cleanups to make things simpler.

With hat:	portmgr
Sponsored by:	Absolight
Sat, 4 Oct 2014
[ 15:12 sunpoet ] Original commit   Revision:369969
369969 astro/libosmpbf/Makefile
369969 astro/osmium/Makefile
369969 audio/clementine-player/Makefile
369969 audio/mixxx/Makefile
369969 audio/mumble/Makefile
369969 audio/murmur/Makefile
369969 biology/plinkseq/Makefile
369969 devel/php5-pinba/Makefile
369969 devel/pinba_engine/Makefile
369969 devel/protobuf-c/Makefile

(Only the first 10 of 23 ports in this commit are shown above. View all ports for this commit)
- Update to 2.6.0
- Update MASTER_SITES
- Add my LOCAL to MASTER_SITES
- Use USE_CSTD
- Use MAKE_CMD
- Reformat pkg-descr
- Update WWW
- Take maintainership
- Bump PORTREVISION for devel/protobuf shlib change

Changes:	https://code.google.com/p/protobuf/source/browse/trunk/CHANGES.txt
Tue, 5 Aug 2014
[ 06:40 bapt ] Original commit   Revision:364077
364077 devel/clanlib/Makefile
364077 devel/gearmand-devel/Makefile
364077 devel/gearmand/Makefile
364077 devel/glog/Makefile
364077 devel/google-perftools/Makefile
364077 devel/llvm32/Makefile
364077 devel/llvm33/Makefile
364077 devel/llvm34/Makefile
364077 devel/llvm35/Makefile
364077 devel/tesla/Makefile
USES=execinfo
Sun, 13 Jul 2014
[ 23:09 bapt ] Original commit   Revision:361722
361722 devel/libmcs/Makefile
361722 devel/libvanessa_adt/Makefile
361722 devel/mingw32-gcc/Makefile
361722 devel/mpatrol/Makefile
361722 devel/omniNotify/Makefile
361722 devel/openocd/Makefile
361722 devel/ossp-al/Makefile
361722 devel/ossp-cfg/Makefile
361722 devel/ossp-val/Makefile
361722 devel/php5-dav/Makefile

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

With hat:	portmgr
Tue, 24 Jun 2014
[ 15:14 brooks ] Original commit   Revision:359093
359093 devel/tesla/Makefile
Doesn't build on 8 and 9 for different C++ support related reasons so
make BROKEN for now.
Fri, 25 Apr 2014
[ 22:21 brooks ] Original commit   Revision:352156
352156 devel/Makefile
352156 devel/tesla
352156 devel/tesla/Makefile
352156 devel/tesla/distinfo
352156 devel/tesla/files
352156 devel/tesla/files/patch-doc__CMakeLists.txt
352156 devel/tesla/pkg-descr
352156 devel/tesla/pkg-plist
New port of: Temporally Enhanced Security Logic Assertions (TESLA)

TESLA builds on our experiences developing the TrustedBSD MAC Framework
and Capsicum: our most critical security properties are frequently
safety (temporal) properties rather than static invariants.  Current
tools for testing temporal properties are largely static, and unable to
work effectively on extremely large C-language software bases, such as
multi-million lines-of-code operating system kernels and web browsers.
TESLA borrows ideas from model checking, applying them in a dynamic
context using compiler-assisted instrumentation to continuously validate
temporal security assertions during software execution.  We have
implemented a prototype of TESLA based on clang/LLVM AST transforms,
which is able to test both explicit automata against C implementations
(such as protocol state machines in the kernel and OpenSSL) and inline
assertions checking for missing access control checks in OS logic.

Sponsored by:	DARPA, AFRL

Number of commits found: 19

Login
User Login
Create account

Servers and bandwidth provided by
New York Internet, SuperNews, 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
msmtpFeb 15
firefoxFeb 13
firefox-esrFeb 13
thunderbirdFeb 13
linux-flashplayerFeb 12
openjpeg*Feb 11
openjpeg*Feb 11
kf5-kauthFeb 10
unitFeb 08
curlFeb 07
gitlab-ceFeb 06
dovecotFeb 05
typo3-8Feb 02
typo3-9Feb 02
giteaFeb 01

12 vulnerabilities affecting 85 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities

Last updated:
2019-02-15 15:06:58


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds

Statistics
Graphs
NEW Graphs (Javascript)
Traffic

Calculated hourly:
Port count 36405
Broken 114
Deprecated 402
Ignore 329
Forbidden 3
Restricted 162
No CDROM 74
Vulnerable 36
Expired 6
Set to expire 375
Interactive 0
new 24 hours 16
new 48 hours33
new 7 days51
new fortnight111
new month345

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