Infrastructure update

This commit is contained in:
Roberto Di Remigio
2018-01-27 19:24:31 +01:00
parent 9953b6559d
commit 9a071ff9a3
4 changed files with 129 additions and 14 deletions

6
.envrc
View File

@ -1,7 +1 @@
use nix .default.nix
export SOURCE_DATE_EPOCH=$(date +%s)
dir_hash=autocmake-$(echo -n autocmake | shasum | cut -d ' ' -f 1)
direnv_layout_dir=$XDG_CACHE_HOME/direnv/layouts/$dir_hash
layout python `type -P python` --system-site-packages
pip install -r requirements.txt
export NINJA_STATUS="[Built edge %f of %t in %e sec]"