#*********************************************************************#
#                                                                     #
#                           Htmlc                                     #
#                                                                     #
#            Pierre Weis, projet Cristal, INRIA Rocquencourt          #
#                                                                     #
#  Copyright 1997 Institut National de Recherche en Informatique et   #
#  en Automatique.  Distributed only by permission.                   #
#                                                                     #
#*********************************************************************#

#(* $Id: Makefile,v 1.17 2003/09/18 15:24:44 weis Exp $ *)

PACKAGE=htmlc
VERSION=1.3
OLDVERSION=1.3
PACKAGEVERSIONFILE=compiler/version.ml
DOCVERSIONFILE=doc_src/Includes/htmlc-version.html

all: byte

allopt: opt

byte:
	cd compiler; $(MAKE) all
	cd doc; $(MAKE) all

opt:
	cd compiler; $(MAKE) allopt

install:
	cd compiler; $(MAKE) install
installopt:
	cd compiler; $(MAKE) installopt

clean::
	cd compiler; $(MAKE) clean
	cd doc; $(MAKE) clean

depend:
	cd compiler; $(MAKE) depend

# 
version:
	for i in $(PACKAGEVERSIONFILE) $(DOCVERSIONFILE); do \
	echo $$i; \
	mv $$i $$i~; \
	sed -e '/ersion/s/$(OLDVERSION)/$(VERSION)/' $$i~ > $$i; \
	done

distribution:
	$(MAKE) -f Makefile.distrib distribute

include config/Makefile

