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 <nuxmv@list.fbk.eu>.

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

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

*** Alternatively write to <nuxmv@list.fbk.eu>.

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

*** For more information on NuSMV see <http://nusmv.fbk.eu>

*** or email to <nusmv-users@list.fbk.eu>.

*** 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