yosys (0.9-1) unstable; urgency=medium * Upload to sid * 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 - Change build-dependency from texlive-generic-recommended to texlive-plain-generic (Closes: #941555) (Thanks Steve Langasek) * debian/rules: - Don't override dh_install with --fail-missing anymore -- Ruben Undheim Fri, 18 Oct 2019 23:27:34 +0200 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 Wed, 12 Nov 2014 18:35:59 +0100 yosys (0.3.0+20140906git652345c-1) unstable; urgency=low * Initial release (Closes: #761365) -- Ruben Undheim Thu, 16 Oct 2014 22:02:03 +0200