summaryrefslogtreecommitdiffstats
path: root/src/aig/int/module.make
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2008-07-25 08:01:00 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2008-07-25 08:01:00 -0700
commit1afa8a2f38bacb9f2f8faaf06b4f01c70560a419 (patch)
tree8aa41b5eea9d26befaf1604e8cc6c61b59eaef1b /src/aig/int/module.make
parent2c96c8af36446d3b855e07d78975cfad50c2917c (diff)
downloadabc-1afa8a2f38bacb9f2f8faaf06b4f01c70560a419.tar.gz
abc-1afa8a2f38bacb9f2f8faaf06b4f01c70560a419.tar.bz2
abc-1afa8a2f38bacb9f2f8faaf06b4f01c70560a419.zip
Version abc80725
Diffstat (limited to 'src/aig/int/module.make')
-rw-r--r--src/aig/int/module.make9
1 files changed, 9 insertions, 0 deletions
diff --git a/src/aig/int/module.make b/src/aig/int/module.make
new file mode 100644
index 00000000..0652ab39
--- /dev/null
+++ b/src/aig/int/module.make
@@ -0,0 +1,9 @@
+SRC += src/aig/int/intContain.c \
+ src/aig/int/intCore.c \
+ src/aig/int/intDup.c \
+ src/aig/int/intFrames.c \
+ src/aig/int/intInter.c \
+ src/aig/int/intM114.c \
+ src/aig/int/intM114p.c \
+ src/aig/int/intMan.c \
+ src/aig/int/intUtil.c