五月婷婷丁香性爱|j久久一级免费片|久久美女福利视频|中文观看在线观看|加勒比四区三区二|亚洲裸女视频网站|超碰97AV在线69网站免费观看|有码在线免费视频|久久青青日本视频|亚洲国产AAAA

簡介

buddy是一個(gè)二進(jìn)制決策圖開發(fā)庫，它包括許多功能，比如：許多高效的矢量化BDD操作，動(dòng)態(tài)變量重新排序，自動(dòng)垃圾收集，具有自動(dòng)引用計(jì)數(shù)的C++接口等等。

編譯和測試方式

1.配置編譯環(huán)境

安裝wget工具。

yum install wget -y

2.獲取源碼

獲取“buddy-2.4”源碼包。

cd /usr/local/src

wget https://downloads.sourceforge.net/project/buddy/buddy/BuDDy%202.4/buddy-2.4.tar.gz

3.編譯和安裝

1)解壓軟件包。

tar -zxvf buddy-2.4.tar.gz

2)進(jìn)入buddy的安裝目錄。

cd buddy-2.4/

3)修改配置文件

vi tools/config.sub

查找“x86”內(nèi)容的位置，在其位置后面增加“aarch64”類型。

在“case $basic_machine in”區(qū)域的兩個(gè)位置修改。

a)修改下述內(nèi)容。

| x86 | xscale | xstormy16 | xtensa \

修改后為：

| x86| aarch64 |xscale | xstormy16 | xtensa \

b)修改下述內(nèi)容。

| x86-* | x86_64-* | xps100-* | xscale-* | xstormy16-* \

修改后為：

| x86-* | aarch64-* |x86_64-* | xps100-* | xscale-* | xstormy16-* \

4)配置生成Makefile文件。

./configure --host=aarch64 --build=aarch64

5)編譯和安裝buddy。

make && make install

----結(jié)束

4.運(yùn)行和驗(yàn)證

1)編譯安裝tcsh。

yum install tcsh -y

2)進(jìn)入測試目錄。

這里選擇進(jìn)入money的測試目錄。

cd /usr/local/src/buddy-2.4/examples/money

3)生成測試程序。

g++ money.cxx -o money -lbdd

4)運(yùn)行測試程序。

./money

系統(tǒng)回顯如下，表示運(yùn)行正常。

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>

----結(jié)束