| non port: devel/tesla/Makefile |
|
SVNWeb
|
Number of commits found: 19 |
|
Mon, 11 Dec 2017
|
[ 18:26 sunpoet  ]   (Only the first 10 of 36 ports in this commit are shown above.  )
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 ] (Only the first 10 of 189 ports in this commit are shown above. )
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 ] (Only the first 10 of 175 ports in this commit are shown above. )
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 ] (Only the first 10 of 32 ports in this commit are shown above. )
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 ] (Only the first 10 of 115 ports in this commit are shown above. )
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 ] (Only the first 10 of 13 ports in this commit are shown above. )
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 ]
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 ] (Only the first 10 of 30 ports in this commit are shown above. )
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 ] (Only the first 10 of 31 ports in this commit are shown above. )
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 ] (Only the first 10 of 161 ports in this commit are shown above. )
Remove BROKEN_FreeBSD_9
Approved by: portmgr (blanket)
|
|
Wed, 14 Dec 2016
|
[ 17:58 sunpoet ] (Only the first 10 of 30 ports in this commit are shown above. )
- 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 ] (Only the first 10 of 5103 ports in this commit are shown above. )
Remove ${PORTSDIR}/ from dependencies, categories d, e, f, and g.
With hat: portmgr
Sponsored by: Absolight
|
|
Wed, 20 Jan 2016
|
[ 19:30 antoine ]
Unbreak after r406603
|
|
Wed, 6 May 2015
|
[ 15:16 mat ] (Only the first 10 of 348 ports in this commit are shown above. )
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 ] (Only the first 10 of 23 ports in this commit are shown above. )
- 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 ]
USES=execinfo
|
|
Sun, 13 Jul 2014
|
[ 23:09 bapt ] (Only the first 10 of 38 ports in this commit are shown above. )
Modernize LIB_DEPENDS
With hat: portmgr
|
|
Tue, 24 Jun 2014
|
[ 15:14 brooks ]
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 ]
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 |
As an Amazon Associate I earn from qualifying purchases.