Commit graph

63 commits

Author SHA1 Message Date
Austin Seipp 59297dde88 yosys: 0.9+4052 -> 0.9+4221
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2021-07-27 14:27:30 -05:00
Pavol Rusnak cfe4e1c3db
yosys: 0.9+3962 -> 0.9+4052 2021-03-31 23:11:34 +02:00
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