nusmv @2.6.0_1 build failed

[phillipabennett]

:info:build [ 20%] Built target CUDD_CUDD_LIB
:info:build make[1]: 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: *** [all] Error 2
:info:build make: 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 Command failed:  cd "/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/work/build" && /usr/bin/make -j4 -w all VERBOSE=ON 
:info:build Exit code: 2
:error:build Failed to build nusmv: command execution failed
:debug:build Error code: CHILDSTATUS 80069 2
:debug:build Backtrace: command execution failed
:debug:build     while executing
:debug:build "system {*}$notty {*}$callback {*}$nice $fullcmdstring"
:debug:build     invoked from within
:debug:build "command_exec -callback portprogress::target_progress_callback build"
:debug:build     (procedure "portbuild::build_main" line 8)
:debug:build     invoked from within
:debug:build "$procedure $targetname"
:error:build See /opt/local/var/macports/logs/_opt_local_var_macports_sources_rsync.macports.org_macports_release_tarballs_ports_devel_nusmv/nusmv/main.log for details.

[jmroot (Joshua Root)]

: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:20: error: expected expression
:info:build int command_number=;
:info:build                    ^

Given that the error is in cmdHelp.c, the earlier error during configure where it appears to be running python 2 code with python 3 may be relevant:

:info:configure   File "/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/../scripts/create_help.py", line 98
:info:configure     print ''
:info:configure     ^^^^^^^^
:info:configure SyntaxError: Missing parentheses in call to 'print'. Did you mean print(...)?
:info:configure   File "/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/../scripts/create_help.py", line 98
:info:configure     print ''
:info:configure     ^^^^^^^^
:info:configure SyntaxError: Missing parentheses in call to 'print'. Did you mean print(...)?

[phillipabennett]

yes, thank you for that. the port now installs when it uses python27.

[ryandesign (Ryan Carsten Schmidt)]

In 360347a799f7f4859a32c482e8d0e8428894ac9e/macports-ports (master):

nusmv: Ensure python 2 is used for the build

Closes: #66932