nusmv fails to build with gcc-4.2: error: expected expression before ‘;’ token

[barracuda156]

:info:build [  4%] Building C object build-cudd/util/CMakeFiles/CUDD_UTIL_LIB.dir/safe_mem.c.o
:info:build cd /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/util && /usr/bin/gcc-4.2 -DBSD -DHAVE_IEEE_754 -DNUSMV_SIZEOF_INT=4 -DNUSMV_SIZEOF_LONG=4 -DNUSMV_SIZEOF_VOID_P=4 -D__MAC_OS_X__ -I/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/include/cudd -pipe -Os -DNDEBUG -I/opt/local/include -arch ppc -mmacosx-version-min=10.6   -fPIC -MD -MT build-cudd/util/CMakeFiles/CUDD_UTIL_LIB.dir/safe_mem.c.o -MF CMakeFiles/CUDD_UTIL_LIB.dir/safe_mem.c.o.d -o CMakeFiles/CUDD_UTIL_LIB.dir/safe_mem.c.o -c /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.6.0/cudd-2.4.1.1/util/safe_mem.c
:info:build /usr/bin/ar cq ../lib/libmtr.a CMakeFiles/CUDD_MTR_LIB.dir/mtrBasic.c.o CMakeFiles/CUDD_MTR_LIB.dir/mtrGroup.c.o
:info:build /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.6.0/cudd-2.4.1.1/util/safe_mem.c: In function ‘MMout_of_memory’:
:info:build /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.6.0/cudd-2.4.1.1/util/safe_mem.c:46: warning: format ‘%u’ expects type ‘unsigned int’, but argument 3 has type ‘size_t’
:info:build /usr/bin/ranlib ../lib/libmtr.a
:info:build make[2]: Leaving directory `/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build'
:info:build [  5%] Building C object code/nusmv/shell/cmd/CMakeFiles/code_nusmv_shell_cmd.dir/cmdHelp.c.o
:info:build cd /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/code/nusmv/shell/cmd && /usr/bin/gcc-4.2 -DHAVE_CONFIG_H -Dinline=inline -I/opt/local/include/libxml2 -I/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-cudd/include -I/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/NuSMV-2.6.0/NuSMV/code -I/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/code -I/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build -I/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/build-MiniSat/minisat-37dc6c67e2af26379d88ce349eb9c4c6160e8543 -pipe -Os -DNDEBUG -I/opt/local/include  -Wdeclaration-after-statement -Werror=declaration-after-statement -arch ppc -mmacosx-version-min=10.6   -fPIC -MD -MT code/nusmv/shell/cmd/CMakeFiles/code_nusmv_shell_cmd.dir/cmdHelp.c.o -MF CMakeFiles/code_nusmv_shell_cmd.dir/cmdHelp.c.o.d -o CMakeFiles/code_nusmv_shell_cmd.dir/cmdHelp.c.o -c /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/code/nusmv/shell/cmd/cmdHelp.c
:info:build /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build/code/nusmv/shell/cmd/cmdHelp.c:58: error: expected expression before ‘;’ token
:info:build make[2]: *** [code/nusmv/shell/cmd/CMakeFiles/code_nusmv_shell_cmd.dir/cmdHelp.c.o] Error 1
:info:build make[2]: Leaving directory `/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build'
:info:build make[1]: *** [code/nusmv/shell/cmd/CMakeFiles/code_nusmv_shell_cmd.dir/all] Error 2
:info:build make[1]: *** Waiting for unfinished jobs....

[barracuda156]

Ok, this is broken by portfile code in fact, which sets archaic system python to be used, and it fails to run scripts correctly.

[Sergey Fedorov <barracuda@…>]

In 949fb17ff5bddbdc0e60e64e73a3a8ae8268268e/macports-ports (master):

nusmv: fix the build

Closes: #70360