Commit 8f1d6510 authored by MERCIER Michael's avatar MERCIER Michael

Merge branch 'master' of gricad-gitlab.univ-grenoble-alpes.fr:batsim/batsim

parents 35668386 719961be
......@@ -5,13 +5,14 @@ with import (
batsim_dev
## For local simgrid development use the folowing instead
#
#let
# simgrid_local = simgrid_dev.overrideAttrs (attrs: {
# src = /path/to/simgrid;
# dontStrip = true;
# doCheck = false;
# }
# );
# src = /path/to/simgrid;
# dontStrip = true;
# doCheck = false;
# });
#in
#(
# batsim_dev.override { simgrid = simgrid_local; }
......@@ -19,5 +20,4 @@ batsim_dev
# version = "dev_local";
# src = ./.;
# makeFlags = ["VERBOSE=1"];
# 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