summaryrefslogtreecommitdiff
path: root/debian/changelog
blob: 194e0957788b5ecf576b161479fecda2a5419ffc (plain)
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
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
yosys (0.9-1) UNRELEASED; urgency=medium

  * New upstream release
    - Refreshed patches
  * debian/copyright:
    - Get copyright info up-to-date
  * debian/control:
    - New standards version 4.4.0 - no changes
    - DH level 12
    - Use debhelper-compat instead of debian/compat file

 -- Ruben Undheim <ruben.undheim@gmail.com>  Fri, 18 Oct 2019 20:00:57 +0000

yosys (0.8+20190328git32bd0f2-1~exp1) experimental; urgency=low

  * New upstream GIT HEAD
  * debian/control:
    - New standards version 4.3.0 - no changes
  * debian/copyright:
    - Added new copyright holders
  * debian/patches: Refreshed patches
  * debian/yosys.install: Install more files

 -- Ruben Undheim <ruben.undheim@gmail.com>  Sun, 31 Mar 2019 00:01:48 +0100

yosys (0.8-1) unstable; urgency=medium

  * New upstream release
  * debian/control:
    - New standards version 4.2.1 - no changes
  * debian/copyright:
    - New copyright years
    - Some new copyright holders for certain files
  * debian/patches: Fix patches after importing new version
  * d/patches/0013-Let-dpkg-buildpackage-handle-stripping-of-binaries.patch:
    - Fix issue with empty -dbgsym package
  * debian/rules:
    - Enable hardening
    - Remove redundant '--parallel'
    - Override dh_auto_install and remove executable permission on some files
    - Delete one more file in override_dh_auto_clean
  * debian/yosys.1: Updated man page for new version
  * debian/yosys.install: Install new files
  * debian/yosys.lintian-overrides:
    - Waive a 'spelling error' which is in fact not an error.

 -- Ruben Undheim <ruben.undheim@gmail.com>  Wed, 17 Oct 2018 18:36:13 +0200

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