Plasma GitLab Archive
Projects Blog Knowledge

# $Id: Makefile,v 1.1 1999/06/25 19:57:19 gerd Exp $
# ----------------------------------------------------------------------
#

BINDIR = /usr/local/bin
RELEASE = 0.1
NAME = db2man

db2man: db2man.ml
	ocamlfind ocamlc -o db2man -package tony -linkpkg db2man.ml


.PHONY: install clean distclean tag-release release dist

install: db2man
	cp db2man $(BINDIR)

clean:
	rm -f *.cmi *.cmo db2man

distclean: clean
	rm -f *~


dist:
	cd ..; gtar czf $(NAME)-$(RELEASE).tar.gz --exclude='*/CVS*' $(NAME)

tag-release:
	r=`echo $(RELEASE) | sed -e s/\\\./-/g`; cd ..; cvs tag -F $(NAME)-$$r $(NAME)

release: distclean
	$(MAKE) tag-release
	$(MAKE) dist


# ======================================================================
# History:
# 
# $Log: Makefile,v $
# Revision 1.1  1999/06/25 19:57:19  gerd
# 	Initial revision.
#
# 

This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml