Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Fix non-MC builds that don't have libevent-dev installed
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Mon, 17 Oct 2022 20:50:48 +0000 (22:50 +0200)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Mon, 17 Oct 2022 20:53:13 +0000 (22:53 +0200)
Appveyor and Mac OSx are such systems

src/mc/mc_client_api.cpp

index 233df0f..dd118c1 100644 (file)
@@ -3,9 +3,8 @@
 /* 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. */
 
-/* Implementation of the user API from the App to the Checker (see modelchecker.h)  */
-
-#include "src/mc/ModelChecker.hpp"
+#include "simgrid/simix.hpp"
+#include "src/kernel/actor/ActorImpl.hpp"
 #include "src/mc/mc_config.hpp"
 #include "src/mc/mc_private.hpp"
 #include "src/mc/mc_record.hpp"
@@ -14,6 +13,8 @@
 #include "xbt/asserts.h"
 #include "xbt/random.hpp"
 
+/* Implementation of the user API from the App to the Checker (see modelchecker.h)  */
+
 int MC_random(int min, int max)
 {
 #if SIMGRID_HAVE_MC