summaryrefslogtreecommitdiff
path: root/debian
Commit message (Collapse)AuthorAge
...
* Changelog entryRuben Undheim2016-05-14
|
* Exported patches from gdp-pqRuben Undheim2016-05-14
|
* Reordered fields in patchesRuben Undheim2016-05-14
|
* Description -> SubjectRuben Undheim2016-05-14
| | | | | Author -> From (to make it compatible with "gbp pq")
* Added versioned build-dependency on gcc-5Ruben Undheim2016-05-11
| | | | Set Standards to 3.9.8
* UNRELEASED->unstableRuben Undheim2016-05-03
|
* Refreshed patchesRuben Undheim2016-05-03
|
* Fix FTBFSRuben Undheim2016-05-03
| | | | Move PDFs to /usr/share/doc/yosys
* dch: update changelog with new patchSebastian Kuzminsky2016-04-22
|
* add an initialization bugfix from Clifford Wolf (upstream)Sebastian Kuzminsky2016-04-22
|
* Yet another adjustment of build for indepRuben Undheim2016-04-09
|
* Override dh_auto_build-arch instead of dh_auto_build to resolve build issue ↵Ruben Undheim2016-04-09
| | | | for "all" package.
* dh_auto_build-indep doesn't existRuben Undheim2016-04-09
|
* Define Build-Depends-IndepRuben Undheim2016-04-09
|
* Override dh_auto_build-indepRuben Undheim2016-04-09
|
* dch: note kFreeBSD fixSebastian Kuzminsky2016-04-07
|
* add a patch to support kfreebsdSebastian Kuzminsky2016-04-07
|
* dch: update changelogSebastian Kuzminsky2016-04-04
|
* include ast.h in yosys-devSebastian Kuzminsky2016-04-04
| | | | It's needed needed to build the 'vhdl' plugin in yosys-plugins.
* fail the deb build if any files didn't get installedSebastian Kuzminsky2016-04-04
|
* yosys-dev: add .install and .manpages, move yosys-config from yosys to yosys-devSebastian Kuzminsky2016-04-04
|
* add yosys-devSebastian Kuzminsky2016-04-04
| | | | | This includes the yosys-config program and the headers needed to build plugins.
* yosys: add .install fileSebastian Kuzminsky2016-04-04
|
* add yosys-docSebastian Kuzminsky2016-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 Kuzminsky2016-03-28
| | | | | | Add build-dependencies needed to build the documentation. Call the upstream build system to build the documentation.
* build the manual using headers from the source tree, not installedSebastian Kuzminsky2016-03-28
|
* switch to a free font for the manualSebastian Kuzminsky2016-03-28
| | | | | This switches the manual's font from luximono (which is non-free, and not available in Debian) to libertine.
* comment the yosys-abc link so I don't remove it againSebastian Kuzminsky2016-03-28
|
* look for berkeley-abc in the PATHSebastian Kuzminsky2016-03-23
| | | | | | | | | | | | | | Before this change to the patch, yosys would determine the directory that the yosys program lived in and would look for abc there. After this change, it just looks in the PATH. This change is generally an improvement because it simplifies the code, but it's also required to build the documentation. When we're building the package, abc is in /usr/bin/ (provided by the build-dependency on berkeley-abc). Before this change to the patch, the abc.cc code used look for abc in the same directory as the test program lived in, and thus would fail to find it.
* dch: new UNRELEASED versionSebastian Kuzminsky2016-03-23
|
* dch: switch from UNRELEASED to unstableSebastian Kuzminsky2016-03-03
|
* d/control: add Seb to the uploadersSebastian Kuzminsky2016-03-03
|
* handle yosys-smtbmc's dependency on pythonSebastian Kuzminsky2016-03-03
|
* add a manpage for yosys-smtbmcSebastian Kuzminsky2016-03-03
| | | | | Also add infrastructure for building manpages with txt2man, lifted from fpga-icestorm.
* enable parallel compilationSebastian Kuzminsky2016-03-03
| | | | | | For example by this command: sudo DEB_BUILD_OPTIONS="parallel=$(nproc)" pbuilder build --basetgz ../pbuilder-jessie-amd64.tgz --buildresult . yosys*.dsc
* don't run "make" as part of override_dh_auto_configureSebastian Kuzminsky2016-03-03
| | | | "make" gets run automatically by dh_auto_build later.
* fix upstream spelling mistakesSebastian Kuzminsky2016-03-03
|
* refresh gitrevision patchSebastian Kuzminsky2016-03-03
|
* update changelog for 0.6-1Sebastian Kuzminsky2016-03-03
|
* Added autopkgtestRuben Undheim2016-02-21
|
* Prepared changelogRuben Undheim2016-02-07
|
* Set PREFIX for all build stepsRuben Undheim2015-10-14
|
* Set GIT_REV to new versionRuben Undheim2015-10-14
|
* More comments in d/changelogRuben Undheim2015-10-14
|
* Set PREFIX in d/rulesRuben Undheim2015-10-14
|
* Some patches fixed upstream. RemovedRuben Undheim2015-10-14
|
* New changelog entryRuben Undheim2015-10-14
|
* Build-dependency on python 2 not needed anymoreRuben Undheim2015-10-10
|
* Added python3 as build-dependency as wellRuben Undheim2015-10-10
|
* Updated timestampRuben Undheim2015-10-10
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-23 08:17:56 +0000