git: 463eb098d2e2 - main - ports-mgmt/synth: update to 3.12 release (+)

Go to: [ bottom of page ] [ top of archives ] [ this month ]
From: Dima Panov <fluffy_at_FreeBSD.org>
Date: Fri, 20 Jun 2025 12:50:36 UTC
The branch main has been updated by fluffy:

URL: https://cgit.FreeBSD.org/ports/commit/?id=463eb098d2e27d7b8be0fb7f31d98595962f6ffb

commit 463eb098d2e27d7b8be0fb7f31d98595962f6ffb
Author:     Dima Panov <fluffy@FreeBSD.org>
AuthorDate: 2025-06-20 15:45:50 +0000
Commit:     Dima Panov <fluffy@FreeBSD.org>
CommitDate: 2025-06-20 15:50:31 +0000

    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
---
 ports-mgmt/synth/Makefile | 7 ++-----
 ports-mgmt/synth/distinfo | 6 +++---
 2 files changed, 5 insertions(+), 8 deletions(-)

diff --git a/ports-mgmt/synth/Makefile b/ports-mgmt/synth/Makefile
index b4d9f533e195..9f6b2a1540d8 100644
--- a/ports-mgmt/synth/Makefile
+++ b/ports-mgmt/synth/Makefile
@@ -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 \
diff --git a/ports-mgmt/synth/distinfo b/ports-mgmt/synth/distinfo
index f2afcc7b41b9..b993f9727dc3 100644
--- a/ports-mgmt/synth/distinfo
+++ b/ports-mgmt/synth/distinfo
@@ -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