From 98ebf9b09d31f05e85d5a05649ed5b4287d11bd2 Mon Sep 17 00:00:00 2001
From: Francesco Casella <francesco.casella@polimi.it>
Date: Wed, 28 Oct 2026 17:26:12 +0100
Subject: [PATCH] Added IDADistricts to regular library testing

---
 configs/conf.json | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/configs/conf.json b/configs/conf.json
index d1a4de0..2c7ddfd 100644
--- a/configs/conf.json
+++ b/configs/conf.json
@@ -398,6 +398,11 @@
     "extraCustomCommands":["setCFlags(getCFlags() + \" -Wno-error=int-conversion\")"]
   },
   {
+    "library":"IDADistricts",
+    "libraryVersion":"main",
+    "optlevel":"-O0 -march=native"
+  },
+{
     "library":"IDEAS"
   },
   {