Commit Graph

61 Commits

Author SHA1 Message Date
Austin Seipp
39727d1254
yosys: 0.9+3905 -> 0.9+3962
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2021-02-25 17:55:46 -06:00
Austin Seipp
142760c9fd
yosys: 0.9+3830 -> 0.9+3905
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2021-02-13 21:16:03 -06:00
Sandro Jäckel
5bf5284c21
yosys: mark broken on darwin 2021-02-13 01:07:42 +01:00
Eduardo Sánchez Muñoz
5def007f40 ghdl-yosys: 2021.01.01 -> 2021.01.25 2021-02-10 10:16:38 +01:00
Austin Seipp
6ec4a219ce
yosys-bluespec: 2021.01.14 -> 2021.01.17
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2021-01-17 17:15:01 -06:00
Austin Seipp
9a951db846
yosys: some more small fixes from review feedback
Fixes up the usage of patches/postInstall. Also removes `stdenv.lib` and
other minor tweaks.

Based on feedback from Sandro and Mihai.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
2021-01-15 16:09:51 -06:00
Austin Seipp
365ef90263
yosys: cherry-pick some minor fixes (cf d81e4d9f6)
d81e4d9f66 contained some minor fixes to the yosys derivation
that make it a little easier to read and maintain. Incorporate those.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
2021-01-15 16:09:50 -06:00
Austin Seipp
ec1830e696
init: experimental yosys-{bluespec, ghdl} plugins
These plugins can be included in a closure, along with the `yosys`
derivation, and they will be automatically picked up for use. For
example, this allows you to include 'yosys-bluespec' in your
`buildInputs`, and then immediately run:

    $ nix-shell -p yosys yosys-bluespec yosys-ghdl
    $ yosys -m bluespec -p 'help read_bluespec'
    $ yosys -m ghdl -p 'help ghdl'

These two plugins are a bit experimental, admittedly, but they are good,
clean examples of how to write and use the yosys plugin infrastructure,
and make it easy to test updates, etc.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
2021-01-15 16:09:50 -06:00
Austin Seipp
2660037f8c
yosys: enable loading "out of band" plugins
By default, when yosys looks for plugins with the `-m` flag or `plugin`
command, it always looks in `YOSYS_PREFIX/share/yosys/plugins` for a
`.so` file, and loads that.

By design, this is intended to be a single, global, mutable location
such as `/usr/share/yosys/...` on disk, and plugins are supposed to
install their `.so` files here after yosys is installed, and they all
coexist together. Obviously, this won't work for us, but users might
expect these plugins to still work. More importantly, they won't want to
add special cases to their build systems.

Instead, to allow Nix users to use yosys plugins with the same UX (e.g.
natively call `plugin bluespec` or `-m ghdl`), we add a patch to yosys
that allows it to search a new `NIX_YOSYS_PLUGIN_DIRS` search path
environment variable. In tandem, we add a setup hook that adds to this
search path if a package has a `$out/share/yosys/plugins` directory.

Thus, it's enough to just include `yosys`, and any package that has a
yosys plugin in `$out/share/yosys/plugins`, and you can load it with
`-m` or the `plugin` command.

We could use a style like the haskellPackages set, where the set of
packages are "encased" in a lambda, and we pass packages that are
compatible with that version of the compiler:

    haskell.packages.ghc8102.ghcWithPackages (p: with p; [ ... ])

but, realistically, there will probably only ever be one version of
yosys and one set of compatible plugins, so this seems overdone.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
2021-01-15 10:13:56 -06:00
Austin Seipp
ca27105b04
Revert "Merge pull request #105709 from CajuM/symbiflow"
This reverts commit 02828f91f1, reversing
changes made to f0a7fce6ee.
2021-01-15 10:13:27 -06:00
Mihai-Drosi Câju
d81e4d9f66 yosys: Added plugins support and various fixes
* fixed buildInputs and nativeBuildInputs for cross compilation
* don't use pkgconfig alias
* simplified patchPhase
* made the version variable overridable in preBuild
2021-01-10 09:32:05 +02:00
Austin Seipp
57f664002b
yosys: 0.9+3715 -> 0.9+3803
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2021-01-03 06:06:29 -06:00
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