From 60cf45a3856e2b0a2b683d76beb12a7385f8ab7e Mon Sep 17 00:00:00 2001
From: robojumper <robojumper@gmail.com>
Date: Sat, 23 Nov 2024 14:44:36 +0100
Subject: [PATCH] Add those files too

---
 configure.py | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/configure.py b/configure.py
index bb06f8a6..287c58bb 100644
--- a/configure.py
+++ b/configure.py
@@ -476,6 +476,8 @@ config.libs = [
         "host": False,
         "objects": [
             Object(Matching, "c/c_list.cpp"),
+            Object(NonMatching, "c/c_math.cpp"),
+            Object(NonMatching, "c/c_rand.cpp"),
             Object(Matching, "c/c_tree.cpp"),
         ],
     },