Astro
eab83a6a3f
artiq-fast: build gateware from a self-contained separate source derivation ( #23 )
...
artiq-fast: add nativeBuildInputs to artiq-board-legacy.nix
artiq-board: fix scope of toPythonModule
artiq-board: use new --gateware-identifier-str
artiq-board: use legacy code for artiq<6
artiq-board: get/remove/re-add version identifiers
artiq-fast: build gateware from a self-contained separate source derivation
Addresses item 2. of Gitea issue #1 .
Co-authored-by: Stephan Maka <stephan@spaceboyz.net>
Reviewed-on: #23
2020-12-02 17:22:54 +08:00
Astro
12fbe64616
artiq-fast: add strictDeps=true to fetchcargo.nix, nativeBuildInputs to artiq-board.nix
...
this indeed cuts runtime dependencies (gitea issue #34 )
2020-11-26 17:10:36 +01:00
Astro
5695977531
Revert "artiq-board.nix: move compilers into nativeBuildInputs"
...
This reverts commit fd25af0733
2020-11-25 21:23:03 +01:00
Astro
fd25af0733
artiq-board.nix: move compilers into nativeBuildInputs
...
Part of Gitea issue #34
2020-11-25 18:19:03 +01:00
Sebastien Bourdeauducq
4ef1b6e76d
artiq-board: disable timing check
2020-07-26 23:51:19 +08:00
Sebastien Bourdeauducq
888481c0ce
typo
2020-07-12 23:20:31 +08:00
Sebastien Bourdeauducq
cc5694dedf
artiq-board: allow setting src
2020-07-12 23:19:40 +08:00
Astro
c00c10e223
artiq-board: fix and simplify check for timing criteria
...
Re-fixes Gitea issue #15
2020-06-25 00:21:48 +02:00
Astro
f1325dce29
artiq-board.nix: move inputs outside inner function, accept vivado as arg to cut memory usage
2020-06-17 23:20:23 +02:00
Sebastien Bourdeauducq
7d740fd464
lock cargo and cargo-vendor
...
With nixpkgs 20.03, the provided cargo package can no longer use the old rustc-or1k.
2020-04-04 13:02:18 +08:00
Sebastien Bourdeauducq
60e16ada2a
artiq: use cargosha256.nix file
2019-11-01 10:28:53 +08:00
Sebastien Bourdeauducq
41b94d29a1
artiq-board: allow absence of bootloader
...
The Sayma RTM FPGA does not have one.
2019-10-07 12:19:31 +08:00
Sebastien Bourdeauducq
dfa5b47d9b
rename jobsets to artiq-fast/artiq-full
2019-07-17 19:19:43 +08:00
Astro
Sebastien Bourdeauducq