CentOS8にSurelogをインストールする

前書き##

Surelogは、SystemVerilog 2017をサポートするプリプロセッサ、パーサー、およびUHDMコンパイラです。構文チェック、シミュレーション、合成、および正式な検証ツールのフロントエンドとして使用できます。

公式サイトのインストール手順はUbuntu [https://github.com/alainmarcel/Surelog/blob/master/INSTALL.md](https://github.com/alainmarcel/Surelog/blob/master/INSTALL.md)に基づいていますが、CentosとUbuntuの依存関係の名前が異なります。以下はCentos8へのインストールプロセスの記録です。ファンの皆様のお役に立てば幸いです。

1つは、コンパイル依存関係ツールをインストールする##

cmake

wget https://github.com/Kitware/CMake/releases/download/v3.18.0/cmake-3.18.0.tar.gz
tar -zxvf cmake-3.18.0.tar.gz
cd cmake-3.18.0./bootstrap
make 
make install

Ref:
https://cmake.org/download/#latesthttps://linux4one.com/how-to-install-cmake-on-centos-8

pkgconf-pkg-config

yum install pkgconf-pkg-config

swig

yum install swig

uuid-devel

yum install libuuid-devel

gperftools-devel

dnf install https://extras.getpagespeed.com/release-el8-latest.rpm
dnf install gperftools-devel

jdk

yum install java-11-openjdk-devel

Ref:
https://www.oracle.com/java/technologies/javase-jre8-downloads.htmlhttps://phoenixnap.com/kb/how-to-install-java-centos-8

tcl

yum install tcl

python3

yum install python3
yum install python3-devel

2.Surelogをダウンロードしてコンパイルします##

ダウンロード

git clone https://github.com/alainmarcel/Surelog
cd Surelog
git submodule update --init --recursive

コンパイル

make
make install

3、テスト##

**テスト1 **

surelog -help

**テスト2 **

cd build
surelog -writepp -parse ../tests/UnitElabBlock/top.v

Recommended Posts

CentOS8にSurelogをインストールする
Centos7にJavaをインストールする
Nodejsはcentos7にインストールされます
CentOS8にFFmpegをインストールします
CentOS7にRabbitMQをインストールします
CentosにNode.jsをインストールします
Mavenはcentos7にインストールします
CentOS7にMongoDBをインストールします
centos7へのOpenjdkのインストール
Jenkinsをcentos7にインストールします
セントスにRabbitMQをインストールする
CentOS7にRabbitMQをインストールします
centos6.5にDockerをインストールします
セントスにオラクルをインストールする
Centos7にElasticsearch6をインストールします
CentOS7にRabbitMQをインストールします
mysqlをcentosにオンラインでインストールする
CentOS7にElasticSearch7.xをインストールします
LinuxCentosにMySQL8.0.16をインストールします
Centos7にdockertransferをインストールします
Centosシステムにdockerをインストールします
セントスにEPELリポジトリをインストールする
1.5Centos7をインストールする
CentOS7に基づくZabbix3.4をインストールします
centosサーバーにvirtualboxをインストールする
CentOS7にNginxサーバーをインストールします
centOS7にjdk1.8をインストールする方法
CentOS8にMySQLをインストールする方法
CentOS7にrpmでJDK8をインストールします
CentOS8にMemcachedをインストールする方法
CentOS7にMATEまたはXFCEをインストールします
CentOS8にFFmpegをインストールする方法
CentOS8にVirtualboxをインストールする方法
CentOS8にTensorFlowをインストールする方法
CentOS8にTeamViewerをインストールする方法
CentOSにPerl5をインストールする方法
CentOS8にGitをインストールする方法
CentOS8にGradleをインストールする方法
CentOS8にJenkinsをインストールする方法
CentOS8にJavaをインストールする方法
CentOS8にGoをインストールする方法
CentOS8にGCCをインストールする方法
CentOS8にYarnをインストールする方法
CentOS8にNginxをインストールする方法
CentOS8にJenkinsをインストールする方法
CentOS8にVagrantをインストールする方法
CentOS8にPython3.8をインストールする方法
CentOS8にTomcat9をインストールする方法
CentOS8にWebminをインストールする方法
CentOS8にRubyをインストールする方法
CentOS8にSkypeをインストールする方法
CentOS8にhtopをインストールする方法
CentOSLinuxにOracleデータベースをインストールします
CentOS8にPythonをインストールする方法
CentOS8にElasticsearchをインストールする方法
CentOS8にPostgresqlをインストールする方法
CentosにWordpressをインストールする方法
CentOS8にhtopをインストールする方法
CentOS8にTeamViewerをインストールする方法
CentOS8にMariaDBをインストールする方法
CentOSにCaddyを使用してWordPressをインストールする