CVS commit: pkgsrc/devel/frama-c

["Thomas Klausner" <wiz%netbsd.org@localhost>]

Module Name:    pkgsrc
Committed By:   wiz
Date:           Tue Nov 15 13:02:42 UTC 2022

Modified Files:
        pkgsrc/devel/frama-c: distinfo
Added Files:
        pkgsrc/devel/frama-c/patches:
            patch-src_plugins_e-acsl_scripts_e-acsl-gcc.sh

Log Message:
frama-c: fix unportable test(1) operator


To generate a diff of this commit:
cvs rdiff -u -r1.12 -r1.13 pkgsrc/devel/frama-c/distinfo
cvs rdiff -u -r0 -r1.1 \
    pkgsrc/devel/frama-c/patches/patch-src_plugins_e-acsl_scripts_e-acsl-gcc.sh

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.

Modified files:

Index: pkgsrc/devel/frama-c/distinfo
diff -u pkgsrc/devel/frama-c/distinfo:1.12 pkgsrc/devel/frama-c/distinfo:1.13
--- pkgsrc/devel/frama-c/distinfo:1.12  Sun Oct  9 07:02:47 2022
+++ pkgsrc/devel/frama-c/distinfo       Tue Nov 15 13:02:42 2022
@@ -1,4 +1,4 @@
-$NetBSD: distinfo,v 1.12 2022/10/09 07:02:47 tonio Exp $
+$NetBSD: distinfo,v 1.13 2022/11/15 13:02:42 wiz Exp $
 
 BLAKE2s (frama-c-25.0-Manganese.tar.gz) = 589c14ead33b8371a96e6e65ac2f58434e8de7066d71b821cf285ff01bb6e233
 SHA512 (frama-c-25.0-Manganese.tar.gz) = 8fdc71ee252e7dd0ca5782d16d54df8d126a3fbcc324cf250dd96bcb5b743a4a387ec65fe633583a976d6b692d147f657faf49160ccbd519e04a2664b0d68f0f
@@ -6,3 +6,4 @@ Size (frama-c-25.0-Manganese.tar.gz) = 7
 SHA1 (patch-Makefile) = 87c7dc7dd9246aae396cdcae7c410f834b92ec4b
 SHA1 (patch-share_Makefile.common) = f5230aee768e6af4c7458d96f1f210172daa9bb2
 SHA1 (patch-src_libraries_utils_c__bindings.c) = b634836b18c3be97c9b026a65c454cab6552b6f4
+SHA1 (patch-src_plugins_e-acsl_scripts_e-acsl-gcc.sh) = 3fb87450ff0d0633251730fa1bfb452ef5ff78ad

Added files:

Index: pkgsrc/devel/frama-c/patches/patch-src_plugins_e-acsl_scripts_e-acsl-gcc.sh
diff -u /dev/null pkgsrc/devel/frama-c/patches/patch-src_plugins_e-acsl_scripts_e-acsl-gcc.sh:1.1
--- /dev/null   Tue Nov 15 13:02:42 2022
+++ pkgsrc/devel/frama-c/patches/patch-src_plugins_e-acsl_scripts_e-acsl-gcc.sh Tue Nov 15 13:02:42 2022
@@ -0,0 +1,15 @@
+$NetBSD: patch-src_plugins_e-acsl_scripts_e-acsl-gcc.sh,v 1.1 2022/11/15 13:02:42 wiz Exp $
+
+Fix unportable test(1) operator.
+
+--- src/plugins/e-acsl/scripts/e-acsl-gcc.sh.orig      2022-06-21 00:00:00.000000000 +0000
++++ src/plugins/e-acsl/scripts/e-acsl-gcc.sh
+@@ -759,7 +759,7 @@ The size is given in MB.
+ $zone_help_msg"
+             ;;
+           esac
+-        elif [ "${#size_arr[@]}" -eq "1" ] && [ "${size_arr[0]}" == "help" ]; then
++        elif [ "${#size_arr[@]}" -eq "1" ] && [ "${size_arr[0]}" = "help" ]; then
+           printf "e-acsl-gcc.sh - $zone_help_msg"
+           exit 1
+         else