1 files changed, 0 insertions, 81 deletions
diff --git a/Makefile_calypto b/Makefile_calypto
deleted file mode 100644
index 077d1926..00000000
--- a/Makefile_calypto
+++ /dev/null
@@ -1,81 +0,0 @@
-
-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
-