From ac432a7c09dd6c49dbe7c78c4d1f61bb1432003d Mon Sep 17 00:00:00 2001
From: Miodrag Milanovic <mmicko@gmail.com>
Date: Mon, 16 Sep 2024 13:36:53 +0200
Subject: [PATCH] Add imctk target

---
 default/rules/formal.py  | 13 +++++++++++++
 default/scripts/imctk.sh |  5 +++++
 2 files changed, 18 insertions(+)
 create mode 100644 default/scripts/imctk.sh

diff --git a/default/rules/formal.py b/default/rules/formal.py
index f72d96b..9adaca3 100644
--- a/default/rules/formal.py
+++ b/default/rules/formal.py
@@ -40,6 +40,14 @@
 	license_file = 'COPYING',
 )
 
+SourceLocation(
+	name = 'imctk',
+	vcs = 'git',
+	location = 'https://github.com/YosysHQ/imctk',
+	revision = 'origin/main',
+	license_file = 'COPYRIGHT',
+)
+
 Target(
 	name = 'formal',
 	sources = [ 'mau', 'mcy', 'scy', 'sby', 'sby-gui', 'yosys' ],
@@ -47,3 +55,8 @@
 	resources = [ 'python3' ],
 	patches = [ 'python3_package.sh' ],
 )
+
+Target(
+	name = 'imctk',
+	sources = [ 'imctk' ],
+)
diff --git a/default/scripts/imctk.sh b/default/scripts/imctk.sh
new file mode 100644
index 0000000..1044193
--- /dev/null
+++ b/default/scripts/imctk.sh
@@ -0,0 +1,5 @@
+cd imctk
+rm -rf abc-sys/codegen.sh
+sed -i 's,debug = true,#debug = true,g' Cargo.toml
+sed -i 's,pub const l_False,//pub const l_False,g' abc-sys/src/generated/bindings.rs
+cargo install --no-track --path eqy-engine --root ${OUTPUT_DIR}${INSTALL_PREFIX} --target=${CARGO_TARGET}