Baptiste Daroussin
f2b25e26e8
Support stage
2014-04-26 00:33:22 +00:00
Baptiste Daroussin
82c7254ea9
Support stage
...
Use USES=libtoo
Strip binaries
2014-04-26 00:31:23 +00:00
Baptiste Daroussin
2bb5031fd7
Support stage
...
Use USES=libtool
Strip binaries
2014-04-26 00:28:39 +00:00
Baptiste Daroussin
007634e326
Support stage
2014-04-26 00:26:58 +00:00
Baptiste Daroussin
0d0a8d31ce
Support stage
...
Use USES=libtool
2014-04-26 00:25:52 +00:00
Baptiste Daroussin
87519eaaed
Support stage
2014-04-26 00:23:05 +00:00
Baptiste Daroussin
f89aa24f6f
Support stage
2014-04-26 00:22:16 +00:00
Baptiste Daroussin
afb5112880
Support stage
...
Use USES=libtool
Strip binaries
2014-04-26 00:16:54 +00:00
Baptiste Daroussin
fae3019a4c
Support stage
2014-04-26 00:13:27 +00:00
Baptiste Daroussin
83030b0402
Support stage
2014-04-26 00:11:09 +00:00
Baptiste Daroussin
90291e43a7
Support stage
2014-04-26 00:08:05 +00:00
Baptiste Daroussin
47711c3d83
Support stage
2014-04-26 00:06:45 +00:00
Baptiste Daroussin
bd4a52232f
Support stage
2014-04-26 00:05:09 +00:00
Baptiste Daroussin
eaa7261d46
Support stage
2014-04-26 00:03:39 +00:00
Baptiste Daroussin
877027a879
Support stage
2014-04-26 00:02:52 +00:00
Baptiste Daroussin
3a394cc053
Support stage
...
Use options framework
2014-04-26 00:01:20 +00:00
Baptiste Daroussin
ade5478203
Support stage
...
Always install manpages
2014-04-25 23:59:21 +00:00
Baptiste Daroussin
1397f96363
Support stage
2014-04-25 23:54:47 +00:00
Baptiste Daroussin
900bf5cbab
Support stage
2014-04-25 23:53:50 +00:00
Baptiste Daroussin
3bbe9ac137
Support stage
...
Convert to USES=libtool
2014-04-25 23:51:44 +00:00
Baptiste Daroussin
af0ff22527
Support stage
2014-04-25 23:49:19 +00:00
Baptiste Daroussin
90dd19034d
Support stage
2014-04-25 23:48:03 +00:00
Baptiste Daroussin
a4aefba45b
Stagify brasero
...
Convert to USES=libtool
Chase shlib number change
Clean up a bit chased ports
2014-04-25 23:46:27 +00:00
Baptiste Daroussin
169ea802e6
Support stage
2014-04-25 23:33:36 +00:00
Baptiste Daroussin
27df4afa35
Support stage
...
Switch to USES=libtool
2014-04-25 23:31:44 +00:00
Sunpoet Po-Chuan Hsieh
6a40386c93
- Update LICENSE
...
- Use USES=tar:xz
Submitted by: sunpoet (myself)
Approved by: Jason Bacon <jwbacon@tds.net> (maintainer)
2014-04-25 23:27:31 +00:00
Baptiste Daroussin
f79ebea953
Support stage
2014-04-25 23:25:53 +00:00
John Marino
a07058d03b
devel/florist-gpl: Don't strip static library
...
Static libraries need to be installed with BSD_INSTALL_DATA macro
rather than BSD_INSTALL_LIB macro because the former will strip the
symbols from the library by default.
PR: ports/188993
Submitted by: Natacha Porte
Approved by: maintainer (self)
MFH: 2014Q2
2014-04-25 23:25:46 +00:00
Baptiste Daroussin
8b24bc4021
Support stage
2014-04-25 23:20:52 +00:00
Baptiste Daroussin
09bc13d3d5
Support stage
...
Switch to USES=libtool
Strip binaries
2014-04-25 23:19:01 +00:00
Baptiste Daroussin
b25aad4f05
Support stage
2014-04-25 23:16:19 +00:00
Baptiste Daroussin
e4452ab892
Support stage
2014-04-25 23:14:29 +00:00
Baptiste Daroussin
548cd48ff9
Support stage
2014-04-25 23:11:19 +00:00
Baptiste Daroussin
43d499ebd2
Support stage
2014-04-25 23:10:40 +00:00
Baptiste Daroussin
4bd35aed18
Support stage
2014-04-25 23:09:16 +00:00
Baptiste Daroussin
10e8d0e423
Support stage
2014-04-25 23:08:08 +00:00
Baptiste Daroussin
353b7ee41a
Support stage
2014-04-25 23:03:46 +00:00
Baptiste Daroussin
c92a57b22a
Support stage
2014-04-25 23:01:35 +00:00
Baptiste Daroussin
970c165d87
Bump portrevision forgotten previously
2014-04-25 22:56:07 +00:00
Baptiste Daroussin
0881217566
Support stage
2014-04-25 22:55:35 +00:00
Baptiste Daroussin
3054bf7154
Support stage
...
Switch to USES=libtool
2014-04-25 22:54:09 +00:00
Baptiste Daroussin
d4ec49ef6c
Support stage
2014-04-25 22:52:11 +00:00
Baptiste Daroussin
d3629354f5
Support stage
2014-04-25 22:50:51 +00:00
Brooks Davis
ee459d7eb3
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
2014-04-25 22:21:13 +00:00
Baptiste Daroussin
c67511bd57
Support stage
...
Cleanup a bit
2014-04-25 22:05:35 +00:00
Baptiste Daroussin
e772d3fd13
Fix packaging as a user
...
Remove test for pre FreeBSD 8
2014-04-25 21:57:42 +00:00
Juergen Lock
9ca9f2c753
- Stop depending on bitstream-vera, add explicit fontconfig/freetype
...
dependencies. [1]
- Switch to USES= tar:xz.
- Bump PORTREVISION.
PR: ports/187857 [1]
Submitted by: rakuco [1]
2014-04-25 21:46:02 +00:00
Baptiste Daroussin
f356f1035f
Remove libtool from USE_AUTOTOOLS
...
Reported by: tijl
2014-04-25 21:36:10 +00:00
Pawel Pekala
c206304493
Add staging support
2014-04-25 20:45:57 +00:00
Pawel Pekala
1e6f6f6e8d
- Add staging support
...
- Convert to new LIB_DEPENDS format
2014-04-25 20:44:47 +00:00