summaryrefslogtreecommitdiffstats
path: root/src/sat/sim/module.make
diff options
context:
space:
mode:
Diffstat (limited to 'src/sat/sim/module.make')
-rw-r--r--src/sat/sim/module.make6
1 files changed, 6 insertions, 0 deletions
diff --git a/src/sat/sim/module.make b/src/sat/sim/module.make
new file mode 100644
index 00000000..8f1b4ded
--- /dev/null
+++ b/src/sat/sim/module.make
@@ -0,0 +1,6 @@
+SRC += simMan.c \
+ simSat.c \
+ simSupp.c \
+ simSym.c \
+ simUnate.c \
+ simUtils.c