diff options
| author | Miodrag Milanović <mmicko@gmail.com> | 2023-01-02 16:07:36 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-01-02 16:07:36 +0100 |
| commit | 257b41cd1fc3f5ce73fd111e7014150f46af833c (patch) | |
| tree | 33aedbe2ca1f0420b182a7dea8606078044902b4 /manual/CHAPTER_Auxprogs.tex | |
| parent | 3ebc50dee4007f8cca4ffc0e850bc3e86f7641f4 (diff) | |
| parent | f2a4e5f1a077e7980598114adf33951132e60785 (diff) | |
| download | yosys-257b41cd1fc3f5ce73fd111e7014150f46af833c.tar.gz yosys-257b41cd1fc3f5ce73fd111e7014150f46af833c.tar.bz2 yosys-257b41cd1fc3f5ce73fd111e7014150f46af833c.zip | |
Merge pull request #3577 from KrystalDelusion/deprecate_manual
Deprecate manual
Diffstat (limited to 'manual/CHAPTER_Auxprogs.tex')
| -rw-r--r-- | manual/CHAPTER_Auxprogs.tex | 26 |
1 files changed, 0 insertions, 26 deletions
diff --git a/manual/CHAPTER_Auxprogs.tex b/manual/CHAPTER_Auxprogs.tex deleted file mode 100644 index f09b18f76..000000000 --- a/manual/CHAPTER_Auxprogs.tex +++ /dev/null @@ -1,26 +0,0 @@ - -\chapter{Auxiliary Programs} - -Besides the main {\tt yosys} executable, the Yosys distribution contains a set -of additional helper programs. - -\section{yosys-config} - -The {\tt yosys-config} tool (an auto-generated shell-script) can be used to -query compiler options and other information needed for building loadable -modules for Yosys. FIXME: See Sec.~\ref{chapter:prog} for details. - -\section{yosys-filterlib} -\label{sec:filterlib} - -The {\tt yosys-filterlib} tool is a small utility that can be used to strip -or extract information from a Liberty file. See Sec.~\ref{sec:techmap_extern} -for details. - -\section{yosys-abc} - -This is a fork of ABC \citeweblink{ABC} with a small set of custom modifications -that have not yet been accepted upstream. Not all versions of Yosys work with -all versions of ABC. So Yosys comes with its own yosys-abc to avoid -compatibility issues between the two. - |