Use monolithic include to work around bad build.

lf-lang · Jul 22, 2022 · b9bd82e · b9bd82e
1 parent b14aecb
commit b9bd82e
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/core/CMakeLists.txt b/core/CMakeLists.txt
@@ -48,7 +48,6 @@ add_subdirectory(utils)
 
 # List sources in this directory.
 set(SINGLE_THREADED_SOURCES reactor.c)
-list(APPEND GENERAL_SOURCES port.c)
 
 # Determine which sources to include.
 list(APPEND SOURCES ${GENERAL_SOURCES})

diff --git a/core/reactor_common.c b/core/reactor_common.c
@@ -42,6 +42,7 @@ THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
 #include "utils/pqueue_support.h"
 #include "utils/util.c"
 #include "modal_models/modes.c"
+#include "port.c"
 
 /** 
  * Indicator of whether to wait for physical time to match logical time.