Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Add patch for embedded build flags. Bump debhelper and std version | Ruben Undheim | 2018-08-19 |
| | |||
* | Some updates to the packaging: | Ruben Undheim | 2018-07-11 |
| | | | | | | | | | | | | | | | * 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 reproducability * debian/patches/0007-Disable-pretty-build.patch: - New patch to disable pretty build (Closes: #847110) * debian/rules: - Upstream source has moved to https://github.com/YosysHQ/yosys | ||
* | berkeley-abc is a build dependency for 'any' as well. | Ruben Undheim | 2016-11-06 |
| | |||
* | Run tests during build | Ruben Undheim | 2016-11-06 |
| | | | | Build-depend and depend on a newer version of berkeley-abc | ||
* | Fix #835953 (dependency on GCC 5) | Ruben Undheim | 2016-09-22 |
| | |||
* | Added versioned build-dependency on gcc-5 | Ruben Undheim | 2016-05-11 |
| | | | | Set Standards to 3.9.8 | ||
* | Define Build-Depends-Indep | Ruben Undheim | 2016-04-09 |
| | |||
* | add yosys-dev | Sebastian Kuzminsky | 2016-04-04 |
| | | | | | This includes the yosys-config program and the headers needed to build plugins. | ||
* | add yosys-doc | Sebastian Kuzminsky | 2016-04-04 |
| | | | | | Include the "manual" and "presentation" pdfs in yosys-doc.deb. Don't compress the pdf docs. | ||
* | teach debian to build the docs (manual and presentation) | Sebastian Kuzminsky | 2016-03-28 |
| | | | | | | Add build-dependencies needed to build the documentation. Call the upstream build system to build the documentation. | ||
* | d/control: add Seb to the uploaders | Sebastian Kuzminsky | 2016-03-03 |
| | |||
* | handle yosys-smtbmc's dependency on python | Sebastian Kuzminsky | 2016-03-03 |
| | |||
* | add a manpage for yosys-smtbmc | Sebastian Kuzminsky | 2016-03-03 |
| | | | | | Also add infrastructure for building manpages with txt2man, lifted from fpga-icestorm. | ||
* | Added autopkgtest | Ruben Undheim | 2016-02-21 |
| | |||
* | Prepared changelog | Ruben Undheim | 2016-02-07 |
| | |||
* | Build-dependency on python 2 not needed anymore | Ruben Undheim | 2015-10-10 |
| | |||
* | Added python3 as build-dependency as well | Ruben Undheim | 2015-10-10 |
| | |||
* | Python is now a build dependency | Ruben Undheim | 2015-07-24 |
| | |||
* | Changed to dependency tcl-dev | Ruben Undheim | 2015-02-09 |
| | |||
* | Fixed dependencies | Ruben Undheim | 2014-11-12 |
| | | | | | | Removed redundant dependency (graphviz - already dependency of xdot) Removed iverilog dependency (only a dependency for running the test suite which is not run when building for debian) Set version for berkeley-abc | ||
* | Added pkg-config as build dependency | Ruben Undheim | 2014-11-08 |
| | |||
* | Removed git-dependency | Ruben Undheim | 2014-11-01 |
| | |||
* | After running "cme fix dpkg-control" | Ruben Undheim | 2014-10-16 |
| | |||
* | Fixed Vcs-Git | Ruben Undheim | 2014-09-19 |
| | |||
* | Updated vcs | Ruben Undheim | 2014-09-19 |
| | |||
* | Updated d/control with things according to policy | Ruben Undheim | 2014-09-17 |
| | | | | | Changed Maintainer to Debian Science Maintainers Added me to Uploaders | ||
* | Not starting description with package name | Ruben Undheim | 2014-09-14 |
| | |||
* | Fixed description | Ruben Undheim | 2014-09-14 |
| | |||
* | Depends on berkeley-abc | Ruben Undheim | 2014-09-14 |
| | |||
* | Extended the description in d/control | Ruben Undheim | 2014-09-10 |
| | |||
* | Updated copyright file | Ruben Undheim | 2014-09-06 |
| | |||
* | Fixed a few lintians | Ruben Undheim | 2014-09-05 |
| | |||
* | Updated dependency name | Ruben Undheim | 2014-09-05 |
| | |||
* | Added Recommends: yosys-abc | Ruben Undheim | 2014-04-13 |
| | | | | Removed dependency of mercurial | ||
* | Now it builds under pbuilder chroot environment | Ruben Undheim | 2014-04-12 |
| | |||
* | Added debian folder to the ubuntu branch of yosis | Ruben Undheim | 2014-04-12 |