I'm trying to install artiq and run into the same problem. I tried
nix-store -r /nix/store/bd747bqh58d7kms96kp8kmyq0a6xq87c-source # from https://nixbld.m-labs.hk/eval/13394#tabs-inputs
nix-channel --update
nix-shell my-artiq-env.nix
shell.nix:
let
# pkgs contains the NixOS package collection. ARTIQ depends on some of them, and
# you may want some additional packages from there.
pkgs = import <nixpkgs> {};
artiq-full = import <artiq-full> { inherit pkgs; };
in
pkgs.mkShell {
buildInputs = [
(pkgs.python3.withPackages(ps: [
# List desired Python packages here.
# You probably want these two.
artiq-full.artiq
artiq-full.artiq-comtools
# You need a board support package if and only if you intend to flash
# a board (those packages contain only board firmware).
# The lines below are only examples, you need to select appropriate
# packages for your boards.
artiq-full.artiq-board-kasli-berkeley4
#artiq-full.artiq-board-kasli-wipm
#ps.paramiko # needed if and only if flashing boards remotely (artiq_flash -H)
# The NixOS package collection contains many other packages that you may find
# interesting for your research. Here are some examples:
#ps.pandas
ps.numpy
#ps.scipy
#ps.numba
(ps.matplotlib.override { enableQt = true; })
#ps.bokeh
#ps.cirq
#ps.qiskit
]))
# List desired non-Python packages here
artiq-full.openocd # needed if and only if flashing boards
# Other potentially interesting packages from the NixOS package collection:
#pkgs.gtkwave
#pkgs.spyder
#pkgs.R
#pkgs.julia
];
}
The error message looks like this:
.......
no configure script, doing nothing
building
/etc/profile: line 16: /opt/Xilinx/Vivado/2020.1/settings64.sh: No such file or directory
/etc/profile: line 16: /opt/Xilinx/Vivado/2020.1/settings64.sh: No such file or directory
/etc/profile: line 16: /opt/Xilinx/Vivado/2020.1/settings64.sh: No such file or directory
/etc/profile: line 16: /opt/Xilinx/Vivado/2020.1/settings64.sh: No such file or directory
/etc/profile: line 16: /opt/Xilinx/Vivado/2020.1/settings64.sh: No such file or directory
/etc/profile: line 16: /opt/Xilinx/Vivado/2020.1/settings64.sh: No such file or directory
/etc/profile: line 16: /opt/Xilinx/Vivado/2020.1/settings64.sh: No such file or directory
/etc/profile: line 16: /opt/Xilinx/Vivado/2020.1/settings64.sh: No such file or directory
/etc/profile: line 16: /opt/Xilinx/Vivado/2020.1/settings64.sh: No such file or directory
/etc/profile: line 16: /opt/Xilinx/Vivado/2020.1/settings64.sh: No such file or directory
/etc/profile: line 16: /opt/Xilinx/Vivado/2020.1/settings64.sh: No such file or directory
/etc/profile: line 16: /opt/Xilinx/Vivado/2020.1/settings64.sh: No such file or directory
/etc/profile: line 16: /opt/Xilinx/Vivado/2020.1/settings64.sh: No such file or directory
/etc/profile: line 16: /opt/Xilinx/Vivado/2020.1/settings64.sh: No such file or directory
/etc/profile: line 16: /opt/Xilinx/Vivado/2020.1/settings64.sh: No such file or directory
/etc/profile: line 16: /opt/Xilinx/Vivado/2020.1/settings64.sh: No such file or directory
/etc/profile: line 16: /opt/Xilinx/Vivado/2020.1/settings64.sh: No such file or directory
/etc/profile: line 16: /opt/Xilinx/Vivado/2020.1/settings64.sh: No such file or directory
/etc/profile: line 16: /opt/Xilinx/Vivado/2020.1/settings64.sh: No such file or directory
/etc/profile: line 16: /opt/Xilinx/Vivado/2020.1/settings64.sh: No such file or directory
/etc/profile: line 16: /opt/Xilinx/Vivado/2020.1/settings64.sh: No such file or directory
/etc/profile: line 16: /opt/Xilinx/Vivado/2020.1/settings64.sh: No such file or directory
/etc/profile: line 16: /opt/Xilinx/Vivado/2020.1/settings64.sh: No such file or directory
/etc/profile: line 16: /opt/Xilinx/Vivado/2020.1/settings64.sh: No such file or directory
/etc/profile: line 16: /opt/Xilinx/Vivado/2020.1/settings64.sh: No such file or directory
/etc/profile: line 16: /opt/Xilinx/Vivado/2020.1/settings64.sh: No such file or directory
/etc/profile: line 16: /opt/Xilinx/Vivado/2020.1/settings64.sh: No such file or directory
/etc/profile: line 16: /opt/Xilinx/Vivado/2020.1/settings64.sh: No such file or directory
/etc/profile: line 16: /opt/Xilinx/Vivado/2020.1/settings64.sh: No such file or directory
/etc/profile: line 16: /opt/Xilinx/Vivado/2020.1/settings64.sh: No such file or directory
/etc/profile: line 16: /opt/Xilinx/Vivado/2020.1/settings64.sh: No such file or directory
/etc/profile: line 16: /opt/Xilinx/Vivado/2020.1/settings64.sh: No such file or directory
** Message: 01:05:25.396: Requires Linux version >= 3.19 built with CONFIG_USER_NS
** Message: 01:05:25.397: Run: sudo sysctl -w kernel.unprivileged_userns_clone=1
** (process:304): ERROR **: 01:05:25.398: main: unshare: No space left on device
/nix/store/4y965wrv3shgg2s1ca431qpbrsb4dbag-stdenv-linux/setup: line 1301: 14 Trace/breakpoint trap (core dumped) vivado -mode batch -source top_route.tcl
builder for '/nix/store/wpa6bx7k416yk78lgphc6mr6b300g5z4-artiq-board-kasli-berkeley4-6.7608.9033c59b-vivado-checkpoint.drv' failed with exit code 133
cannot build derivation '/nix/store/d0b6p3ddm9xxm0m4si717lk1hv6wbbhs-artiq-board-kasli-berkeley4-6.7608.9033c59b-vivado-output.drv': 1 dependencies couldn't be built
cannot build derivation '/nix/store/29wcxz7iwk80yhg58acp6f9db4fcnrcf-artiq-board-kasli-berkeley4-6.7608.9033c59b.drv': 1 dependencies couldn't be built
cannot build derivation '/nix/store/a01hxx3l3mgh3h03vqjcxsv2swcwfw7s-python3-3.8.8-env.drv': 1 dependencies couldn't be built
error: build of '/nix/store/a01hxx3l3mgh3h03vqjcxsv2swcwfw7s-python3-3.8.8-env.drv' failed
But when I commented #artiq-full.artiq-board-kasli-berkeley4 in my shell.nix, it works:
nix-shell my-artiq-env.nix
warning: unknown setting 'c-keys'
these derivations will be built:
/nix/store/fdsldsvzg7ff9jc5kiq865w6g9jz2j2x-python3-3.8.8-env.drv
building '/nix/store/fdsldsvzg7ff9jc5kiq865w6g9jz2j2x-python3-3.8.8-env.drv'...
created 457 symlinks in user environment
[nix-shell:~]$
Any ideas? (I'm working with ubuntu as well)