1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
|
yosys (0.7-8) unstable; urgency=medium
* d/patches/0012-Skip-non-deterministic-test-causing-random-FTBFS-on-.patch:
- Disable test which fails some times when being built (Closes: #907211)
-- Ruben Undheim <ruben.undheim@gmail.com> Tue, 04 Sep 2018 20:00:14 +0200
yosys (0.7-7) unstable; urgency=medium
* debian/patches/0011-Do-not-show-g-build-flags-in-Version-string.patch:
- Do not quote CXXFLAGS_FOR_YOSYS_CONFIG (fixes build on all)
-- Ruben Undheim <ruben.undheim@gmail.com> Wed, 22 Aug 2018 07:23:08 +0200
yosys (0.7-6) unstable; urgency=medium
* debian/compat: level 11
* debian/control:
- debhelper >= 11
- Standards version 4.2.0 - no changes
* debian/upstream/metadata: Added upstream metadata
* d/patches/0011-Do-not-show-g-build-flags-in-Version-string.patch:
- some build flags for the g++ version being used were "injected" into
the source files for yosys. Remove them
-- Ruben Undheim <ruben.undheim@gmail.com> Tue, 21 Aug 2018 21:37:46 +0200
yosys (0.7-5) unstable; urgency=medium
* debian/patches/0010-Fix-adding-of-sys.path-in-yosys-smtbmc.patch
- Fix "ModuleNotFoundError: No module named 'smtio'" (Closes: #904752)
* debian/tests/smtbc:
- Added CI test to check that 'yosys-smtbmc' can be started with no
import errors
-- Ruben Undheim <ruben.undheim@gmail.com> Fri, 27 Jul 2018 20:57:41 +0200
yosys (0.7-4) unstable; urgency=medium
* d/patches/0010-Fix-reproducibility-of-PDF-documents-in-yosys-doc.patch
- Another attempt of getting full reproducibility of PDF documents
in yosys-doc
-- Ruben Undheim <ruben.undheim@gmail.com> Sat, 14 Jul 2018 23:47:09 +0200
yosys (0.7-3) unstable; urgency=low
* debian/copyright:
- Use https protocol in Format field
* debian/control:
- Added dh-python as build-dependency (Closes: #896802)
- Changed VCS URLs to Salsa
- Mark 'yosys-doc' Multi-Arch: foreign
- Remove 'Testsuite: autopkgtest' since it is now handled automatically
- Updated Standards Version to 4.1.5 - requires reproducibility
* debian/patches:
- 0007-Disable-pretty-build.patch: New patch to disable pretty build
(Closes: #847110)
- 0008-Set-fixed-date-when-calling-pdflatex-for-presentatio.patch
Improve reproducibility
- 0009-Some-spelling-errors-fixed.patch: Fixed some spelling errors
detected by lintian
* debian/rules:
- Pass down changelog date to pdflatex
- Upstream source has moved to https://github.com/YosysHQ/yosys
- Use /usr/share/dpkg/pkg-info.mk instead of separate calls to
dpkg-parsechangelog
* debian/watch:
- Fix watch URL - now github.com/YosysHQ/yosys/releases
-- Ruben Undheim <ruben.undheim@gmail.com> Thu, 12 Jul 2018 17:27:53 +0200
yosys (0.7-2) unstable; urgency=medium
* debian/control:
- Moved berkeley-abc from Build-Depends-Indep to Build-Depends in order
to fix dependency problem during test.
-- Ruben Undheim <ruben.undheim@gmail.com> Sun, 06 Nov 2016 14:40:47 +0000
yosys (0.7-1) unstable; urgency=medium
* New upstream release
* Refreshed patches. Some patches applied upstream and deleted.
* Updated man page for yosys
* Simplified debian/*.install files
* debian/patches/03_notruntests.patch deleted
- Tests can now be run during build since an updated version
of iverilog is in the archive
* debian/control:
- Depend on a newer version of berkeley-abc
- Build-depend on iverilog >= 10.1
-- Ruben Undheim <ruben.undheim@gmail.com> Sun, 06 Nov 2016 11:28:06 +0100
yosys (0.6-7) unstable; urgency=medium
[ Ruben Undheim ]
* Use gbp-pq for patches.
* debian/control:
- Removed dependency on GCC 5 which was added in 0.6-6. (Closes: #835953)
It causes problems now since GCC 6 is default.
[Sebastian Kuzminsky]
* debian/patches/switch-to-free-font.patch: Switch manual tt font
from libertine to inconsolata. The yosys manual doesn't render with
libertine on sid, but it renders nicely with inconsolata. (Closes: #835678)
-- Ruben Undheim <ruben.undheim@gmail.com> Thu, 22 Sep 2016 19:30:37 +0200
yosys (0.6-6) unstable; urgency=medium
* Added versioned build-dependency on gcc-5 (>= 5.3.1-15) since it
now fails to build with older versions due to the fix for #822408.
(Closes: #823809)
* Updated Standards to 3.9.8 - no changes
-- Ruben Undheim <ruben.undheim@gmail.com> Wed, 11 May 2016 22:20:00 +0200
yosys (0.6-5) unstable; urgency=medium
[ Sebastian Kuzminsky ]
* debian/patches/fixup-initalization.patch:
- Add a bugfix patch from upstream's development branch.
[ Ruben Undheim ]
* debian/patches/fix_ftbfs_cannot_find_infinite.patch:
- Fixes FTBFS due to std::isfinite not found. (Closes: #822408)
* Move PDFs in yosys-doc to /usr/share/doc/yosys in order to adhere to
Debian Policy 12.3.
* Refreshed patches
-- Ruben Undheim <ruben.undheim@gmail.com> Tue, 03 May 2016 21:56:53 +0200
yosys (0.6-4) unstable; urgency=medium
* debian/rules:
- Override dh_auto_build-arch instead of dh_auto_build to resolve
build issue for "all" package.
-- Ruben Undheim <ruben.undheim@gmail.com> Sat, 09 Apr 2016 16:38:20 +0200
yosys (0.6-3) unstable; urgency=medium
[ Sebastian Kuzminsky ]
* debian/patches/kfreebsd-support.patch:
- Fix a build problem on kFreeBSD. Use __unix__ instead of __linux__
[ Ruben Undheim ]
* debian/control:
- Define Build-Depends-Indep dependencies
* debian/rules:
- Override dh_auto_build-indep instead for building documentation.
-- Ruben Undheim <ruben.undheim@gmail.com> Sat, 09 Apr 2016 14:29:32 +0200
yosys (0.6-2) unstable; urgency=medium
* split the package into yosys, yosys-dev, and yosys-doc
- yosys is the tool itself
- yosys-dev is development files for building plugins
- yosys-doc is the manual (in pdf format)
* debian/rules:
- fail the build if upstream installs files that aren't picked up
by any of the debs
-- Sebastian Kuzminsky <seb@highlab.com> Wed, 23 Mar 2016 18:46:51 -0600
yosys (0.6-1) unstable; urgency=medium
* Uploaded to unstable.
* New upstream release: 0.6 (5869d26)
- 01_gitrevision.patch: refresh
- spelling-fixes.patch: fix upstream spelling mistakes
* debian/rules:
- don't run make as part of dh_auto_configure, it'll get run by
dh_auto_build later
- enable parallel build
- handle the new python dependencies of yosys-smtbmc
* debian/control:
- add Sebastian Kuzminsky to Uploaders
* add a manpage for the new yosys-smtbmc executable
-- Sebastian Kuzminsky <seb@highlab.com> Sun, 28 Feb 2016 10:48:44 -0700
yosys (0.5.0+20151013gitf13e387-2~exp1) experimental; urgency=low
* Added autopkg test for synthesis for iCE FPGA.
* Updated standards to 3.9.7 - no needed changes
-- Ruben Undheim <ruben.undheim@gmail.com> Sun, 21 Feb 2016 12:21:37 +0100
yosys (0.5.0+20151013gitf13e387-1) unstable; urgency=low
* Uploaded to unstable
- New features in yosys are needed for the Icestorm tool chain
* New upstream version
- Drop patches 04_installpath.patch and 06_cflags_ldflags.patch
- Set PREFIX in d/rules
* debian/control: Fixed Vcs-Git to use https
-- Ruben Undheim <ruben.undheim@gmail.com> Sun, 07 Feb 2016 11:59:04 +0100
yosys (0.5.0+20151007gitba4cce9-1) experimental; urgency=low
* New upstream version
- Refreshed patches
* debian/control: Added "python3" as build-dependency
-- Ruben Undheim <ruben.undheim@gmail.com> Sat, 10 Oct 2015 09:21:17 +0200
yosys (0.5.0-1) unstable; urgency=low
* New upstream release
* Added d/watch
* Updated copyright years in d/copyright
* Changed dependency from tcl8.5-dev to tcl-dev
* Added d/gbp.conf
* Added link from /usr/bin/yosys-abc to /usr/bin/berkeley-abc
- Also added man page for yosys-abc
* Fixed paths returned by yosys-config
- fix included in 04_installpath.patch
-- Ruben Undheim <ruben.undheim@gmail.com> Mon, 09 Feb 2015 20:37:38 +0100
yosys (0.4.0-1) unstable; urgency=medium
* New upstream release
* Few fixes in d/copyright
* Removed some strictly not needed dependencies
-- Ruben Undheim <ruben.undheim@gmail.com> Wed, 12 Nov 2014 18:35:59 +0100
yosys (0.3.0+20140906git652345c-1) unstable; urgency=low
* Initial release (Closes: #761365)
-- Ruben Undheim <ruben.undheim@gmail.com> Thu, 16 Oct 2014 22:02:03 +0200
|
