Commit graph

49 commits

Author SHA1 Message Date
Austin Seipp 56d7883363
yosys: 0.9+3675 -> 0.9+3715
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-12-02 07:18:08 -06:00
Austin Seipp e80eeae690
yosys: 2020.10.20 -> 0.9+3675 (new version scheme)
Yosys now has their own official scheme for tagging unstable builds;
an automation robot appears from the darkness once every few hours,
bumps the version number, and disappears as silently as they came.

While Nix packages use a date-based version format for unstable
packages, many (most!) users of Yosys use an unstable version.  And so
synchronizing the version of the Nix package with the repository version
is significantly less confusing to users. This also adds a safeguard to
ensure others don't forget to bump the version number correctly in the
future.

The testsuite also saw an overhaul (now parallel to help build time), so
some tweaks were needed to get it working again.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-11-12 15:23:03 -06:00
Austin Seipp a7e87bdd58
yosys: 2020.08.22 -> 2020.10.20
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-10-20 09:52:41 -05:00
Austin Seipp 4c5dd4c73b
yosys: 2020.07.07 -> 2020.08.22
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-08-23 11:01:20 -05:00
Austin Seipp 63e55fae00
yosys: 2020.06.19 -> 2020.07.07
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-07-09 09:12:41 -05:00
Austin Seipp 2c91b4358a
yosys: 2020.06.16 -> 2020.06.19
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-06-20 11:34:10 -05:00
Austin Seipp c2e1f9bc07
yosys: 2020.06.11 -> 2020.06.16
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-06-16 11:38:07 -05:00
Austin Seipp 13e52db31e
yosys: 2020.03.24 -> 2020.06.11
Also includes a bump to `abc-verifier`.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-06-11 23:14:07 -05:00
Austin Seipp d35d9a9db2
yosys: 2020.03.16 -> 2020.03.24
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-03-25 06:46:01 -05:00
Austin Seipp 9b43cf3a00
yosys: 2020.02.25 -> 2020.03.16
- Bump `abc-verifier` (2020.03.05)
  - Install `yosys-abc` symlink for tool compatbility
  - Various `yosys` expression cleanups

Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-03-17 17:19:37 -05:00
Austin Seipp d1293a70c7
yosys: 2020.02.07 -> 2020.02.25
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-02-26 18:32:16 -06:00
Emily 397c4cdd75 yosys: 2020.02.01 -> 2020.02.07 2020-02-08 23:00:07 -06:00
Florian Klink b437fa4c52 yosys: check abc-verifier rev to ensure compatibility 2020-02-01 12:49:45 +01:00
Florian Klink 214cac8b26 yosys: 2019.10.18 -> 2020.02.01 2020-02-01 12:49:45 +01:00
Florian Klink 48085826fa yosys: use external abc 2020-02-01 12:49:45 +01:00
Florian Klink e0b28fb806 yosys: don't use srcs array, but single src 2020-02-01 12:40:37 +01:00
Florian Klink 3086338f9d yosys: user placeholder 2020-02-01 12:40:37 +01:00
Emily 0d026cf62f yosys: 2019.09.27 -> 2019.10.18 2019-10-19 12:26:49 -05:00
Emily 26d26f77a6 yosys: enable tests 2019-09-28 16:55:21 -05:00
Emily b819ce615d yosys: 2019.09.01 -> 2019.09.27 2019-09-28 16:55:21 -05:00
Emily 89ff2c7b9d yosys: 2019.08.22 -> 2019.09.01 2019-09-01 14:22:49 -05:00
Emily 771b93817d yosys: update Makefile patches 2019-08-23 02:14:40 -05:00
Emily cec8795379 yosys: 2019.08.13 -> 2019.08.22 2019-08-23 02:14:40 -05:00
Emily 830801805d yosys: 2019.04.23 -> 2019.08.13 2019-08-14 00:14:22 -07:00
Austin Seipp 1f86adbdbf
yosys: 2019.04.22 -> 2019.04.23
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2019-04-23 09:34:42 -05:00
Austin Seipp 77be634daa
yosys: 2019.04.08 -> 2019.04.22
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2019-04-22 14:27:44 -05:00
Ben Wolsieffer 44d499644b yosys: 2019.02.22 -> 2019.04.08 2019-04-14 23:48:14 -05:00
Austin Seipp 0267483ac3
yosys: 2019.01.08 -> 2019.02.22
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2019-02-23 12:08:48 -06:00
Austin Seipp c60adabfbc yosys: 2018.10.17 -> 2019.01.08
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2019-01-08 19:15:24 -06:00
Ben Gamari 95e3b53b06 yosys: 2018.09.30 -> 2018.10.17 2018-10-17 00:15:47 -04:00
Austin Seipp d7393024d1 yosys: 2018.08.08 -> 2018.09.30
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2018-10-01 22:32:54 -05:00
Austin Seipp 0f25234437 yosys: 2018.05.03 -> 2018.08.08, enable protobuf backend
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2018-08-08 19:49:41 -05:00
Austin Seipp f17f686684 yosys: 2018.03.21 -> 2018.05.03
ABC has now moved to GitHub, so we can eliminate the usage of
fetchFromBitbucket now, too.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
2018-05-03 20:05:43 -05:00
Vincent Laporte f13cb56360
yosys: fix build with clang 2018-04-16 11:47:49 +00:00
Austin Seipp 7a00f136e9 yosys: 2018.03.07 -> 2018.03.21
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2018-03-21 16:05:10 -05:00
Austin Seipp 679dfdb40d yosys: 2018.02.14 -> 2018.03.07
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2018-03-08 21:23:20 -06:00
Austin Seipp c2973f986d yosys: 2018.02.04 -> 2018.02.14
Also fixes 'yosys -V' output to give the correct Git SHA1 revision.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
2018-02-14 00:31:13 -06:00
Austin Seipp 12037a9e79 yosys: 2018.01.10 -> 2018.02.04
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2018-02-04 11:59:19 -06:00
Austin Seipp 155a2f270f yosys: 2017.12.06 -> 2018.01.10
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2018-01-10 14:00:58 -06:00
Austin Seipp f284f04a74 nixpkgs: yosys 2017.11.05 -> 2017.12.06
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-12-06 22:04:49 -06:00
Austin Seipp 9cb5201d33 yosys/symbiyosys: 2017.10.16 -> 2017.11.05
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-11-05 12:49:38 -06:00
Austin Seipp 35c885dc3d nixpkgs: yosys 2017.09.01 -> 2017.10.16, enable parallel builds
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-10-16 12:01:17 -05:00
John Ericson 531e4b80c9 misc pkgs: Basic sed to get fix pkgconfig and autoreconfHook buildInputs
Only acts on one-line dependency lists.
2017-09-21 15:49:53 -04:00
Austin Seipp cd7b2ec77a yosys: 2016.11.25 -> 2017.09.01
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-09-02 04:19:11 -05:00
Austin Seipp a51378c419 nixpkgs: yosys 2016.08.18 -> 2016.11.25
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2016-11-25 23:26:10 +00:00
Austin Seipp 535219895d nixpkgs: yosys 2016.05.21 -> 2016.08.18
Also amend the fetched name 'abc' to 'yosys-abc', so that the
derivation name looks distinctly different from any other abc install
at a glance.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
2016-08-19 01:55:13 +00:00
Tuomas Tynkkynen 21f17d69f6 treewide: Add lots of meta.platforms
Build-tested on x86_64 Linux & Mac.
2016-08-02 21:42:43 +03:00
David Craven b467283352 yosys: 2015.12.29 -> 2016.05.21 2016-05-22 07:54:05 +02:00
Shell Turner c485543c7c yosys: init at 2015.12.29 2015-12-30 16:52:41 +00:00