Commit Graph

48 Commits

Author SHA1 Message Date
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