diff options
| author | Emilio Jesus Gallego Arias | 2019-07-02 17:06:56 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2019-07-06 11:52:08 +0200 |
| commit | f519b3e90484c7e712ddd39175a7110f97950d82 (patch) | |
| tree | 6f1a9c4ece94ad178b2dfb66a00009ab68170b9f /default.nix | |
| parent | 766ebac9797616b5abb6663e0ecc656cb11282d4 (diff) | |
[python] Remove use of generic python shebang, update CI
Fixes #10465
Following discussion we don't allow a generic `/usr/bin/python`
shebang anymore. We thus move all the scripts [but one] to python3,
and add python3 to the Azure base environment.
Unfortunately we still depend on python2 for the update-compat.py
script, see #10491
We thus have to complement #10467 adding python2 back to Nix,
until #10491 is fixed.
Diffstat (limited to 'default.nix')
| -rw-r--r-- | default.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/default.nix b/default.nix index 10c5f6be47..2d101eed57 100644 --- a/default.nix +++ b/default.nix @@ -41,6 +41,7 @@ stdenv.mkDerivation rec { buildInputs = [ hostname + python2 # update-compat.py python3 time # coq-makefile timing tools dune ] |