Commit Graph

81 Commits

Author SHA1 Message Date
Luflosi
ee1ea62bd3
yosys: 0.25 -> 0.26
https://github.com/YosysHQ/yosys/releases/tag/yosys-0.26
2023-02-22 02:04:56 +01:00
Guillaume Girol
33afbf39f6 treewide: switch to nativeCheckInputs
checkInputs used to be added to nativeBuildInputs. Now we have
nativeCheckInputs to do that instead. Doing this treewide change allows
to keep hashes identical to before the introduction of
nativeCheckInputs.
2023-01-21 12:00:00 +00:00
Luflosi
23ba1ad053
yosys: 0.24 -> 0.25
https://github.com/YosysHQ/yosys/releases/tag/yosys-0.25
2023-01-06 18:07:06 +01:00
Luflosi
8814e204ef
yosys: 0.23 -> 0.24
https://github.com/YosysHQ/yosys/releases/tag/yosys-0.24
2022-12-06 18:58:32 +01:00
Luflosi
a6151294db yosys: 0.22 -> 0.23
https://github.com/YosysHQ/yosys/releases/tag/yosys-0.23
The protobuf backend was removed in https://github.com/YosysHQ/yosys/pull/3508.
2022-11-16 01:35:08 -06:00
Luflosi
9693a9a2e8 yosys: 0.20 -> 0.22
https://github.com/YosysHQ/yosys/releases/tag/yosys-0.22
2022-10-14 19:27:01 -05:00
Artturin
c6568adb00 treewide: makeWrapper buildInputs to nativeBuildInputs
most found with https://github.com/siraben/nix-lint
2022-08-16 13:14:19 +03:00
Austin Seipp
5b93ac113c yosys: 0.18 -> 0.20
Includes necessary `abc` update as well.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
2022-08-12 13:23:18 -05:00
Luflosi
118e07917e
yosys: 0.17 -> 0.18
https://github.com/YosysHQ/yosys/releases/tag/yosys-0.18
2022-06-20 10:40:20 +02:00
Luflosi
d1db18bc69
yosys: 0.16 -> 0.17
https://github.com/YosysHQ/yosys/releases/tag/yosys-0.17
2022-06-20 10:40:19 +02:00
Luflosi
338ce3ed6a yosys: 0.15 -> 0.16
https://github.com/YosysHQ/yosys/releases/tag/yosys-0.16
2022-04-12 08:38:25 -05:00
Luflosi
9488c22d58
yosys: 0.12+54 -> 0.15
https://github.com/YosysHQ/yosys/releases/tag/yosys-0.15
2022-03-08 18:28:13 +01:00
Luflosi
b255f6d60c
yosys: fix homepage
The old link was now pointing at a casino website.
2022-03-08 18:28:12 +01:00
OllieB
12cc34ce2d yosys: Add yosys-symbiflow-plugins 2022-01-08 14:48:28 +00:00
Austin Seipp
8efa46a893 yosys: 0.12+36 -> 0.12.54, with yosys-bluespec update
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2022-01-06 09:19:29 -06:00
Austin Seipp
1c9532ae6d yosys: 0.11+52 -> 0.12+36
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2021-12-17 03:50:48 -06:00
Austin Seipp
a79ca33d94 yosys: 0.10+1 -> 0.11+52, with abc update
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2021-12-02 21:48:51 -06:00
Martin Povišer
94a047ca74 yosys: fix build on darwin
Attempt to work around a confusion in yosys' build system that causes
builds under clang to fail.
2021-11-09 14:10:19 +01:00
Austin Seipp
874ebfd5a8 yosys: 0.9+4276 -> 0.10+1
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2021-09-29 13:14:27 -05:00
Austin Seipp
0cfbb59066 yosys: 0.9+4272 -> 0.9+4276
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2021-08-19 04:16:32 -05:00
Austin Seipp
2af9fc4c2a yosys: 0.9+4221 -> 0.9+4272
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2021-08-15 03:20:12 -05:00
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
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
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