[MacPorts] #66932: nusmv install failed

MacPorts noreply at macports.org
Wed Feb 15 18:02:43 UTC 2023


#66932: nusmv install failed
-----------------------------+--------------------
 Reporter:  phillipabennett  |      Owner:  (none)
     Type:  defect           |     Status:  new
 Priority:  Normal           |  Milestone:
Component:  ports            |    Version:
 Keywords:                   |       Port:  nusmv
-----------------------------+--------------------
 :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.

-- 
Ticket URL: <https://trac.macports.org/ticket/66932>
MacPorts <https://www.macports.org/>
Ports system for macOS


More information about the macports-tickets mailing list