Commit b22289e7 authored by Millian Poquet's avatar Millian Poquet

[ci] dedicated Nix shell

As shell.nix is regularly modified, this new shell is dedicated to
the continuous integration runner and should not be modified often.
parent 27dd1df7
let
pkgs = import (fetchTarball "https://github.com/NixOS/nixpkgs/archive/18.03.tar.gz") {};
dmpkgs = import
( fetchTarball "https://gitlab.inria.fr/vreis/datamove-nix/repository/master/archive.tar.gz")
{ inherit pkgs; };
in
with dmpkgs;
with pkgs;
(batsim_dev.override {}).overrideAttrs (attrs: rec {
name = "batsim-ci";
src = ./.;
enableParallelBuilding = true;
doCheck = false;
})
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment