diff options
| author | Ahmed Irfan <ahmedirfan1983@gmail.com> | 2014-01-03 10:52:44 +0100 |
|---|---|---|
| committer | Ahmed Irfan <ahmedirfan1983@gmail.com> | 2014-01-03 10:52:44 +0100 |
| commit | ffd768ce865e330a631c56d63c6f472e9ad85511 (patch) | |
| tree | fa04e846e43b66039b31a738fc6375c16c598046 /backends/btor/Makefile.inc | |
| parent | 09bd82db217d27930d1eeec8d0dfd1e014c675b4 (diff) | |
| download | yosys-ffd768ce865e330a631c56d63c6f472e9ad85511.tar.gz yosys-ffd768ce865e330a631c56d63c6f472e9ad85511.tar.bz2 yosys-ffd768ce865e330a631c56d63c6f472e9ad85511.zip | |
btor
Diffstat (limited to 'backends/btor/Makefile.inc')
| -rw-r--r-- | backends/btor/Makefile.inc | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/backends/btor/Makefile.inc b/backends/btor/Makefile.inc new file mode 100644 index 000000000..af7ab14dc --- /dev/null +++ b/backends/btor/Makefile.inc @@ -0,0 +1,3 @@ + +OBJS += backends/btor/btor.o + |