summaryrefslogtreecommitdiffstats
path: root/src/opt/sbd/module.make
diff options
context:
space:
mode:
authorMathias Soeken <mathias.soeken@gmail.com>2016-12-07 10:08:44 +0100
committerMathias Soeken <mathias.soeken@gmail.com>2016-12-07 10:08:44 +0100
commit5af44731bff0061c724912cf76e86dddbb4f2c7a (patch)
tree77ddddb7a79d6424210a7a6b8e8f9649d845d9ba /src/opt/sbd/module.make
parentf9b7e929045f348ef6ccff9024de3be0c35c2eec (diff)
parent77ef610919b09ed0f8cb0df50e48a7f9c4b9c553 (diff)
downloadabc-5af44731bff0061c724912cf76e86dddbb4f2c7a.tar.gz
abc-5af44731bff0061c724912cf76e86dddbb4f2c7a.tar.bz2
abc-5af44731bff0061c724912cf76e86dddbb4f2c7a.zip
Merged alanmi/abc into default
Diffstat (limited to 'src/opt/sbd/module.make')
-rw-r--r--src/opt/sbd/module.make5
1 files changed, 5 insertions, 0 deletions
diff --git a/src/opt/sbd/module.make b/src/opt/sbd/module.make
new file mode 100644
index 00000000..d966e577
--- /dev/null
+++ b/src/opt/sbd/module.make
@@ -0,0 +1,5 @@
+SRC += src/opt/sbd/sbd.c \
+ src/opt/sbd/sbdCnf.c \
+ src/opt/sbd/sbdCore.c \
+ src/opt/sbd/sbdSat.c \
+ src/opt/sbd/sbdWin.c