Skip to content
Snippets Groups Projects
Commit 39a30d83 authored by Millian Poquet's avatar Millian Poquet
Browse files

[ci] fix how to build batsim-dev...

parent 78de5336
Branches
Tags
No related merge requests found
......@@ -22,6 +22,7 @@ let
};
});
batsim_dev = (kapack.batsim.override {simgrid = kapack.simgrid_dev_working; }).overrideAttrs (attrs: rec {
nativeBuildInputs = attrs.nativeBuildInputs ++ [kapack.intervalset];
name = "batsim-${version}";
version = "3.0.0-dev";
src = fetchTarball "https://gitlab.inria.fr/batsim/batsim/repository/master/archive.tar.gz";
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment