diff options
| author | Sebastian Kuzminsky <seb@highlab.com> | 2016-03-23 16:05:53 -0600 |
|---|---|---|
| committer | Sebastian Kuzminsky <seb@highlab.com> | 2016-04-04 11:50:48 -0600 |
| commit | 9081b179c6ac313aa2d63e891ae4d5ddb3a00412 (patch) | |
| tree | 52388d4604849f2f614b2f713c33a43cc5e36fe5 /debian/patches/series | |
| parent | 803d912fc7c3823a42758ceb4401d916f7b1896a (diff) | |
include ast.h in yosys-dev
It's needed needed to build the 'vhdl' plugin in yosys-plugins.
Diffstat (limited to 'debian/patches/series')
| -rw-r--r-- | debian/patches/series | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/debian/patches/series b/debian/patches/series index 9650677b..a73b8046 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -5,3 +5,4 @@ spelling-fixes.patch switch-to-free-font.patch manual-build.patch +add-missing-headers.patch |