#  Authors     [Robert Meolic (meolic@uni-mb.si)]
#  Revision    [$Revision: 76 $]
#  Date        [$Date: 2013-04-26 14:26:09 +0200 (pet, 26 apr 2013) $]
#
#  Copyright   [This file is part of EST (Efficient Symbolic Tools).
#               Copyright (C) 2003, 2013
#               UM-FERI, Smetanova ulica 17, SI-2000 Maribor, Slovenia
#
#               EST is free software; you can redistribute it and/or modify
#               it under the terms of the GNU General Public License as
#               published by the Free Software Foundation; either version 2
#               of the License, or (at your option) any later version.
#
#               EST is distributed in the hope that it will be useful,
#               but WITHOUT ANY WARRANTY; without even the implied warranty of
#               MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
#               GNU General Public License for more details.
#
#               You should have received a copy of the GNU General Public
#               License along with this program; if not, write to the Free
#               Software Foundation, Inc., 51 Franklin Street, Fifth Floor,
#               Boston, MA 02110-1301 USA.]

nop:
	@echo Incorrect use of Makefile

purge:
	@$(RM) *~

clean:
	@$(RM) $(BINDIR)/bddMain.o
	@$(RM) $(BINDIR)/bddUtil.o
	@$(RM) $(BINDIR)/bddOutput.o
	@$(RM) $(BINDIR)/bddRel.o
	@$(RM) $(BINDIR)/bddTcl.o
	@$(RM) $(BINDIR)/bddStubInit.o
	@$(RM) $(BINDIR)/bddStubLib.o
	@$(RM) $(BINDIR)/libbddstub.a
	@$(RM) $(BINDIR)/bddMain.bb
	@$(RM) $(BINDIR)/bddMain.bbg
	@$(RM) $(BINDIR)/bddMain.da
	@$(RM) $(BINDIR)/bddUtil.bb
	@$(RM) $(BINDIR)/bddUtil.bbg
	@$(RM) $(BINDIR)/bddUtil.da
	@$(RM) $(BINDIR)/bddOutput.bb
	@$(RM) $(BINDIR)/bddOutput.bbg
	@$(RM) $(BINDIR)/bddOutput.da
	@$(RM) $(BINDIR)/bddRel.bb
	@$(RM) $(BINDIR)/bddRel.bbg
	@$(RM) $(BINDIR)/bddRel.da
	@$(RM) $(BINDIR)/bddTcl.bb
	@$(RM) $(BINDIR)/bddTcl.bbg
	@$(RM) $(BINDIR)/bddTcl.da
