1 files changed, 81 insertions, 0 deletions
diff --git a/Makefile_calypto b/Makefile_calypto
new file mode 100644
index 00000000..077d1926
--- /dev/null
+++ b/Makefile_calypto
@@ -0,0 +1,81 @@
+
+CC   := gcc
+CXX  := g++ 
+LD   := g++
+CP   := cp
+
+PROG := abc
+
+#MODULES := src/base/abc src/base/abci src/base/seq src/base/cmd src/base/io src/base/main \
+#           src/bdd/cudd src/bdd/dsd src/bdd/epd src/bdd/mtr src/bdd/parse src/bdd/reo \
+#           src/map/fpga src/map/pga src/map/mapper src/map/mio src/map/super \
+#           src/misc/extra src/misc/mvc src/misc/st src/misc/util src/misc/vec \
+#	   src/opt/cut src/opt/dec src/opt/fxu src/opt/rwr src/opt/sim \
+#           src/sat/asat src/sat/csat src/sat/msat src/sat/fraig
+
+MODULES := src/base/abc src/base/abci src/base/seq src/base/cmd src/base/io src/base/main \
+           src/bdd/dsd src/bdd/parse src/bdd/reo \
+           src/map/fpga src/map/pga src/map/mapper src/map/mio src/map/super \
+           src/misc/extra src/misc/mvc src/misc/st src/misc/util src/misc/espresso src/misc/vec \
+	   src/opt/cut src/opt/dec src/opt/fxu src/opt/rwr src/opt/sim \
+           src/sat/asat src/sat/csat src/sat/msat src/sat/fraig
+
+default: lib$(PROG).a
+
+OPTFLAGS  := -DNDEBUG -O3
+#OPTFLAGS  := -g
+
+# for linux
+CFLAGS   += -Wall -Wno-unused-function $(OPTFLAGS) $(patsubst %, -I%, $(MODULES)) 
+
+# for solaris
+#CFLAGS   += -Wall $(OPTFLAGS) $(patsubst %, -I%, $(MODULES)) 
+
+CFLAGS   += -I../cudd-2.3.1/cudd -I../cudd-2.3.1/dddmp -I../cudd-2.3.1/epd -I../cudd-2.3.1/mtr -I../cudd-2.3.1/st -I../cudd-2.3.1/util
+CXXFLAGS += $(CFLAGS) 
+
+LIBS := -ldl -rdynamic
+SRC  := 
+GARBAGE := core core.* *.stackdump ./tags $(PROG)
+
+.PHONY: tags clean docs
+
+include $(patsubst %, %/module.make, $(MODULES))
+
+OBJ := \
+	$(patsubst %.cc, %.o, $(filter %.cc, $(SRC))) \
+	$(patsubst %.c, %.o,  $(filter %.c, $(SRC)))  \
+	$(patsubst %.y, %.o,  $(filter %.y, $(SRC))) 
+
+DEP := $(OBJ:.o=.d)
+
+# implicit rules
+
+%.d: %.c
+	./depends.sh $(CC) `dirname $*.c` $(CFLAGS) $*.c > $@
+
+%.d: %.cc
+	./depends.sh $(CXX) `dirname $*.cc` $(CXXFLAGS) $(CFLAGS) $*.cc > $@
+
+-include $(DEP)
+
+# Actual targets
+
+depend: $(DEP)
+
+clean: 
+	rm -rf $(PROG) $(OBJ) $(GARBAGE) $(OBJ:.o=.d) 
+
+tags:
+	ctags -R .
+
+$(PROG): $(OBJ)
+	$(LD) -o $@ $^ $(LIBS)
+
+lib$(PROG).a: $(OBJ)
+	ar rv $@ $?
+	ranlib $@
+
+docs:
+	doxygen doxygen.conf
+