-/* Copyright (c) 2014-2020. The SimGrid Team. All rights reserved. */
+/* Copyright (c) 2014-2021. The SimGrid Team. All rights reserved. */
/* This program is free software; you can redistribute it and/or modify it
* under the terms of the license (GNU LGPL) which comes with this package. */
#include "src/mc/remote/RemoteSimulation.hpp"
-#include "src/mc/mc_smx.hpp"
#include "src/mc/sosp/Snapshot.hpp"
#include "xbt/file.hpp"
#include "xbt/log.h"
#endif
"libargp", /* workarounds for glibc-less systems */
"libasan", /* gcc sanitizers */
+ "libasn1",
"libboost_chrono",
"libboost_context",
"libboost_context-mt",
"libgcrypt",
"libgfortran",
"libgpg-error",
+ "libgssapi",
"libgssapi_krb5",
+ "libhcrypto",
+ "libheimbase",
+ "libheimntlm",
+ "libhx509",
"libhogweed",
"libidn2",
"libimf",
"libpthread",
"libquadmath",
"libresolv",
+ "libroken",
"librt",
"librtmp",
"libsasl2",
"libselinux",
+ "libsqlite3",
"libssh",
"libssh2",
"libssl",
"libunwind-ptrace",
"libunwind-x86",
"libunwind-x86_64",
+ "libwind",
"libz",
"libzstd"};