aboutsummaryrefslogtreecommitdiff
path: root/etc/config/circt.defaults.properties
blob: 72b880d0db07ca9d8d941e58c3ace5b5d854ef4d (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
compilers=&circtopt
defaultCompiler=circtopt
compilerType=mlir

supportsBinary=false
supportsExecute=false
supportsAsmDocs=false

group.circtopt.compilers=circtopt
group.circtopt.isSemVer=false
group.circtopt.baseName=CIRCT opt

compiler.circtopt.exe=/usr/bin/circt-opt