ports-mgmt/synth: update to 3.12 release (+)

What's new:
* Release 3.10 (Support certificate store)
* Release 3.11 (Significant speedup of full tree scan - 69% time reduct…
* Release 3.12 (restore controller environment during scan)

PR:	287613
This commit is contained in:
Dima Panov 2025-06-20 18:45:50 +03:00
parent 3fd38a5298
commit 463eb098d2
No known key found for this signature in database
GPG Key ID: FB8BA09DD5398F29
2 changed files with 5 additions and 8 deletions

View File

@ -1,6 +1,6 @@
PORTNAME= synth
DISTVERSIONPREFIX= v
DISTVERSION= 3.09
DISTVERSION= 3.12
CATEGORIES= ports-mgmt
MAINTAINER= fluffy@FreeBSD.org
@ -40,12 +40,9 @@ post-extract:
${WRKSRC}/src/definitions.ads
do-build:
(cd ${WRKSRC}/src && ${SETENV} ${MAKE_ENV} \
gcc -c unix_core.c -o ../build/unix_core.o)
(cd ${WRKSRC}/synthexec && ${SETENV} ${MAKE_ENV} \
gcc synthexec.c -o ../build/synthexec)
(cd ${WRKSRC} && ${SETENV} ${MAKE_ENV} gprbuild -P default \
-largs build/unix_core.o)
(cd ${WRKSRC} && ${SETENV} ${MAKE_ENV} gprbuild -P default
do-install:
${MKDIR} ${STAGEDIR}${PREFIX}/etc/bash_completion.d \

View File

@ -1,3 +1,3 @@
TIMESTAMP = 1739561790
SHA256 (jrmarino-synth-v3.09_GH0.tar.gz) = 3bf6f4499823af5e41bf1826b9909a722b5e9a6e2fb1204b8c1771d3aa2a45e2
SIZE (jrmarino-synth-v3.09_GH0.tar.gz) = 172611
TIMESTAMP = 1750357245
SHA256 (jrmarino-synth-v3.12_GH0.tar.gz) = ae837652ed4afed57db36587c25b8d866a922332f2981f7d901792297ecc8d22
SIZE (jrmarino-synth-v3.12_GH0.tar.gz) = 175454