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