Attachment 251583 Details for Bug 279866 – 3.01 git-diff

[patch] 3.01 git-diff

synth.git-diff (text/plain), 2.25 KB, created by Jonathan Chen on 2024-06-19 20:06:18 UTC

(hide)

Description:

Filename:

MIME Type:

Creator: Jonathan Chen

Created: 2024-06-19 20:06:18 UTC

Size: 2.25 KB

patch

obsolete

>diff --git a/ports-mgmt/synth/Makefile b/ports-mgmt/synth/Makefile
>index 141ba1ce17..9ed173651b 100644
>--- a/ports-mgmt/synth/Makefile
>+++ b/ports-mgmt/synth/Makefile
>@@ -1,7 +1,6 @@
> PORTNAME=	synth
> DISTVERSIONPREFIX=	v
>-DISTVERSION=	2.13
>-PORTREVISION=	2
>+DISTVERSION=	3.01
> CATEGORIES=	ports-mgmt
> 
> MAINTAINER=	fluffy@FreeBSD.org
>@@ -11,10 +10,11 @@ WWW=		https://github.com/jrmarino/synth
> LICENSE=	ISCL
> LICENSE_FILE=	${WRKSRC}/License.txt
> 
>-BUILD_DEPENDS=	${GPR}/ini_file_manager.gpr:misc/ini_file_manager \
>+BUILD_DEPENDS=	gprbuild>0:devel/gprbuild \
>+		${GPR}/ini_file_manager.gpr:misc/ini_file_manager \
> 		${GPR}/adacurses.gpr:devel/adacurses
> 
>-USES=		ada:6 ncurses:base
>+USES=		ada ncurses:base
> USE_GITHUB=	yes
> GH_ACCOUNT=	jrmarino
> 
>@@ -42,7 +42,7 @@ do-build:
> 		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} gnatmake -P default \
>+	(cd ${WRKSRC} && ${SETENV} ${MAKE_ENV} gprbuild -P default \
> 		-largs build/unix_core.o)
> 
> do-install:
>diff --git a/ports-mgmt/synth/distinfo b/ports-mgmt/synth/distinfo
>index b344fafc2a..f229e34970 100644
>--- a/ports-mgmt/synth/distinfo
>+++ b/ports-mgmt/synth/distinfo
>@@ -1,3 +1,3 @@
>-TIMESTAMP = 1675279152
>-SHA256 (jrmarino-synth-v2.13_GH0.tar.gz) = 96ccab38d6a0bd10f4b408a4eb3e3aa3fc34a0c426957b14257e8dd59957592b
>-SIZE (jrmarino-synth-v2.13_GH0.tar.gz) = 172031
>+TIMESTAMP = 1718742039
>+SHA256 (jrmarino-synth-v3.01_GH0.tar.gz) = 4a286367a5e03c6e654567ca86822cd7b0315d15f6f178013455d35a8a947a1f
>+SIZE (jrmarino-synth-v3.01_GH0.tar.gz) = 172307
>diff --git a/ports-mgmt/synth/files/patch-parameters.adb b/ports-mgmt/synth/files/patch-parameters.adb
>new file mode 100644
>index 0000000000..70b92a1c02
>--- /dev/null
>+++ b/ports-mgmt/synth/files/patch-parameters.adb
>@@ -0,0 +1,11 @@
>+--- src/parameters.adb.orig	2024-06-17 13:37:33.229523000 +1200
>++++ src/parameters.adb	2024-06-17 13:35:59.280062000 +1200
>+@@ -50,7 +50,7 @@
>+          end;
>+       end if;
>+
>+-      internal_config.Init (File_Name => conf_location,
>++      internal_config.Init (Config_File_Name => conf_location,
>+                             On_Type_Mismatch => Config.Be_Quiet);
>+
>+       if section_exists (master_section, global_01) then

Actions: View | Diff

Attachments on bug 279866: 251583 | 251592