buddy是什么
.jpg)
.jpg)
.jpg)
.jpg)
简介
buddy是一个二进制决策图开发库，它包括许多功能，比如：许多高效的矢量化BDD操作，动态变量重新排序，自动垃圾收集，具有自动引用计数的C++接口等等。
编译和测试方式
1.配置编译环境
安装wget工具。
yum install wget -y2.获取源码
获取“buddy-2.4”源码包。
cd /usr/local/srcwget https://downloads.sourceforge.net/project/buddy/buddy/BuDDy%202.4/buddy-2.4.tar.gz
3.编译和安装
1)解压软件包。
tar -zxvf buddy-2.4.tar.gz2)进入buddy的安装目录。
cd buddy-2.4/3)修改配置文件
vi tools/config.sub查找“x86”内容的位置，在其位置后面增加“aarch64”类型。
在“case $basic_machine in”区域的两个位置修改。
a)修改下述内容。
| x86 | xscale | xstormy16 | xtensa \
修改后为：
| x86| aarch64 |xscale | xstormy16 | xtensa \
b)修改下述内容。
| x86-* | x86_64-* | xps100-* | xscale-* | xstormy16-* \
修改后为：
| x86-* | aarch64-* |x86_64-* | xps100-* | xscale-* | xstormy16-* \
4)配置生成Makefile文件。
./configure --host=aarch64 --build=aarch645)编译和安装buddy。
make && make install
----结束
4.运行和验证
1)编译安装tcsh。
yum install tcsh -y2)进入测试目录。
这里选择进入money的测试目录。
cd /usr/local/src/buddy-2.4/examples/money3)生成测试程序。
g++ money.cxx -o money -lbdd4)运行测试程序。
./money系统回显如下，表示运行正常。
Garbage collection #1: 10007 nodes / 5417 free / 0.0s / 0.0s total
Garbage collection #2: 10007 nodes / 823 free / 0.0s / 0.0s total
<0:9, 1:5, 2:6, 3:7, 4:1, 5:0, 6:8, 7:2, 8:1, 9:1, 10:0>
----结束
