summaryrefslogtreecommitdiff
path: root/backends/btor/Makefile.inc
diff options
context:
space:
mode:
authorAhmed Irfan <ahmedirfan1983@gmail.com>2014-01-03 10:52:44 +0100
committerAhmed Irfan <ahmedirfan1983@gmail.com>2014-01-03 10:52:44 +0100
commitffd768ce865e330a631c56d63c6f472e9ad85511 (patch)
treefa04e846e43b66039b31a738fc6375c16c598046 /backends/btor/Makefile.inc
parent09bd82db217d27930d1eeec8d0dfd1e014c675b4 (diff)
btor
Diffstat (limited to 'backends/btor/Makefile.inc')
-rw-r--r--backends/btor/Makefile.inc3
1 files changed, 3 insertions, 0 deletions
diff --git a/backends/btor/Makefile.inc b/backends/btor/Makefile.inc
new file mode 100644
index 00000000..af7ab14d
--- /dev/null
+++ b/backends/btor/Makefile.inc
@@ -0,0 +1,3 @@
+
+OBJS += backends/btor/btor.o
+