Install Surelog on CentOS8

Introduction##

Surelog is a Pre-processor, Parser, and UHDM Compiler that supports SystemVerilog 2017. It can be used as a front end for syntax checking, simulation, synthesis, and formal verification tools.

The installation instructions on the official website are based on Ubuntu, https://github.com/alainmarcel/Surelog/blob/master/INSTALL.md. However, the names of the dependent packages of Centos and Ubuntu are different. The following is a record of my installation process on Centos8. I hope it will be helpful to fans.

One, install the compilation dependency tool##

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. Download and compile Surelog

**Download **

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

Compile

make
make install

Three, test##

Test One

surelog -help

Test two

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

Recommended Posts

Install Surelog on CentOS8
Install Java on Centos 7
Nodejs install on centos7
Install FFmpeg on CentOS 8
Install RabbitMQ on CentOS 7
Install Node.js on Centos
Maven install on centos7
Install MongoDB on CentOS 7
Openjdk install on centos7
Install Jenkins on centos7
install RabbitMQ on centos
Install RabbitMQ on CentOS 7
install Docker on centos6.5
install oracle on centos
Install Elasticsearch 6 on centos7
Install RabbitMQ on CentOS7
Install mysql online on centos
Install ElasticSearch 7.x on CentOS 7
Install MySQL 8.0.16 on Linux Centos
Install docker transfer on Centos7
Install docker on Centos system
install EPEL repo on centos
1.5 Install Centos7
Install Zabbix 3.4 based on CentOS 7
install virtualbox on centos server
Install Nginx server on CentOS 7
How to install jdk1.8 on centOS7
How to install MySQL on CentOS 8
Install JDK8 in rpm on CentOS7
How to install Memcached on CentOS 8
Install MATE or XFCE on CentOS 7
How to install FFmpeg on CentOS 8
How to install Virtualbox on CentOS 8
How to install TensorFlow on CentOS 8
How to install TeamViewer on CentOS 8
How to install Perl 5 on CentOS
How to install Git on CentOS 8
How to install Gradle on CentOS 8
How to install Jenkins on CentOS 8
How to install Java on CentOS 8
How to install Go on CentOS 8
How to install GCC on CentOS 8
How to install Yarn on CentOS 8
How to install Nginx on CentOS 8
How to install Jenkins on CentOS 8
How to install Vagrant on CentOS 8
How to install Python 3.8 on CentOS 8
How to install Tomcat 9 on CentOS 8
How to install Webmin on CentOS 8
How to install Ruby on CentOS 8
How to install Skype on CentOS 8
How to install htop on CentOS 8
​Install Oracle database on CentOS Linux
How to install Python on CentOS 8
How to install Elasticsearch on CentOS 8
How to install Postgresql on CentOS 8
How to install Wordpress on Centos
How to install htop on CentOS 8
How to install TeamViewer on CentOS 8
How to install MariaDB on CentOS 8
Install WordPress with Caddy on CentOS