Add imctk target

default/rules/formal.py

@@ -40,10 +40,23 @@
 	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' ],
 	dependencies = [ 'python3', 'python3-native' ],
 	resources = [ 'python3' ],
 	patches = [ 'python3_package.sh' ],
 )
+
+Target(
+	name = 'imctk',
+	sources = [ 'imctk' ],
+)

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}