1# ============================================================== 2# Makefile for the BuDDy package 3# - Do not touch. Edit "config" instead. 4# ============================================================== 5 6include config 7 8# -------------------------------------------------------------- 9# The primary targets. 10# -------------------------------------------------------------- 11 12buddy: 13 cd src; make 14 15docs: 16 cd doc; make doc 17 18install: 19 cp -f src/libbdd.a $(LIBDIR)/libbdd.a 20 chmod 644 $(LIBDIR)/libbdd.a 21 cp -f src/bdd.h $(INCDIR)/bdd.h 22 chmod 644 $(INCDIR)/bdd.h 23 cp -f src/fdd.h $(INCDIR)/fdd.h 24 chmod 644 $(INCDIR)/fdd.h 25 cp -f src/bvec.h $(INCDIR)/bvec.h 26 chmod 644 $(INCDIR)/bvec.h 27 28uninstall: 29 rm -f $(LIBDIR)/libbdd.a 30 rm -f $(INCDIR)/bdd.h 31 rm -f $(INCDIR)/fdd.h 32 rm -f $(INCDIR)/bvec.h 33 34 35# -------------------------------------------------------------- 36# Housekeeping 37# -------------------------------------------------------------- 38TARGET = buddy 39VERSION = 20 40RD = $(TARGET)$(VERSION) 41 42clean: 43 cd examples/milner; make clean 44 cd examples/cmilner; make clean 45 cd examples/queen; make clean 46 cd examples/adder; make clean 47 cd examples/fdd; make clean 48 cd examples/calculator; make clean 49 cd examples/solitare; make clean 50 cd examples/money; make clean 51 cd src; make clean 52 cd doc; make clean 53 rm -f *~ 54 rm -f $(TARGET).tar.gz 55 rm -f $(RD).tar.gz 56 57examples: dummy 58 cd examples/milner; make 59 cd examples/cmilner; make 60 cd examples/queen; make 61 cd examples/adder; make 62 cd examples/fdd; make 63 cd examples/calculator; make 64 cd examples/solitare; make 65 cd examples/money; make 66 67dummy: 68 69backup: clean 70 tar -cvf $(TARGET).tar * 71 gzip $(TARGET).tar 72 73rel: clean docs 74 cd src; make depend 75 mkdir $(RD) 76 mkdir $(RD)/src 77 mkdir $(RD)/doc 78 mkdir $(RD)/examples 79 cp config makefile README CHANGES $(RD) 80 ./copysource $(RD)/src 81 cp src/depend.inf src/makefile $(RD)/src 82 cp doc/buddy.ps $(RD)/doc 83 cp doc/bddnotes.ps $(RD)/doc 84 cp doc/tech.txt $(RD)/doc 85 echo "clean:" > $(RD)/doc/makefile 86 mkdir $(RD)/examples/milner 87 cp examples/milner/* $(RD)/examples/milner 88 mkdir $(RD)/examples/cmilner 89 cp examples/cmilner/* $(RD)/examples/cmilner 90 mkdir $(RD)/examples/adder 91 cp examples/adder/* $(RD)/examples/adder 92 mkdir $(RD)/examples/queen 93 cp examples/queen/* $(RD)/examples/queen 94 mkdir $(RD)/examples/fdd 95 cp examples/fdd/* $(RD)/examples/fdd 96 mkdir $(RD)/examples/calculator 97 mkdir $(RD)/examples/calculator/examples 98 cp -R examples/calculator/* $(RD)/examples/calculator 99 mkdir $(RD)/examples/solitare 100 cp examples/solitare/* $(RD)/examples/solitare 101 mkdir $(RD)/examples/money 102 cp examples/money/* $(RD)/examples/money 103 tar -cvf $(TARGET)$(VERSION).tar $(RD)/* 104 gzip $(TARGET)$(VERSION).tar 105 rm -fr $(RD) 106 @cat RELEASE 107 108 109 110