Nix toolbox is not compatible with Coq repository.

coq-community / coq-nix-toolbox

Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]

MIT License

32 stars 10 forks source link

Nix toolbox is not compatible with Coq repository. #23

Closed Zimmi48 closed 3 years ago

Zimmi48 commented 3 years ago

To reproduce the problem, in the Coq repo, run:

git rm '*.nix'
nix-shell https://coq.inria.fr/nix/toolbox --arg do-nothing true --run generateNixDefault
# At that point, nix-shell does work
nix-shell --arg do-nothing true --run "initNixConfig coq"
# At that point, running nix-shell gives
# mkdir: cannot create directory ‘/nix/store/...-coq-dev’: Read-only file system

Zimmi48 commented 3 years ago

We determined that this bug is in fact NixOS/nixpkgs#121991 and triggered by the presence of createFindlibDestdir = true in the Coq derivation.