anchor.diff:      ++ optionals buildJavaBindings [ openjdk ]
       ++ optionals buildPythonBindings [ python3Packages.pybind11 ]
       ++ optionals buildDocumentation [ fig2dev ghostscript doxygen ]
  +    ++ optionals bmfSupport [ eigen ]
       ++ optionals modelCheckingSupport [ libunwind libevent elfutils ];
   
     outputs = [ "out" ]
  
positive.code: , buildJavaBindings ? false, openjdk
  , buildPythonBindings ? true, python3Packages
  , modelCheckingSupport ? false, libunwind, libevent, elfutils # Inside elfutils: libelf and libdw
  , minimalBindings ? false
  , debug ? false
  , optimize ? (!debug)
  
negative.code: 
  stdenv.mkDerivation rec {
    pname = "simgrid";
    version = "3.31";
  
    src = fetchFromGitLab {
      domain = "framagit.org";
      owner = pname;
      repo = pname;
      rev = "v${version}";
      sha256 = "sha256-K6YkkCMxc2lqxHIwyuLiwcp3m49sqbEtOlwZh4L1YJg=";
    };
  
    propagatedBuildInputs = [ boost ];
  