diff --git a/ports-mgmt/synth/Makefile b/ports-mgmt/synth/Makefile index 3260622a6fc0..423c1b50aa61 100644 --- a/ports-mgmt/synth/Makefile +++ b/ports-mgmt/synth/Makefile @@ -1,64 +1,64 @@ PORTNAME= synth DISTVERSIONPREFIX= v -DISTVERSION= 3.12 +DISTVERSION= 3.13 CATEGORIES= ports-mgmt MAINTAINER= fluffy@FreeBSD.org COMMENT= Custom package repository builder for FreeBSD and DragonFly WWW= https://github.com/jrmarino/synth LICENSE= ISCL LICENSE_FILE= ${WRKSRC}/License.txt BUILD_DEPENDS= gprbuild>0:devel/gprbuild \ ${GPR}/ini_file_manager.gpr:misc/ini_file_manager \ ${GPR}/adacurses.gpr:devel/adacurses USES= ada elfctl ncurses USE_GITHUB= yes GH_ACCOUNT= jrmarino ELF_FEATURES= +wxneeded:build/${PORTNAME} GPR= ${LOCALBASE}/lib/gnat MAKE_ENV= NCURSES_LINK=static OPTIONS_DEFINE= WATCHDOG OPTIONS_DEFAULT=WATCHDOG WATCHDOG_DESC= Build with watchdog monitor WATCHDOG_EXTRA_PATCHES_OFF= ${FILESDIR}/extrapatch-nowatchdog-portscan-buildcycle.adb .include post-extract: .if ${OPSYS} == DragonFly && ${OSVERSION} < 400600 @${REINPLACE_CMD} -e 's|"re"|"r"|' ${WRKSRC}/src/unix.adb .endif @${REINPLACE_CMD} -e "s|/usr/local|${LOCALBASE}|" \ ${WRKSRC}/src/definitions.ads do-build: (cd ${WRKSRC}/synthexec && ${SETENV} ${MAKE_ENV} \ gcc synthexec.c -o ../build/synthexec) (cd ${WRKSRC} && ${SETENV} ${MAKE_ENV} gprbuild -P default ) do-install: ${MKDIR} ${STAGEDIR}${PREFIX}/etc/bash_completion.d \ ${STAGEDIR}${PREFIX}/share/zsh/site-functions \ ${STAGEDIR}${PREFIX}/share/synth \ ${STAGEDIR}/var/log/synth \ ${STAGEDIR}/var/synth/live_packages ${INSTALL_PROGRAM} ${WRKSRC}/build/synth \ ${STAGEDIR}${PREFIX}/bin ${INSTALL_PROGRAM} ${WRKSRC}/build/synthexec \ ${STAGEDIR}${PREFIX}/libexec ${INSTALL_MAN} ${WRKSRC}/synth.1 ${STAGEDIR}${PREFIX}/share/man/man1 ${INSTALL_SCRIPT} ${WRKSRC}/shell-completers/_synth.bash \ ${STAGEDIR}${PREFIX}/etc/bash_completion.d ${INSTALL_DATA} ${WRKSRC}/shell-completers/_synth \ ${STAGEDIR}${PREFIX}/share/zsh/site-functions ${INSTALL_DATA} ${WRKSRC}/www/* ${STAGEDIR}${PREFIX}/share/synth .include diff --git a/ports-mgmt/synth/distinfo b/ports-mgmt/synth/distinfo index b993f9727dc3..69213d960931 100644 --- a/ports-mgmt/synth/distinfo +++ b/ports-mgmt/synth/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1750357245 -SHA256 (jrmarino-synth-v3.12_GH0.tar.gz) = ae837652ed4afed57db36587c25b8d866a922332f2981f7d901792297ecc8d22 -SIZE (jrmarino-synth-v3.12_GH0.tar.gz) = 175454 +TIMESTAMP = 1771233586 +SHA256 (jrmarino-synth-v3.13_GH0.tar.gz) = 94d4d1a01ebdfbb3ae42df6e5945a6b2554caa32fa841f770101203e82f1c50c +SIZE (jrmarino-synth-v3.13_GH0.tar.gz) = 176741