Revision 1379d3c091ae8fe99e299700d0f2c5c39ee257bc authored by fclement on 22 January 2007, 18:26:18 UTC, committed by fclement on 22 January 2007, 18:26:18 UTC
1 parent ad54fe0
makefile
#######################################################################
# #
# OCamlP3l #
# #
# (C) 2004-2006 #
# Roberto Di Cosmo (dicosmo@dicosmo.org) #
# Zheng Li (zli@lip6.fr) #
# Pierre Weis (Pierre.Weis@inria.fr) #
# Francois Clement (Francois.Clement@inria.fr) #
# #
# Based on original Ocaml P3L System #
# (C) 1997 by #
# Roberto Di Cosmo (dicosmo@ens.fr) #
# Marco Danelutto (marcod@di.unipi.it) #
# Xavier Leroy (Xavier.Leroy@inria.fr) #
# Susanna Pelagatti (susanna@di.unipi.it) #
# #
# This program is free software; you can redistribute it and/or #
# modify it under the terms of the GNU Library General Public License #
# as published by the Free Software Foundation; either version 2 #
# of the License, or (at your option) any later version. #
# #
# This program 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 Library General Public License for more details. #
# #
#######################################################################
# $Id: makefile,v 1.30 2007-01-10 17:12:30 fclement Exp $
#
# You should not modify anything in this file!
MAKEFILES_DIR = .
include $(MAKEFILES_DIR)/makefile.application
CAMLSOURCES = command_options.ml version.ml basedefs.ml commlib.ml streams.ml p3lstream.ml \
seqp3l.ml parp3l.ml grafp3l.ml \
template.ml nodecode.ml
CAMLNISOURCES = server_process.ml server_thread.ml
CAMLIOSOURCES = server.mli
SOURCES = $(CAMLSOURCES) $(CAMLSOURCES:.ml=.mli) \
$(CAMLNISOURCES) $(CAMLIOSOURCES) Makefile
MODELS = process thread
MODELSDIRS = vprocess vthread
.PHONY: all configure install uninstall clean clean-all depend banner
all:: configure
configure: $(MODELSDIRS)
$(MODELSDIRS):
$(MKDIR) $(MODELSDIRS)
for i in $(MODELSDIRS); do \
(cd Source; $(CP) $(SOURCES) ../$$i); \
done
for i in $(MODELSDIRS); do \
$(TOUCH) $$i/.depend; \
sleep 1; \
$(TOUCH) $$i/.depend-rebuild; \
done; \
$(MAKE) depend
all install uninstall clean depend::
for i in $(MODELS); do \
(cd v$$i; \
$(MAKE) $@ PACKAGELIBDIR=$(PACKAGELIBDIR)/v$$i MODEL=$$i); \
done
cd Tools; $(MAKE) $@
clean-all: clean
banner:
(cd Source; \
for i in $(SOURCES); do \
$(BANNER) -banner-file $(BANNERFILE) $$i; \
done)
unconfigure: clean-all
$(RM) $(MODELSDIRS)
include $(MAKEFILES_DIR)/makefile.common
Computing file changes ...