MAC OS X下nuXmv对libxml2版本的要求

nuSMV推出了新版本nuXmv(http://nusmv.fbk.eu)。可以下载编译好的二进制版本。


通过如下命令查看libxml2的版本:

$ brew info libxml2

libxml2: stable 2.9.1 (bottled), HEAD

http://xmlsoft.org


This formula is keg-only.

Mac OS X already provides this software and installing another version in

parallel can cause all kinds of trouble.


/usr/local/Cellar/libxml2/2.9.1 (274 files, 11M)

  Poured from bottle

From: https://github.com/Homebrew/homebrew/blob/master/Library/Formula/libxml2.rb

==> Options

--universal

Build a universal binary

--with-python

Build with python support

--HEAD

install HEAD version



nuXmv在MAC使用时,需要的libxml2是2.9.2,如果低于2.9.2将会出现如下错误:

$ ./nuXmv 

dyld: Library not loaded: /opt/local/lib/libxml2.2.dylib

  Referenced from: /Users/rongqing/Downloads/nuxmv-1.0-darwin-x86_64/./nuXmv

  Reason: Incompatible library version: nuXmv requires version 12.0.0 or later, but libxml2.2.dylib provides version 10.0.0

Trace/BPT trap: 5


解决办法:安装libxml2-2.9.2

1. 下载libxml2-2.9.2(http://xmlsoft.org)

2. configure/make/makeinstall

3. 运行nuXmv:

$ ./nuXmv 

*** This is nuXmv 1.0.0 (compiled on Wed Feb 19 14:10:45 UTC 2014)

*** Copyright (c) 2014, Fondazione Bruno Kessler


*** For more information on nuXmv see https://nuxmv.fbk.eu

*** or email to .

*** Please report bugs at https://nuxmv.fbk.eu/bugs

*** (click on "Login Anonymously" to access)

*** Alternatively write to .


*** This version of nuXmv is linked to NuSMV 2.5.devel.

*** For more information on NuSMV see

*** or email to .

*** Copyright (C) 2010-2014, Fondazione Bruno Kessler


*** This version of nuXmv is linked to the CUDD library version 2.4.1

*** Copyright (c) 1995-2004, Regents of the University of Colorado


*** This version of nuXmv is linked to the MiniSat SAT solver. 

*** See http://minisat.se/MiniSat.html

*** Copyright (c) 2003-2006, Niklas Een, Niklas Sorensson

*** Copyright (c) 2007-2010, Niklas Sorensson


*** This version of nuXmv is linked to MathSAT

*** Copyright (C) 2014 by Fondazione Bruno Kessler

*** Copyright (C) 2014 by University of Trento

*** See http://mathsat.fbk.eu




你可能感兴趣的:(MAC OS X下nuXmv对libxml2版本的要求)